Temporal semantics of compositional task models and problem solving methods

Data and Knowledge Engineering

Volumn 29, Issue 1, 1999, Pages 17-42

  Brazier, Frances M T ^a   Treur, Jan ^a   Wijngaards, Niek J E ^a   Willems, Mark ^a,b  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

^b CYCORP INC   (United States)

Author keywords

Compositional; Dynamics; Knowledge based systems; Problem solving method; Task model; Temporal semantics

Indexed keywords

DYNAMICS; INFORMATION THEORY; LINGUISTICS; MATHEMATICAL MODELS; PROBLEM SOLVING; SYSTEMS ANALYSIS;

COMPOSITIONAL SIMULATION;

KNOWLEDGE BASED SYSTEMS;

EID: 0032761931     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0169-023X(98)00029-9     Document Type: Article

References (41)

1. J. Agusti, F. Esteva, P. Carcia, L. Godo, R. Lopez de Mantaras, Ll. Murgui, J. Puyol C. Sierra, Structured local fuzzy logics in MILORD. In: L. Zadeh, J. Kacprzyk (eds.), Fuzzy Logic for the Management of Uncertainty, John Wiley & Sons (1992).
2. J.M. Akkermans, F. van Harmelen, A.Th. Schreiber, B.J. Wielinga, A formalisation of knowledge-level models for knowledge acquisition. Int. J. of Intelligent Systems (1992).
3. J. Angele, S. Decker, R. Perkuhn, R. Studer, Modelling problem-solving methods in New KARL. In: B.R. Gaines, M.A. Musen (Eds.), Proc. 10th Banff Knowledge Acquisition for Knowledge-based Systems Workshop (KAW'96), Calgary, SRDG Publications, Department of Computer Science, University of Calgary (1996) pp. 1/1-18.
4. J. Angele, D. Fensel, D. Studer, Domain and task modelling in MIKE. Proc. IFIP WG 8.1113.2 Joint Working Conf., Domain Knowledge for Interactive System Design, Geneva, Switzerland (May 8-10, 1996).
5. J. Balder, H. Akkermans (1990). StrucTool: Supporting Formal Specifications of Knowledge-level Models. In: B.J. Wielinga, J. Boose, B.R. Gaines, A.Th. Schreiber, M.W. van Someren (Ed.), Current Trends in Knowledge Acquisition (Proc. EKAW '90), IOS Press (1990) pp. 60-77.
6. S. Blamey, Partial logic. In: D. Gabbay, F. Günthner (Eds.), Handbook of Philosophical Logic, Vol. III, Reidel, Dordrecht (1986) pp. 1-70.
7. F.M.T. Brazier, B. Dunin-Keplicz, N. Jennings, J. Treur, Formal specification of multi-agent systems: A real-world case, Proc. 1st Intl. Conf. on Multi-Agent Systems, ICMAS' 95 (1995) pp. 25-32. An extended version appeared as: DESIRE: Modelling multi-agent systems in a compositional formal framework. In: M. Huhns, M. Singh (Eds.), Int. J. of Cooperative Information Systems, Vol. 6 (No. 1), Special issue on Formal Methods in Cooperative Information Systems: Multi-Agent Systems (1997) pp. 67-94.
8. F.M.T. Brazier, B. Dunin-Keplicz, N. Jennings, J. Treur, Formal specification of multi-agent systems: A real-world case, Proc. 1st Intl. Conf. on Multi-Agent Systems, ICMAS' 95 (1995) pp. 25-32. An extended version appeared as: DESIRE: Modelling multi-agent systems in a compositional formal framework. In: M. Huhns, M. Singh (Eds.), Int. J. of Cooperative Information Systems, Vol. 6 (No. 1), Special issue on Formal Methods in Cooperative Information Systems: Multi-Agent Systems (1997) pp. 67-94.
9. F.M.T. Brazier, P.H.G. van Langen, J. Treur, N.J.E. Wijngaards, M. Willems, DESIRE: Designing an elevator configuration. In: A.Th. Schreiber, W.P. Birmingham (Eds.), Special Issue on Sisyphus-VT, Intl. J. of Human-Computer Studies 44 (1996) 469-520.
10. F.M.T. Brazier, J. Treur, N.J.E. Wijngaards, The acquisition of a shared task model. In: N. Shadbolt, K. O'Hara, A.Th. Schreiber (Eds.), Advances in Knowledge Acquisition; 9th European Knowledge Acquisition Workshop, EKAW'96, Lecture Notes in Artificial Intelligence, Vol. 1076, Springer Verlag (1996) pp. 278-289.
11. F.M.T. Brazier, N.J.E. Wijngaards, A purpose driven method for the comparison of modelling frameworks. In: E. Plaza, R. Benjamins (Eds.), Knowledge Acquisition, Modelling and Management, Proc. 10th European Knowledge Acquisition Workshop (EKAW'97), Lecture Notes in AI, Vol. 1319, Springer Verlag, Berlin (1997) pp. 323-328.
12. F.M.T. Brazier, J. Treur, N.J.E. Wijngaards, M. Willems, M. Formal specification of hierarchically (de)composed tasks. In: B.R. Gaines, M.A. Musen (Eds.), Proc. 9th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, KAW '95, Vol. 2, Calgary: SRDG Publications, Department of Computer Science, University of Calgary (1995) pp. 25/1-25/20.
13. J. Engelfriet, J. Treur, Temporal theories of reasoning. In: C. MacNish, D. Pearce, L.M. Pereira (Eds.), Logics in Artificial Intelligence, Proc. 4th European Workshop on Logics in Artificial Inteligence, JELJA'94, Springer-Verlag, Vol. 838 of Lecture Notes in Artificial Intelligence (1994) pp. 279-299. Also in: J. Applied Nonclassical Logics 5 (1995) 239-261.
14. J. Engelfriet, J. Treur, Temporal theories of reasoning. In: C. MacNish, D. Pearce, L.M. Pereira (Eds.), Logics in Artificial Intelligence, Proc. 4th European Workshop on Logics in Artificial Inteligence, JELJA'94, Springer-Verlag, Vol. 838 of Lecture Notes in Artificial Intelligence (1994) pp. 279-299. Also in: J. Applied Nonclassical Logics 5 (1995) 239-261.
15. A. Cesta, A. Oddi, A representation language for domain knowledge in planning architectures. In: B.R. Gaines, M.A. Musen (Eds.), Proc. 10th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, KAW' 96, Vol. 1, SRDG Publications, Department of Computer Science, University of Calgary (1996) pp. 16/1-16/15.
16. S.A. Chien, Knowledge acquisition, validation, and maintenance in a planning system for automated image processing. In: B.R. Gaines, M.A. Musen (Eds.), Proc. 10th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, KAW' 96,Vol. 1, SRDG Publications, Department of Computer Science, University of Calgary (1996) pp. 17/1-17/19.
17. F. Cornelissen, C.M. Jonker, J. Treur. Compositional verification of knowledge-based systems: a case study in diagnostic reasoning. In: E. Plaza, R. Benjamins (Eds.), Knowledge Acquisition, Modelling and Management, Proc. 10th European Knowledge Acquisition Workshop (EKAW '97), Lecture Notes in AI, Vol. 1319, Springer Verlag, Berlin (1997) pp. 65-80.
18. D. Fensel, The knowledge acquisition and representation language KARL, Ph.D. Thesis, Univ. of Karlsruhe, Kluwer Academic Publisher, Boston (1995).
19. D. Fensel, F. van Harmelen, A comparison of languages which operationalize and formalize KADS models of expertise, Knowledge Engineering Review 9 (1994) 105-146.
20. K.M. Ford, J.M. Bradshaw, J.R. Adams-Webber, N.M. Agnew, Knowledge acquisition as a constructive modeling activity. In: K.M. Ford, J.M. Bradshaw (Eds.), Knowledge Acquisition as Modeling, Int. J. of Intelligent Systems 8(1), Wiley and Sons (1993) 9-32.
21. 2: A formal language for KADS-models of expertise, Knowledge Acquisition Journal 4(1), Special issue: The KADS approach to knowledge engineering (1992).
22. I.S. Gavrila, J. Treur, A formal model for the dynamics of compositional reasoning systems. In A.G. Cohn (Ed.), Proc. 11th European Conf. on Artificial Intelligence, ECAI'94, John Wiley, Chichester (1994) pp. 307-311.
23. P.A. Geelen, W. Kowalczyk, A knowledge-based system for routing of international blanc payment orders. In: Proc. Int. Conf. on AI, Expert Systems and Natural Language, Avignon-92, Vol. 1 (1992) pp. 669-677.
24. F. van Harmelen, D. Fensel, Formal methods in knowledge engineering. The Knowledge Engineering Review 10(4) (1995) 345-360.
25. C.M. Jonker, J. Treur, Compositional verification of multi-agent systems: A formal analysis of pro-activeness and reactiveness. In: [32].
26. W. Kowalczyk, J. Treur, (1990). On the use of a Formalized Generic Task Model in Knowledge Acquisition, In: [39].
27. I.A. van Langevelde, A.W. Philipsen, J. Treur, Formal specification of compositional architectures. In: B. Neumann (Ed.), Proc. 10th European Conf. on Artificial Intelligence, ECAI'92, John Wiley, Chichester (1992) 272-276; extended version: Report IR-282, Department of Mathematics and Computer Science, Vrije Universiteit Amsterdam, (1991).
28. P.H.G. van Langen, J. Treur, Representing world situations and information states by many-sorted partial models. Technical Report PE8904, Department of Mathematics and Computer Science, University of Amsterdam (1989).
29. T. Langholm, Partiality, truth and persistence. CSLI Lecture Notes, No. 15, Stanford University, Stanford (1988).
30. C. Pierret-Golbreich, X. Talon (1997). Specification of Flexible Knowledge-Based Systems. In: E. Plaza, R. Benjamins (Eds.), Knowledge Acquisition, Modelling and Management, Proc. 10th European Knowledge Acquisition Workshop, EKAW' 97, Lecture Notes in AI, Vol. 1319, Springer Verlag, Berlin (1997) pp. 190-204.
31. E. Plaza, R. Benjamins (Eds.), Knowledge Acquisition, Modelling and Management, Proc. 10th European Knowledge Acquisition Workshop, EKAW' 97, Lecture Notes in AI, Vol. 1319, Springer Verlag, Berlin (1997).
32. A.R. Puerta, J.W. Egar, S.W. Tu, M.A. Musen, A multiple-method knowledge-acquisition shell for the automatic generation of knowledge-acquisition tools, Knowledge Acquisition 4 (1992) 171-196.
33. REVISE, (project) A purpose driven method for language comparison. In: N. Shadbolt, K. O'Hara, A.Th. Schreiber (Eds.), Advances in Knowledge Acquisition. 9th European Knowledge Acquisition Workshop, EKAW'96. Lecture Notes in Artificial Intelligence, Vol. 1076 (1996) pp. 66-81.
34. W.P. de Roever, H. Langmaack, A. Pnueli (Eds.) Proc. Int. Workshop on Compositionality, COMPOS' 97, Springer Verlag, in press.
35. A.Th. Schreiber, B.J. Wielinga, J.A. Breuker (Eds.), KADS: A Principled Approach to Knowledge-Based System Development, Academic Press, London (1993).
36. N. Shadbolt, E. Motta, A. Rouge, Constructing knowledge-based systems. IEEE Software (November 1993) pp. 34-38.
37. Y. Shahar, S. Miksch, P. Johnson, A task-specific ontology for design and execution of time-oriented skeletal plans. In: B.R. Gaines, M.A. Musen (Eds.), Proc. 10th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, KAW' 96, Vol. 1, SRDG Publications, Department of Computer Science, University of Calgary (1996) pp. 17/1-17/19.
38. J. Treur, Temporal semantics of meta-level architectures for control of reasoning. In: L. Fribourg and F. Turini (Eds.), Logic Program Synthesis and Transformation-metaprogramming in Logic, Proc. META'94, Lecture Notes in Computer Science 883 (Springer-Verlag, 1994), pp. 353-376.
39. J. Treur, Th. Wetter (Eds.), Formal Specification of Complex Reasoning Systems, Ellis Horwood (1993).
40. Th. Wetter (1990), First-Order logic foundation of the KADS conceptual model. B.J. Wielinga, J. Boose, B.R. Gaines, A. Th. Schreiber, M.W. van Someren (Eds.), Current Trends in Knowledge Acquisition (Proc. EKAW'90), IOS Press (1990) pp. 356-375.
41. B.J. Wielinga, J. Boose, B.R. Gaines, A.Th. Schreiber, M.W. van Someren (Eds.), Current Trends in Knowledge Acquisition (Proc. EKAW'90), IOS Press (1990).