Abstract
Given a physical system described by a structural decomposition together with additional constraints, a major task in Artificial Intelligence concerns the automatic identification of the system behavior. We will show in the present paper how concepts and techniques from different AI disciplines help solve this task in the case of the intelligent control of engineering systems. Following generative approaches grounded in Qualitative Physics, we derive behavioral specifications from structural and equational information input by the user in the context of the intelligent control of physical systems. The behavioral specifications stem from a teleological representation based on goal structures which are composed of three primitive concepts, i.e. physical entities, physical roles and actions. An ontological representation of goals extracted from user inputs facilitates both local and distributed reasoning. The causal reasoning process generates inferences of possible behaviors from the ontological representation of intended goals. This process relies on an Event Calculus approach. An application example focussing on the control of an irrigation channel illustrates the behavioral identification process.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abadi, M. and Lamport, L. (1993). Composing specifications. ACM Transactions on Programming Languages and Systems, 15(1):73–132.
Barringer, H. (1986). Using temporal logic in the compositional specification of concurrent systems. Technical Report UMCS-86-10-1, Dpt of Computer Science Univ. of Manchester.
Barwise, J. and Seligman, J. (1997). Information flow - The logic of distributed systems, volume 44 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press.
Chen, X. and de Giacomo, G. (1999). Reasoning about nondeterministic and concurrent actions: a process algebra approach. Artificial Intelligence, 107:63–98.
Chittaro, L., Guida, G., Tasso, C., and Toppano, E. (1993). Functional and teleological knowledge in the multimodelling approach for reasoning about physical sytems: a case study in diagnosis. IEEE Transactions on Systems Man and Cybernetics, 23(6):1718–1751.
Cimiano, P., Hotho, A., Stumme, G., and Tane, J. (2004). Conceptual knowledge processing with formal concept analysis and ontologies. In ICFCA, number 2961 in LNAI, pages 189–207. Springer.
Cimiano, P., Staab, S., and Tane, J. (2003). Deriving concept hierarchies from text by smooth formal concept analysis. In Procs. of the GI Workshop LLWA.
Dapoigny, R., Barlatier, P., Benoit, E., and Foulloy, L. (2005). Formal goal generation for intelligent control systems. In 18th International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, number 3533 in LNCS. Springer.
de Coste, D. (1994). Goal-directed qualitative reasoning with partial states. Technical Report 57, Institute for the Learning Sciences, Northwestern University (Evanston).
de Kleer, J. and Brown, J. (1984). A qualitative physics based on confluences. Artificial Intelligence, 24:7–83.
Dooley, K., Skilton, P., and Anderson, J. (1998). Process knowledge bases: Facilitating reasoning through cause and effect thinking. Human Systems Management, 17(4):281–298.
El-Maddah, I. and Maibaum, T. (2003). Goal-oriented requirements analysis for process control systems design. In Procs. of the International Conference on formal methods and models for co-design, pages 45–46. IEEE Comp. Society Press.
Falkenhainer, B. and Forbus, K. (1991). Compositional modeling: finding the right model for the job. Artificial Intelligence, 51:95–143.
Forbus, K. (1984). Qualitative process theory. Artificial Intelligence, 24:85–168.
Freksa, C. (1992). Temporal reasoning based on semiintervals. Artificial Intelligence, 54:199–227.
Galton, A. (1987). Temporal logics and their applications. Academic Press.
Galton, A. and Augusto, J. (2000). Two approaches to event definition. In Springer, number 2453 in LNCS, pages 547–556.
Ganter, B. and Wille, R. (1999). Formal concept analysis - mathematical foundations. Springer.
Giorgini, P., Nicchiarelli, E., Mylopoulos, J., and Sebastiani, R. (2002). Reasoning with goal models. In Procs. of the int. conf. on Conceptual Modeling, number 2503 in LNCS, pages 167–181. Springer.
Gruber, G. and Olsen, G. (1994). An ontology for engineering mathematics. In Doyle, J., Torasso, P., and Sandewall, E., editors, Fourth International Conference on Principles of Knowledge Representation and Reasoning, pages 258–269. Morgan Kaufmann.
Sandewall, E., editors, Fourth International Conference on Principles of Knowledge Representation and Reasoning, pages 258–269. Morgan Kaufmann.
Hertzberg, J. and Thiebaux, S. (1994). Turning an action formalism into a planner: a case study. Journal of Logic and Computation, 4:617–654.
ISO/IEC (1996). Open Distributed Processing - Basic Reference model - Part 2: Foundations. ISO/IECand ITU-T.
Kent, R. (2003). Distributed conceptual structures. In in Procs. of the 6th Int. Workshop on Relational Methods in Computer Science, number 2561 in LNCS. Springer.
Kitamura, Y., Sano, T., Namba, K., and Mizoguchi, R. (2002). A functional concept ontology and its application to automatic identification of functional structures. Artificial Intelligence in Engineering, 16(2):145–163.
Kmenta, S., Fitch, P., and Ishii, K. (1999). Advanced failure modes and effects anlysis of complex processes. In Procs. of the ASME Design Engineering Technical Conferences, Las Vegas (NE).
Larsson, J. (1996). Diagnosis based on explicit means-end models. Artificial Intelligence, 80:29–93.
Lind, M. (1994). Modeling goals and functions of complex industrial plant. Journal of Applied Artificial Intelligence, 8:259–283.
Ma, J. and Knight, B. (1996). A reified temporal logic. The Computer Journal, 39(9):800–807.
Manna, Z. and Pnueli, A. (1992). The temporal logic of reactive and concurrent systems (Specification). Springer-Verlag.
McDermott, D. (1982). A temporal logic for reasoning about processes and plans. Cognitive Science, 6: 101–155.
Rolland, C., Souveyet, C., and Achour, C. B. (1998). Guiding goal modelling using scenarios. IEEE Transactions on software engineering, pages 1055–1071.
Russo, A., Miller, R., Nuseibeh, B., and Kramer, J. (2001). An abductive approach for analysing event-based requirements specifications. Technical Report DoC- 2001/7, Dpt of Computing Imperial College, London.
Shanahan, M. (1997). Solving the frame problem: A mathematical investigation of the common sense law of inertia. MIT Press.
Stumme, G. (1999). Hierarchies of conceptual scales. In Procs. of the Workshop on Knowledge Acquisition, Modeling and Managenent(KAW’99), volume 2, pages 78–95.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer
About this paper
Cite this paper
Dapoigny, R., Barlatier, P., Benoit, E., Foulloy, L. (2007). Deriving Behavior from Goal Structure for the Intelligent Control of Physical Systems. In: Filipe, J., Ferrier, JL., Cetto, J.A., Carvalho, M. (eds) Informatics in Control, Automation and Robotics II. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-5626-0_7
Download citation
DOI: https://doi.org/10.1007/978-1-4020-5626-0_7
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-5625-3
Online ISBN: 978-1-4020-5626-0
eBook Packages: Computer ScienceComputer Science (R0)