Formal Goal Generation for Intelligent Control Systems

In the engineering context of control or measurement systems, there is a growing need to incorporate more and more intelligence towards sensing/actuating components. These components achieve some global service related with an intended goal through a set of elementary services intended to achieve atomic goals. There are many possible choices and non-trivial relations between services. As a consequence, both novices and specialists need assistance to prune the search space of possible services and their relations. To provide a sound knowledge representation for functional reasoning, we propose a method eliciting a goal hierarchy in Intelligent Control Systems. To refine the concept of goal with sub-concepts, we investigate a formalization which relies on a multilevel structure. The method is centered both on a mereological approach to express both physical environment and goal concepts, and on Formal Concept Analysis (FCA) to model concept aggregation/decomposition. The interplay between mereology and FCA is discussed.

[1]  Bernhard Ganter,et al.  Formal Concept Analysis: Mathematical Foundations , 1998 .

[2]  T. S. E. Maibaum,et al.  Goal-oriented requirements analysis for process control systems design , 2003, First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings..

[3]  Simone Pribbenow,et al.  A Conceptual Theory of Part-Whole Relations and its Applications , 1996, Data Knowl. Eng..

[4]  Andreas Hotho,et al.  Conceptual Knowledge Processing with Formal Concept Analysis and Ontologies , 2004, ICFCA.

[5]  Emmanuel Letier.  Reasoning about Agents in Goal-Oriented Requirements Engineering , 2002 .

[6]  Stefano Spaccapietra,et al.  Conceptual Modeling — ER 2002 , 2002, Lecture Notes in Computer Science.

[7]  Colette Rolland,et al.  Guiding Goal Modeling Using Scenarios , 1998, IEEE Trans. Software Eng..

[8]  Stephen Fickas,et al.  Goal-Directed Requirements Acquisition , 1993, Sci. Comput. Program..

[9]  Bernhard Ganter,et al.  Applied lattice theory: formal concept and analysis , 1997 .

[10]  Douglas Herrmann,et al.  A Taxonomy of Part-Whole Relations , 1987, Cogn. Sci..

[11]  John Mylopoulos,et al.  Reasoning with Goal Models , 2002, ER.

[12]  Richard Fikes,et al.  Ontologies: What Are They, and Where's The Research? , 1996, KR.

[13]  Shusaku Tsumoto,et al.  Foundations of Intelligent Systems, 15th International Symposium, ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings , 2005, ISMIS.

[14]  Laurent Foulloy,et al.  Functional Ontology for Intelligent Instruments , 2003, ISMIS.

[15]  Rudolf Wille,et al.  Conceptual Structures of Multicontexts , 1996, ICCS.

[16]  Joachim Hertzberg,et al.  Turning an Action Formalism into a Planner - A Case Study , 1994, J. Log. Comput..

[17]  Gerd Stumme,et al.  Hierarchies of conceptual scales , 1999 .

[18]  Steffen Staab,et al.  Deriving Concept Hierarchies from Text by Smooth Formal Concept Analysis , 2003 .

[19]  Tetsuo Tomiyama,et al.  Supporting conceptual design based on the function-behavior-state modeler , 1996, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[20]  Morten Lind,et al.  Modeling goals and functions of complex industrial plants , 1994, Appl. Artif. Intell..