Compositional verification of knowledge-based systems: A case study for diagnostic reasoning

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

Volumn 1319, Issue , 1997, Pages 65-80

  Cornelissen, Frank ^a   Jonker, Catholijn M ^a   Treur, Jan ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

Compositional verification; Diagnostic reasoning model; Formal compositional modelling; Knowledge based systems

Indexed keywords

EID: 84957871808     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0026778     Document Type: Conference Paper

References (18)

1. Abadi, M. and L. Lamport (1993). Composing Specifications, ACM Transactions on Programming Languages and Systems, Vol. 15, No. 1, 1993, pp. 73-132.
2. Benjamins, R., Fensel, D., Straatman, R. (1996). Assumptions of problem-solving methods and their role in knowledge engineering. In: W. Wahlster (Ed.), Proceedings of the Twelfth European Conference on Artificial Intelligence, ECA1'96, John Wiley and Sons, 1996, pp. 408-412.
3. Brazier, F.M.T., Dunin-Keplicz, B., Jennings, N.R. and Treur, J. (1995). Formal Specification of Multi-Agent Systems: a Real-World Case. In: V. Lesser (Ed.), Proceedings of the First International Conference on Multi-Agent Systems, ICMAS’95, MIT Press, Cambridge, MA, pp. 25-32. Extended version in: International Journal of Cooperative Information Systems, M. Huhns, M. Singh, (Eds.), special issue on Formal Methods in Cooperative Information Systems: Multi-Agent Systems, vol. 6, 1997, pp. 67-94.
4. Brazier, F.M.T., Treur, J., Wijngaards, N.J.E. and Willems, M. (1995). Formal Specification of Hierarchically (De)Composed Tasks. In: B.R. Gaines, M.A. Musen (Eds.), Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-based Systems workshop, KAW'95, Calgary: SRDG Publications, Department of Computer Science, University of Calgary, 1995, pp. 25/1-15/20.
5. Brazier, F.M.T., Treur, J., Wijngaards, N.J.E. and Willems, M. (1996). Temporal semantics of complex reasoning tasks. In: B.R. Gaines, M.A. Musen (Eds.), Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-based Systems workshop, KAW'96, Calgary: SRDG Publications, Department of Computer Science, University of Calgary, 1996, pp. 15/1-15/17. Extended version to appear in: Data and Knowledge Engineering, 1997
6. Cornelissen, F., Jonker, C.M. and Treur, J. (1997). Compositional Verification of Knowledge-based Systems: a Case Study for Diagnostic Reasoning. Technical Report, Vrije Universiteit Amsterdam, Department of Mathematics and Computer Science, 1997
7. Fensel, D. (1995). Assumptions and limitatons of a problem solving method: a case study. In: B.R. Gaines, M.A. Musen (Eds.), Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-based Systems workshop, KAW'95, Calgary: SRDG Publications, Department of Computer Science, University of Calgary, 1995.
8. Fensel, D., Benjamins, R. (1996) Assumptions in model-based diagnosis. In: B.R. Gaines, M.A. Musen (Eds.), Proceedings of the 10th Banff Knowledge Acquisition for Knowledge- based Systems workshop, KAW'96, Calgary: SRDG Publications, Department of Computer Science, University of Calgary, 1996, pp. 5/1-5/18.
9. Fensel, D., Schonegge, A., Groenboom, R., Wielinga, B. (1996). Specification and verification of knowledge-based systems. In: B.R. Gaines, M.A. Musen (Eds.), Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-based Systems workshop, KAW'96, Calgary: SRDG Publications, Department of Computer Science, University of Calgary, 1996, pp. 4/1-4/20.
10. Harmelen, F. van, Teije, A. ten (1997). Validation and verification of diagnostic systems based on their conceptual model. In: Proceedings of the Fourth European Symposium on the Validation and Verification of Knowledge-based Systems, EUROVAV'97,1997.
11. Harmelen, F. van and Fensel, D. (1995). Formal Methods in Knowledge Engineering. Knowledge Engineering Review, Volume 10, Number 4, 1995.
12. Jonker, C.M. and Treur, J. (1998). Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness. In: H. Langmaack, A. Pnueli, W.P. De Roever, A. Strassner, (eds.) Proceedings of the International Symposium on Compositionality, COMPOS’97, Springer Verlag, 1998, to appear.
13. Leemans, P., J. Treur, and M. Willems (1993). On the verification of knowledge-based reasoning modules, Report IR-346, Department of Mathematics & Computer Science, Artifical Intelligence Group, Vrije Universiteit Amsterdam, 1993.
14. Reif, W. (1995). The K3V Approach to Software Engineering. In: M. Broy, S. Janichen (eds.), Methods, Languages, and Tools for the Construction of Correct Software, Lecture Notes in Computer Science, vol. 1009, Springer Verlag, 1995.
15. Treur, J. (1993). Heuristic reasoning and relative incompleteness. International Journal of Approximate Reasoning, vol. 8, 1993, pp. 51-87.
16. Treur, J., and M. Willems (1994). A logical foundation for verification. In: Proceedings of the Eleventh European Conference on Artificial Intelligence, ECAI’94, A.G. Cohn (Ed.), John Wiley & Sons, Ltd., 1994, pp. 745-749.
17. Treur, J., and M. Willems (1995). Formal notions for verification of dynamics of knowledge-based systems. In: Proceedings of the Third European Symposium on the Validation and Verification of Knowledge-based Systems, EUROVAV'95, 1995, pp. 189-199.
18. Treur, J. and Th. Wetter (1993). Formal Specification of Complex Reasoning Systems. Ellis Horwood, 1993.