Framework and tool support to design high quality domain models for intelligent systems

Sai Charan Syba, Mahesh Babu Jayaraman, Swarup Kumar Mohalik, Badrinath Ramamurthy

Research output: Chapter in Book/Report/Conference proceedingConference contribution


Increasing complexity of Cyber-Physical Systems (CPS) is mandating architectures that are autonomous and adaptive to the changing contexts. The area of planning and acting in Artificial Intelligence (AI) provides a well-understood paradigm for designing such intelligent systems. Capturing the domain knowledge formally, both declarative and procedural is crucial to this approach. There have been many attempts to provide assistance for domain designers to specify and develop high quality domain models. However, there has been no conceptual framework to identify all the necessary enablers for this purpose. Also, almost all the existing tools emphasize on visualization tasks and by using simulation. In this paper, we outline a classification framework based on the 3 C's (correctness, completeness and consistency) of specification and identify the design tasks, motivating them through illustrative snippets. We also report a planning and acting tool integrated with simulation and validation capabilities to support these tasks and present its applications that allows experimenting with domain.

Original languageEnglish
Title of host publication2016 IEEE Annual India Conference, INDICON 2016
PublisherInstitute of Electrical and Electronics Engineers Inc.
ISBN (Electronic)9781509036462
Publication statusPublished - 31-01-2017
Externally publishedYes
Event2016 IEEE Annual India Conference, INDICON 2016 - Bangalore, India
Duration: 16-12-201618-12-2016


Conference2016 IEEE Annual India Conference, INDICON 2016

All Science Journal Classification (ASJC) codes

  • Signal Processing
  • Computer Networks and Communications
  • Instrumentation


Dive into the research topics of 'Framework and tool support to design high quality domain models for intelligent systems'. Together they form a unique fingerprint.

Cite this