Formal goal generation for intelligent control systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3533 LNAI, Issue , 2005, Pages 712-721

  Dapoigny, Richard ^a   Barlatier, Patrick ^a   Foulloy, Laurent ^a   Benoit, Eric ^a  

^a UNIVERSITÉ DE SAVOIE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ACTUATORS; ARTIFICIAL INTELLIGENCE; COMPUTER SIMULATION; SENSORS;

FORMAL CONCEPT ANALYSIS (FCA); FORMALIZATION; INTELLIGENT CONTROL SYSTEMS;

CONTROL SYSTEMS;

EID: 26944491447     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11504894_99     Document Type: Conference Paper

References (21)

1. Lind M.: Modeling Goals and Functions of Complex Industrial Plant. Journal of Applied Artificial Intelligence 8 (1994) 259-283
2. Fikes R.: Ontologies: What are they, and where's the research?. Principles of Knowledge Representation and Reasoning. (1996) 652-654
3. Hertzberg J., Thiebaux S.: Turning an Action Formalism into a Planner: a case Study. Journal of Logic and Computation. 4 (1994) 617-654
4. Lifschitz V.: A Theory of Actions. Procs. of the 10th International Joint Conference on Artificial Intelligence (1993) 432-437
5. Umeda Y., et al.: Supporting conceptual design based on the function-behavior-state modeler. Artificial Intell. for Engineering Design, Analysis and Manufacturing. 10(4) (1996) 275-288
6. Gerstl P., Pribbenow S.: A conceptual theory of part-whole relations and its applications. Data and Knowledge Engineering 20 (3) (1996) 305-322
7. Winston M.E., Chaffin R., Herrmann D.: A taxonomy of part-whole relations. Cognitive Science. 11 (1987) 417-444
8. Dapoigny R., Benoit E., Foulloy L.: Functional Ontology for Intelligent Instruments. Foundations of Intelligent Systems. LNAI 2871 (2003) 88-92
9. Cimiano P., Hotho A., Stumme G., Tane J.: Conceptual knowledge processing with formal concept analysis and ontologies. LNAI 2961. (2004) 189-207
10. Wille R.: Restructuring lattice theory: an approach based on hierarchies of concepts. Ordered sets. Reidel, Dordrecht-Boston. (1982) 445-470
11. Birkhoff G.: Lattice theory. (First edition) Amer. Math. Soc. Coll. Publ. 25. Providence. R.I. (1940)
12. Wille R.: Conceptual structures of multicontexts. Conceptual structures: knowledge representation as interlingua (Springer) LNAI 1115 (1996) 23-39
13. Ganter B., Wille R.: Applied lattice theory: formal concept analysis. Institut fr Algebra, TU Dresden, Germany. (1997)
14. Stumme G.: Hierarchies of conceptual scales. Procs. of the Work, on Knowledge Acquisition, Modeling and Managenent (KAW'99). 2 (1999) 78-95
15. Ganter B., Wille R.: Formal concept analysis - mathematical foundations (1999) Springer.
16. Cimiano P., Staab S., Tane J.: Deriving concept hierarchies from text by smooth formal concept analysis. Procs. of the GI Workshop LLWA (2003)
17. Dardenne A., van Lamsweerde A., Fickas S.: Goal-directed requirements acquisition. Science of computer programming. 20 (1993) 3-50
18. Rolland C., Souveyet C., Ben Achour C.: Guiding goal modelling using scenarios. IEEE Trans. on software eng. (1998) 1055-1071
19. Letier E.: Reasoning about agents in goal-oriented requirements engineering. Doct. dissertation. University of Louvain. (2001)
20. El-Maddah I., Maibaum T.: Goal-oriented requirements analysis for process control systems design. Procs. of MEMOCODE'03 (2003)
21. Giorgini P., Nicchiarelli E., Mylopoulos J., Sebastiani R.: Reasoning with goal models. Procs. of the int. conf. on conceptual modeling (2002)