Modal change logic (MCL): Specifying the reasoning of knowledge-based systems

Data and Knowledge Engineering

Volumn 26, Issue 3, 1998, Pages 243-269

  Fensel, Dieter ^a   Groenboom, Rix ^b   De Lavalette, G R Renardel ^b  

^a UNIVERSITY OF KARLSRUHE   (Germany)

^b UNIVERSITY OF GRONINGEN   (Netherlands)

Author keywords

Axiomatic semantics; Dynamic logic; Formal specification; Knowledge based systems; Modal logic

Indexed keywords

BOOLEAN ALGEBRA; COMPUTATIONAL LINGUISTICS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; FORMAL LOGIC;

MODAL CHANGE LOGIC (MCL);

KNOWLEDGE BASED SYSTEMS;

EID: 0032123060     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0169-023X(98)00047-0     Document Type: Article

References (55)

1. J. Angele, Operationalisierung des Models der Expertise mit KARL (Infix, St. Augustin, 1993).
2. J. Angele, D. Fensel, D. Landes, S. Neubert, R. Studer, Model-based and incremental knowledge engineering: The MIKE approach, In J. Cuena (ed.), Knowledge Oriented Software Design, IFIP Transactions A-27 (North Holland, Amsterdam, 1993).
3. J.C.M. Baeten, W.P. Weijland, Process Algebra, Cambridge Tracts in Theoretical Computer Science, No. 18 (Cambridge University Press, Cambridge, 1990).
4. A.J. Bonner, M. Kifer, Transaction logic programming, in Proc. 10th Intl. Conf. on Logic Programming (ICLP), Budapest, Hungary, June 21-24, 1993.
5. A.J. Bonner, M. Kifer, Transaction Logic Programming, Technical Report CSRI-323, 1995.
6. E. Börger, Why use evolving algebras for hardware and software engineering, in M. Bartosek et al. (eds.), SOFSEM '95: Theory and Practice of Informatics, LNCS 1012 (Springer-Verlag, 1995).
7. M.L. Brodie, On the development of data models, in M.L. Brodie et al. (eds.), On Conceptual Modeling (Springer-Verlag, Berlin, 1984).
8. F. Brazier, B. Dunin Keplicz, N.R. Jennings, J. Treur, Formal specification of multiagent systems: A real-world case, in Proc. 1st Intl. Conf. on Multi-Agent Systems (ICMAS-95), San Francisco, CA, June 12-14, 1995.
9. T. Bylander, Complexity results for planning, in Proc. 12th Intl. Joint Conf. on Artificial Intelligence (IJCAI-91), Sydney, Australia, August 1991.
10. T. Bylander, D. Allemang, M.C. Tanner, J.R. Josephson, The computational complexity of abduction, Artificial Intelligence 49 (1991) 25-60.
11. J. de Kleer, An assumption-based TMS, Artificial Intelligence 28 (1986).
12. L.M.G. Feijs, H.B.M. Jonkers, Formal Specification and Design, Cambridge Tracts in Theoretical Computer Science 35 (1992).
13. L.M.G. Feijs, H.B.M. Jonkers, C.P.J. Koymans, G.R. Renardel de Lavalette, Formal definition of the design language COLD-K (Preliminary version), ESPRIT document METEOR/17/PRLE/7, April 1987 (final version: August 1989).
14. D. Fensel, The Knowledge Acquisition and Representation Language KARL (Kluwer Academic, Boston, 1995).
15. D. Fensel, Formal specification languages in knowledge and software engineering, The Knowledge Engineering Review 10(4) (1995).
16. D. Fensel, J. Angele, R. Studer, The Knowledge Acquisition and Representation Language KARL, IEEE Transactions on Knowledge and Data Engineering, in press.
17. D. Fensel, R. Groenboom, MLPM: Defining a semantics and axiomatization for specifying the reasoning process of knowledge-based systems, in Proc. of the 12th European Conf. on Artificial Intelligence (ECAI-96), Budapest, August 12-16, 1996.
18. D. Fensel, R. Straatman, The essence of problem-solving methods: Making assumptions for efficiency reasons, in N. Shadbolt et al. (eds.), Advances in Knowledge Acquisition, Lecture Notes in Artificial Intelligence (LNAI), No. 1076 (Springer-Verlag, Berlin, 1996).
19. D. Fensel, F. van Harmelen, A comparison of languages which operationalize and formalize KADS models of expertise. The Knowledge Engineering Review 9(2) (1994).
20. D. Fensel, A. Schönegge, R. Groenboom, B. Wielinga, Specification and verification of knowledge-based systems, Proc. ECAI-96 Workshop on Validation, Verification and Refinement of Knowledge-Based Systems, 12th European Conf. on Artificial Intelligence (ECAI-96), Budapest, August 12-16, 1996.
21. R. Goldblatt, Logics of Time and Computation, 2nd ed., CSLI Lecture Notes No. 7 (Stanford, 1992).
22. R. Groenboom, Formalizing Knowledge Domains - Static and Dynamic Aspects, Ph.D. Thesis (University of Groningen, Shaker Publ., 1997).
23. R. Groenboom, G.R. Renardel de Lavalette, Reasoning about dynamic features in specifications languages, in D.J. Andrews et al. (eds.), Proc. of Workshop in Semantics of Specification Languages, October 1993, Utrecht (Springer Verlag, Berlin, 1994).
24. R. Groenboom, G.R. Renardel de Lavalette, A formalization of evolving algebras, in Proc. of Accolade 95 (Dutch Graduate School in Logic, Amsterdam, 1995).
25. Y. Gurevich, Evolving algebras 1993: Lipari guide, In E.B. Börger (ed.), Specification and Validation Methods (Oxford University Press, 1994).
26. D. Harel, Dynamic logic, in D. Gabby et al. (eds.), Handbook of Philosophical Logic, Vol. II, Extensions of Classical Logic (D. Reidel Publishing, Dordrecht, 1984).
27. 2: A formal language for KADS conceptual models, Knowledge Acquisition 4(1) (1992).
28. L. Henkin, The completeness of the first-order functional calculus, The Journal of Symbolic Logic 14 (1949) 159-166.
29. C.B. Jones, Systematic Software Development Using VDM, 2nd ed. (Prentice Hall., 1990).
30. R. Jungclaus, Modeling of Dynamic Object Systems - A Logic-based Approach (Vieweg Verlag, 1993).
31. M. Kifer, G. Lausen, J. Wu, Logical Foundations of Object-Oriented and Frame-Based Languages, Journal of the ACM 42 (1995).
32. ω, in M. Wirsing, J.A. Bergstra (eds.), Algebraic Methods: Theory, Tools and Applications, LNCS 394 (Springer-Verlag, 1989).
33. S.A. Kripke, A completeness theorem in modal logic. Journal of Symbolic Logic 24 (1959) 1-14.
34. C.I. Lewis, C.H. Langford, Symbolic Logic (The Century Co., 1932).
35. I. van Langevelde, A. Philipsen, J. Treur, A compositional architecture for simple design formally specified in DESIRE, in J. Treur, T. Wetter (eds.), Formal Specification of Complex Reasoning Systems (Ellis Horwood, New York, 1993).
36. J.W. Lloyd, Foundations of Logic Programming, 2nd ed. (Springer-Verlag, Berlin, 1987).
37. J.M. McCarthy, P.J. Hayes, Some philosophical problems from the standpoint of artificial intelligence, in B. Meltzer et al. (eds.), Machine Intelligence, Vol. 4 (Edinburgh University Press, 1969).
38. B. Nebel, Artificial intelligence: A computational perspective, in G. Brewka (ed.), Principles of Knowledge Representation CSLI publications, Studies in Logic, Language and Information (Stanford, 1996).
39. C. Pierret-Golbreich, X. Talon, An algebraic specification of the dynamic behaviour of knowledge-based systems, The Knowledge Engineering Review 11(2) (1996).
40. V.R. Pratt, Semantical considerations on Floyd-Hoare logic, in Proc. 17th Annual IEEE Symp. on Foundations of Computer Science, 1976.
41. T.C. Przymusinski, On the declarative semantics of deductive databases and logic programs, in J. Minker (ed.), Foundations of Deductive Databases and Logic Programming (Morgan Kaufmann Publisher, Los Altos, CA, 1988).
42. W. Reif, The KIV approach to software engineering, in M. Broy, S. Jähnichen (eds.), Methods, Languages, and Tools for the Construction of Correct Software, LNCS 1009 (Springer-Verlag, Berlin, 1995).
43. G.R. Renardel de Lavalette, How to change your world - a variant of quantified dynamic logic, Technical Report, CS-R9709 (Dept. of Computing Science, University of Groningen, 1997).
44. A. Schönegge, Extending dynamic logic for reasoning about evolving algebras, Research Report 49195 (Institut für Logik, Komplexität und Deduktionssysteme, University of Karlsruhe, 1995).
45. A.T. Schreiber, B.J. Wielinga, J.A. Breuker (eds.), KADS: A Principled Approach to Knowledge-Based System Development, Vol. II of Knowledge-Based Systems Book Series (Academic Press, London, 1993).
46. A.T. Schreiber, B. Wielinga, J.M. Akkermans, W. Van De Velde, R. de Hoog, CommonKADS, A comprehensive methodology for KBS development, IEEE Expert 9(6) (1994) 28-37.
47. BSSF, A language for KBS design, Knowledge Acquisition 6(4) (1994).
48. J.M. Spivey, The Z Notation, A Reference Manual, 2nd ed. (Prentice Hall, New York, 1992).
49. P.A. Spruit, R. Wieringa, J.-J. Meyer, Dynamic database logic: The first order case, in V.W. Lipeck, B. Thalheim (eds.), 4th Intl. Workshop on Foundations of Models and Languages for Data and Objects, Workshop in Computing (Springer-Verlag, Berlin, 1993).
50. P.A. Spruit, R. Wieringa, J.-J. Meyer, Axiomatization, declarative semantics and operational semantics of passive and active updates in logic databases, Journal of Logic Computation 5(1) (1995).
51. J. Treur, Temporal semantics of meta-level architectures for dynamic control of reasoning, in L. Fibrourg et al. (eds.), Logic Program Synthesis and Transformation - Meta Programming in Logic, Proc. 4th Intl. Workshops, LOPSTER-94 and META-94. Pisa, Italy, June 20-21, 1994 (Springer Verlag) LNCS 883, Berlin, 1994.
52. J. Treur, T. Wetter, Formal Specification of Complex Reasoning Systems (Ellis Horwood, New York, 1993).
53. H. Voss, A. Voss, Reuse-oriented knowledge Engineering with MoMo, in Proc. 5th Intl. Conf. on Software Engineering and Knowledge Engineering (SEKE93), San Francisco Bay, June 14-18, 1993.
54. G. Weiß, Adaption and learning in multi-agent systems: Some remarks on a bibliography, in G. Weiß et al. (eds.), Adaption and Learning in Multi-Agent Systems, Lecture Notes in Artificial Intelligence (LNAI), No. 1042 (Springer-Verlag, 1995).
55. M. Wirsing, Algebraic specification, in J. van Leeuwen (ed.), Handbook of Theoretical Computer Science (Elsevier Science, 1990).