TFL: An algebraic language to specify the dynamic behaviour of knowledge-based systems

Knowledge Engineering Review

Volumn 11, Issue 3, 1996, Pages 253-280

  Pierret Golbreich, Christine ^a   Talon, Xavier ^a  

^a CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; DATABASE SYSTEMS; DYNAMIC PROGRAMMING; FORMAL LANGUAGES; FORMAL LOGIC; PROBLEM SOLVING;

ALGEBRAIC DATA TYPES; DYNAMIC STRATEGIC REASONING; TASK FORMAL LANGUAGE (TFL);

KNOWLEDGE BASED SYSTEMS;

EID: 0030235029     PISSN: 02698889     EISSN: None     Source Type: Journal    
DOI: 10.1017/s0269888900007918     Document Type: Article

References (44)

1. Aben, M, 1993. "Formally specifying reusable knowledge model components" Knowledge Acquisition 5 119-141.
2. Aben, M, 1995. Formal methods in knowledge engineering. PhD thesis, Universiteit van Amsterdam.
3. Albert, P, Corby, O, Gobinet, P and Neveu, B, 1992. Langage de spécification de la communication et du contrôle dans un blackboard, Rapport intermédiaire No III. 1 du contrat 1.91.E117, DRET-ILOG-INRIA.
4. Aitken, S, Reichgelt, H and Shadbolt, N, 1992. Representing KADS models in QI. Technical report, AI Group, May 27-31, University of Nottingham.
5. Breuker, J and Van de Velde, W, 1994. Common KADS Library for Expertise Modelling. IOS Press.
6. Bidiot, M, 1989. Pluss, un langage pour le développement de spécifications algébriques modulaires. PhD thesis, Université de Paris-Sud.
7. Brachman, RJ and Schmolze, JG, 1985. An overview of the KL-ONE knowledge representation system. Cognitive Science 9 171-216.
8. Capy, F, 1987. ASSPEGIQUE: un environnement d'exeptions... Une semantique operationnelle des eralgebres, formalisme prenant en compte les exeptions. un environnement integre de specification algebrique: asspegique. PhD thesis, Université Paris-Sud.
9. Chandrasekaran, B, 1988. Generic tasks as building blocks for knowledge-based-reasoning: the diagnosis and routine design exemples. Knowledge Engineering Review 3 (3).
10. McDermott, J, 1988. Preliminary steps towards a taxinomy of problem solving methods. In: S. Marcus, (ed.), Automating Knowledge Acquisition for Expert Systems, 225-255, Kluwer Academic.
11. Fensel, D, Angele, J and Landes, D, 1991. "A knowledge acquisition and representation languages". In: Proc. Expert Systems and their Applications, 11th International Workshop, Conference Tools, Techniques and Methods, Avignon, France, May 27-31.
12. Fensel, D, 1995. "Formal specification languages in knowledge and software engineering". The Knowledge Engineering Review 10 (4) 361-404, December.
13. Fensel, D, 1995. The Knowledge Acquisition and Representation Language KARL, Kluwer Academic.
14. Fensel, D and van Harmelen, F, 1994. "A comparison of langages which operationalise and formalise KADS models of expertise". The Knowledge Engineering Review.
15. Gaudel, MC, 1884. "A first introduction to PLUSS". In: METEOR Report, 493-510, December.
16. Gaudel, MC, 1985. "Towards structured algebraic specifications". In ESPRIT'85 Status Report, North Holland, September 23-25.
17. Gaudel, MC, 1990. Algebraic specifications. Rapport 557, LRI, University Paris Sud.
18. Gaudel, MC, 1994. "Formal specification techniques, invited state-of-the-art report, extended abstract". In: IEEE-ACM International Conference on Software Engineering, 223-227.
19. Gaudel, MC, 1992. "Test selection based on ADT specification". In: IWPT92, Wiley.
20. Harel, D, 1984. Handbook of Philosophical Logic, volume II: Extensions of Classical Logic, Chapter "Dynamic Logic", Reidel.
21. 2: A formal language for KADS models of expertise". Knowledge Acquisition 4 127-161.
22. Hayes-Roth, B, 1985. "A blackboard architecture for control". Artificial Intelligence 26 251-321.
23. Jonker, W and Spee, J, 1992. "Yet another formalisation of KADS conceptual models". In: T Wetter et al. (eds), Proceedings of the 6th European Knowledge Acquisition for Knowledge-Based Systems Workshop (EKAW-92), 211-229.
24. Kaplan, S, 1987. Spécification algébrique de types de données à accès concurrent. PhD thesis, Université de Paris-Sud.
25. Linster, M, Karbach, W, Voß, A and Walther, J, 1992. "An analysis of the role of operational modelling languages in the development of knowledge-based systems". In: Proceedings of the 2nd Japaneses Knowledge Acquisition for Knowledge-Based Systems Workshop, Hatayoama, Japan.
26. Marre, B, 1991. "Toward automatic test data set selection using algebraic specifications and logic programming". In: Proceedings of the Eighth International Conference, 202-221, MIT Press.
27. Marre, B, 1991. Une méthode et un outil d'assistance à la sélection de jeux de tests à partir de spécifications algébriques. PhD thesis, Université de Paris-Sud.
28. Musen, MA, 1989. Automated Generation of Model-Based Knowledge-Acquisition Tools. Research Notes in Artificial Intelligence, Pitman.
29. Newell, A, 1982. "The knowledge level". Artificial Intelligence 18 35-418, 87-1273.
30. Orejas, F, Navarro, M and Sanchez, A, 1992. Algebraic implementation of abstract data types: a survey. In: Proceedings 8 WADT3rd COMPASS Workshop, Dourdan, France
31. Pierret-Golbreich, C, 1994. "Task model: a framework for the design of models of expertise and their operationalization". In: Proceedings Knowledge Acquisition Workshop, Banf, Canada.
32. Pierret-Golbreich, C. 1996. "Correction of methods w.r.t problems specifications". In: ECAI-96 Workshop "Validation, Verification and Refinements of KBS".
33. Pierret-Golbreich, C, 1996. "Modular and reusable specifications in knowledge engineering: formal specification of goals and their development". In: 6th Workshop on Knowledge Engineering Methods and Languages, Paris, France.
34. Pierret-Golbreich, C and Talon, X, 1994. "Specifications formelles des connaissances pour l'acquisition: une approche basée sur les types abstraits algébriques". Unpublished.
35. Steels, L, 1990. "Components of expertise". AI Magazine.
36. Terry, A, 1983. "The crysalis project: Hierarchical control of production systems. Technical Report HPP-83-19, Stanford University.
37. Treur, J and Wetter, T, 1993. Formal Specification of Complex Reasoning Systems. Ellis Horwood.
38. van Langevelde, IA, Philipsen, AW and Treuer, J, 1992. "Formal specification of compositional architectures". In: Proceedings of the 10th European Conference, ECAF'92, 272-276, Wiley.
39. van Harmelen, F and Fensel, D, 1995. "Formal methods in knowledge engineering". The Knowledge Engineering Review 10 (4) 345-360, December.
40. van Langevelde, I, Philipsen, A and Treur, J, 1992. "Formal specification of compositional architectures". In: Proceedings of the 10th European Conference on Artifical Intelligence (ECAI 92), Vienna, Austria.
41. van Langevelde, I, Philipsen, A and Treur, J, 1993. "Formal specification of complex reasoning systems" In: A Compositional Architecture For Simple Design Formally Specified in DESIRE, Ellis Horwood.
42. Wielinga, B, Van de Velde, W, Schreiber, G and Akkermans, H, 1993. Expertise Model Definition Document, University of Amsterdam.
43. Wetter, T and Schmidt, W, 1991. "Formalisation of the KADS interpretation models". In: Proceedings of the 8th Conference of the Society for the Study of Artificial Intelligence and Simulation of Behavior (AISB'91), Springer-Verlag.
44. Wielinga, B, Schreiber, G and Breuker, J, 1992. "KADS: A modelling approach to knowledge engineering". Knowledge Acquisition Journal 4 (1) 1-162.