Formally verifying dynamic properties of knowledge based systems

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

Volumn 1621, Issue , 1999, Pages 157-171

  Groot, Perry ^a   Ten Teije, Annette ^a   Van Harmelen, Frank ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; KNOWLEDGE ACQUISITION;

CLASSIFICATION METHODS; DYNAMIC LOGIC; DYNAMIC PROPERTY; INTERACTIVE THEOREM PROVER;

KNOWLEDGE BASED SYSTEMS;

EID: 0003054492     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48775-1_10     Document Type: Conference Paper

References (28)

1. J. S. Aikins. Representation of control knowledge in expert systems. In Proceedings of AAAI’80, pages 121-123, 1980.
2. A.J. Bonner and M. Kifer. Transaction logic programming. In Proceedings of the Tenth Internat. Conf. on Logic Programming (IPLP’93), pages 257-279,1993. MIT Press.
3. B. Chandrasekaran. Generic tasks in knowledge based reasoning: High level building blocks for expert system design. IEEE Expert, 1(3):23-30, 1986.
4. W. Clancey. The advantages of abstract control knowledge in expert system design. In Proceedings of AAAI’83, pages 74-78, 1983. 1983.
5. F. Cornelissen, C. Jonker, and J. Treur. Compositional verification of knowledge-based systems: a case study for diagnostic reasoning. In E. Plaza and R. Benjamins, editors, Proceedings of EKAW’97, number 1319 in Lecture Notes in Artificial Intelligence, pages 65-80,1997. Springer-Verlag.
6. T. Dean and M. Boddy. An analysis of time-dependent planning problems. In Proceedings ofAAAI’88, pages 49-54, 1988.
7. D. Fensel. The Knowledge-Based Acquisition and Representation Language KARL. Kluwer Academic Pubblisher, 1995.
8. D. Fensel and R. Groenboom. A software architecture for knowledge-based systems. The Knowledge Engineering Review,1999. To appear.
9. D. Fensel, R. Groenboom, and G. R. Renardel de Lavalette. Modal change logic (MCL): Specifying the reasoning of knowledge-based systems. Data and Knowledge Engineering, 26(3):243-269, 1998.
10. D. Fensel and A. Schönegge. Using KIV to specify and verify architectures of knowledgebased systems. In Proceedings of the 12th IEEE International Conference on Automated Software Engineering (ASEC’97), 1997.
11. D. Fensel and A. Schönegge. Inverse verification of problem-solving methods. International Journal of Human-Computer Studies, 49:4, 1998.
12. D. Fensel and R. Straatman. The essense of problem-solving methods: Making assumptions for gaining efficiency. International Journal of Human-Computer Studies, 48(2):181-215, 1998.
13. M. Fisher and M. Wooldridge. On the formal specification and verification of multi-agent systems. International Journal of Cooperative Information Systems, 6(1):37-65, January 1997. World Scientific Publishers.
14. D. Harel. Dynamic logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, Vol. II, pages 497-604. Reidel, Dordrecht, The Netherlands, 1984.
15. C. Jonker, J. Treur, and W. de Vries. Compositional verification of agents in dynamic environments: a case study. In Proceedings of European V&V Workshop at KR’98, june 1998.
16. R. Jungclaus, G. Saake, Th. Hartmann, and C. Sernades. TROLL-a language for objectoriented specification of information systems. ACM Transactions on Information Systems, 14(2):175-211, April 1996.
17. V.R. Pratt. Semantical considerations on Floyd-Hoare logic. In IEEE Symposium on Foundations of Computer Science, pages 109-121, October 1976.
18. W. Reif. The KIV-approach to Software Verification. In M. Broy and S. J¨ahnichen, editors, KORSO: Methods, Languages, and Tools for the Construction of Correct Software. Springer LNCS 1009, 1995.
19. S. J. Russell and S. Zilberstein. Composing real-time systems. In Proceedings of IJCAI’91, pages 212-217, 1991.
20. L. Steels. Components of expertise. AI Magazine, Summer 1990.
21. M. Stefik. Introduction to Knowledge-Based Systems. Morgan Kaufmann, 1995.
22. A. ten Teije and F. van Harmelen. Exploiting domain knowledge for approximate diagnosis. In Proceedings of IJCAI’97, pages 454-459, 1997.
23. J. Treur and Th. Wetter, editors. Formal Specification of Complex Reasoning Systems,Workshop Series. Ellis Horwood, 1993.
24. P. van Eck, J. Engelfriet, D. Fensel, F. van Harmelen, Y. Venema, and M. Willems. Specification of dynamics for knowledge-based systems. In B. Freitag, H. Decker, M. Kifer, and A. Voronkov, editors, Transactions and Change in Logic Databases, volume 1472 of Lecture Notes in Computer Science, pages 37-68. Springer Verlag, 1998.
25. F. van Harmelen and J. R. Balder. (ML)e: a formal language for KADS models of expertise. Knowledge Acquisition, 4(1), 1992.
26. F. van Harmelen and A. ten Teije. Characterising approximate problem-solving by partial pre-and postconditions. In Proceedings of ECAI’98, pages 78-82, 1998.
27. I. A. van Langevelde, A. W. Philipsen, and J. Treur. Formal specification of compositional architectures. In B. Neumann, editor, Proceedings ECAI’92, pages 272-276, 1992.
28. B. J. Wielinga, A. Th. Schreiber, and J. A. Breuker. KADS: A modelling approach to knowledge engineering. Knowledge Acquisition, 4(1):5-53, 1992.