Home |  ENGLISH |  Kontakt |  Impressum |  Datenschutz |  Anmelden |  KIT


Aus Aifbportal

Wechseln zu: Navigation, Suche

MLPM: Defing a Semantics and Axiomatization for Specifying the Reasoning Process of Knowledge-based Systems

Published: 1996 August

Buchtitel: Proceedings of the 12th European Conference on Artificial Intelligence (ECAI-96), Budapest, August 12-16, 1996

Referierte Veröffentlichung


We investigate the formal specification of the dynamic reasoning process of knowledge-based systems. The main contributions of the paper are: defining a formal framework for describing the dynamic reasoning behaviour of knowledge-based systems which unifies existing approaches; defining a semantics for the specification of the dynamic reasoning behaviour of a knowledge-based system within the states as algebra setting that overcomes several shortcomings of the existing approaches; and providing for the first time an axiomatization and proof theory of specification languages for knowledge-based systems. We achieve this by developing the logical language MLPM (Modal Logic of Predicate Modification).

Download: Media:1996_613_Fensel_MLPM_Defing_a__1.ps.gz