AI Magazine
Formal specification of compositional architectures
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
KADS: a modelling approach to knowledge engineering
Knowledge Acquisition - Special issue on the KADS approach to knowledge engineering
(ML)2: a formal language for KADS models of expertise
Knowledge Acquisition - Special issue on the KADS approach to knowledge engineering
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Introduction to knowledge systems
Introduction to knowledge systems
TROLL: a language for object-oriented specification of information systems
ACM Transactions on Information Systems (TOIS)
The essence of problem-solving methods: making assumptions to gain efficiency
International Journal of Human-Computer Studies
Modal change logic (MCL): specifying the reasoning of knowledge-based systems
Data & Knowledge Engineering
Inverse verification of problem-solving methods
International Journal of Human-Computer Studies
Knowledge Acquisition and Representation Language Karl
Knowledge Acquisition and Representation Language Karl
Compositional Verification of Knowledge-Based Systems: A Case Study for Diagnostic Reasoning
EKAW '97 Proceedings of the 10th European Workshop on Knowledge Acquisition, Modeling and Management
The KIV-Approach to Software Verification
KORSO - Methods, Languages, and Tools for the Construction of Correct Software
Specification of Dynamics for Knowledge-Based Systems
ILPS '97 International Seminar on Logic Databases and the Meaning of Change, Transactions and Change in Logic Databases
Using KIV to specify and verify architectures of knowledge-based systems
ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)
A software architecture for knowledge-based systems
The Knowledge Engineering Review
Semantical consideration on floyo-hoare logic
SFCS '76 Proceedings of the 17th Annual Symposium on Foundations of Computer Science
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
| Hi-index | 0.01 |
In this paper we study dynamic properties of knowledge-based systems. We argue the importance of such dynamic properties for the construction and analysis of knowledge-based systems. We present a case-study of a simple classification method for which we formulate and verify two dynamic properties which are concerned with the anytime behaviour and the computation trace of the classification method. We show how Dynamic Logic can be used to formally express these dynamic properties.We have used the KIV interactive theorem prover to obtain machine-assisted proofs for all the properties and theorems in this paper.