Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Lind, M.: Modeling Goals and Functions of Complex Industrial Plant. Journal of Applied Artificial Intelligence 8, 259–283 (1994)
Fikes, R.: Ontologies: What are they, and where’s the research? Principles of Knowledge Representation and Reasoning, 652–654 (1996)
Hertzberg, J., Thiebaux, S.: Turning an Action Formalism into a Planner: a case Study. Journal of Logic and Computation 4, 617–654 (1994)
Lifschitz, V.: A Theory of Actions. In: Procs. of the 10th International Joint Conference on Artificial Intelligence, pp. 432–437 (1993)
Umeda, Y., et al.: Supporting conceptual design based on the function-behavior-state modeler. Artificial Intell. for Engineering Design, Analysis and Manufacturing. 10(4), 275–288 (1996)
Gerstl, P., Pribbenow, S.: A conceptual theory of part-whole relations and its applications. Data and Knowledge Engineering 20(3), 305–322 (1996)
Winston, M.E., Chaffin, R., Herrmann, D.: A taxonomy of part-whole relations. Cognitive Science 11, 417–444 (1987)
Dapoigny, R., Benoit, E., Foulloy, L.: Functional Ontology for Intelligent Instruments. In: Zhong, N., Raś, Z.W., Tsumoto, S., Suzuki, E. (eds.) ISMIS 2003. LNCS (LNAI), vol. 2871, pp. 88–92. Springer, Heidelberg (2003)
Cimiano, P., Hotho, A., Stumme, G., Tane, J.: Conceptual knowledge processing with formal concept analysis and ontologies. In: Eklund, P. (ed.) ICFCA 2004. LNCS (LNAI), vol. 2961, pp. 189–207. Springer, Heidelberg (2004)
Wille, R.: Restructuring lattice theory: an approach based on hierarchies of concepts. In: Ordered sets, pp. 445–470. Reidel, Dordrecht (1982)
Birkhoff, G.: Lattice theory, 1st edn., vol. 25. Amer. Math. Soc. Coll. Publ., Providence (1940)
Wille, R.: Conceptual structures of multicontexts. In: Eklund, P., Mann, G.A., Ellis, G. (eds.) ICCS 1996. LNCS, vol. 1115, pp. 23–39. Springer, Heidelberg (1996)
Ganter, B., Wille, R.: Applied lattice theory: formal concept analysis. Institut fr Algebra, TU Dresden, Germany (1997)
Stumme, G.: Hierarchies of conceptual scales. In: Procs. of the Work. on Knowledge Acquisition, Modeling and Managenent (KAW 1999), vol. 2, pp. 78–95 (1999)
Ganter, B., Wille, R.: Formal concept analysis - mathematical foundations. Springer, Heidelberg (1999)
Cimiano, P., Staab, S., Tane, J.: Deriving concept hierarchies from text by smooth formal concept analysis. In: Procs. of the GI Workshop LLWA (2003)
Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Science of computer programming 20, 3–50 (1993)
Rolland, C., Souveyet, C., Achour, C.B.: Guiding goal modelling using scenarios. IEEE Trans. on software eng., 1055–1071 (1998)
Letier, E.: Reasoning about agents in goal-oriented requirements engineering. Doct. dissertation, University of Louvain (2001)
El-Maddah, I., Maibaum, T.: Goal-oriented requirements analysis for process control systems design. In: Procs. of MEMOCODE (2003)
Giorgini, P., Mylopoulos, J., Nicchiarelli, E., Sebastiani, R.: Reasoning with goal models. In: Spaccapietra, S., March, S.T., Kambayashi, Y. (eds.) ER 2002. LNCS, vol. 2503, p. 167. Springer, Heidelberg (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dapoigny, R., Barlatier, P., Foulloy, L., Benoit, E. (2005). Formal Goal Generation for Intelligent Control Systems. In: Ali, M., Esposito, F. (eds) Innovations in Applied Artificial Intelligence. IEA/AIE 2005. Lecture Notes in Computer Science(), vol 3533. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11504894_99
Download citation
DOI: https://doi.org/10.1007/11504894_99
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-26551-1
Online ISBN: 978-3-540-31893-4
eBook Packages: Computer ScienceComputer Science (R0)