Specification of flexible knowledge-based systems

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

Volumn 1319, Issue , 1997, Pages 190-204

  Pierret Golbreich, Christine ^a   Talon, Xavier ^a  

^a UFR 919 Laboratoire d'Informatique Pour la Mécanique et les Sciences de l'Ingénieur   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84957884331     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0026786     Document Type: Conference Paper

References (25)

1. Andreka, H., Ryan, M. and Schobbens P.-Y. 1994. Laws of Generalised Priority Operators, In International Workshop on Information Systems - Correctness and Reusability (ISCORE’94), R. Wieringa, R. Feenstra (Eds.), VUAIR-357, World Scientific Publishers.
2. Aussenac, N., Frontin, J., Soubie J.L. 1991. Evolution d’une representation dcs connaisscmces pour Vacquisition. In Knowledge Modelling and Expertise Transfert, 21-24, IOS.
3. Angele J., Decker, S., Perkuhn R., Studer R. 1997. Modeling Problem-solving Methods in NewKARL. In 7th workshop Knowledge Engineering Methods and Languages, KEML 97, Milton Keynes, England.
4. Benjamins, R. and Pierret-Golbreich, C. 1996. Assumptions of Problem-Solving Methods. Lecture Notes in Artificial Intelligence, 1076, 9th European Knowledge Acquisition Workshop, N. Shadboldt and K. OHara and G. Schreiber (Ed.), 1-16, Springer-Veiiag
5. Bidoit, M. 1989. PLUSS, un langage pour le developpement de specifications algebriques modulaires. Thdse d'Etat, University Paris Sud.
6. Bredillet, P., Delouis-Jacob, I., Eyrolles, P., Jehl, O., Krivine J.P., Thiault, P., (1994). The AUSTRAL Expert System for Power Restorationon Distribution Systems, In Fifth Symposium in Intelligent Systems Application to Power Systems (E5AP94), Montpellier, France
7. Chandrasekaran, B., Johnson, T. R. and Smith, J. W. 1992. Task-structure analysis for knowledge modelling. Communications of th ACM, 35(9), 124-137.
8. Ermine, J-L. 1993. Génie logiciel et genie cognitif pour les systemes £ base de connaissances. Lavoisier Ed.
9. Fensel D. 1995. The Knowledge Acquisition and Representation Language KARL. Boston, Dudieccht, London: Kluwer Academic Press.
10. Fensel, D. and Groenbaum, R. 1996. MLPM: Defining semantics and Axiomatisation for Specifying the Reasoning Process of Knowledge-based Systems. In 12th European Conference on Artificial Intelligence, Budapest.
11. Krivine, J. P., & Delouis, I. (1991). Interactive Knowledge-Based System for Assistance in the Analysis and Reinforcement of Power Subtransmission Networks. In Third Symposium on Expert Systems Application to Power Systems, Tokyo, Japon.
12. Newell, A. (1982). The knowledge level. Artificial Intelligence, 18.
13. Pierret-Golbreich, C. and Delouis I. 1991. TASK: task centered representation. In 8th Conference of the Society for the Study of Artificial Intelligence and Simulation of Behavior, Steels and Smith Ed., Springer-Yerlag.
14. Pierret-Golbreich, C. 1996. TASK, un environnement pour le developpement de systfemes a base de connaissances flexibles. These d'Habilitation a diriger des recherches. Universite Paris Sud.
15. Pierret-Golbreich, C. 1996b. Correctness of Methods w.r.t Problems Specifications, Workshop on Validation Verification and Refinement of Knowledge-based systems of the 12th European Conference on Artificial Intelligence, Wahlster Ed., Wiley & Sons, Ltd.
16. Pierret-Golbreich, C. and Talon, X. 1996. TFL: an algebraic language to specify the dynamic behaviour of KBS. The Knowledge Engineering Review, Vol 11: 3 253-280, Cambridge Press.
17. Pueita, A., Agar, J., Tu, S., and Musen, M. 1992. A multiple method shell for the automatic generation of knowledge acquisition tools. Knowledge Acquisition, 4, 171-196.
18. Ryan, M. D. 1992. Representing defaults as sentences with reduced priority, In B. Nebel and W. Swaitout (Ed.), Third International Conference on Principles of Knowledge Representation and Reasoning (KR’92), Morgan Kaufmann.
19. Scapin, D.L., Pierret-Golbreich, C. 1990. Towards a method for task description: MAD. In Berlinguet L. and Berthelette D. (Ed.), Work with Display Units 89. 371-380, Elesevier Science Publishers.
20. Schreiber, Wielinga and Breuker, J. 1993. KADS. A principled Approach to Knowledge-Based Systems Development. Knowledge-Based Systems, vol. 11, Academic Press, London.
21. Steels, L. 1990. Components of expertise. AI Magazine, 28-40
22. Sebillotte, S. and Fallah, D. 1995. Task description "Resolve the, emergency situation: Fire", Final Technical report Esprit Project Intuitive P 6593.
23. Talon, X. and Pierret-Golbreich, C., 1996. TASK: from the specification to the implementation. In 8th IEEE International Conference on Tools with Artificial Intelligence, 80-88, IEEE Computer Society Press.
24. Talon, X. and Pierret-Golbreich, C. 1997. A language to specify strategies for flexible problemsolving. In 7th Knowledge Engineering Methods and Languages Workshop, KEML 97, Milton Keynes, England.
25. Van Harmelen and Balder, 1992. (ML)2, a formal language for KADS conceptual models. Knowledge Acquisition, 4:1, 1992.