Inproceedings613: Unterschied zwischen den Versionen
K (Added from ontology) |
K (Added from ontology) |
||
| Zeile 1: | Zeile 1: | ||
| + | {{Publikation Author | ||
| + | |Rank=1 | ||
| + | |Author=Dieter Fensel | ||
| + | }} | ||
{{Publikation Author | {{Publikation Author | ||
|Rank=2 | |Rank=2 | ||
|Author=Rix Groenboom | |Author=Rix Groenboom | ||
| − | |||
| − | |||
| − | |||
| − | |||
}} | }} | ||
{{Inproceedings | {{Inproceedings | ||
| Zeile 17: | Zeile 17: | ||
|Abstract=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). | |Abstract=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). | ||
|VG Wort-Seiten= | |VG Wort-Seiten= | ||
| − | |Download= | + | |Download=1996_613_Fensel_MLPM_ Defing a _1.ps.gz |
| − | |||
|Projekt= | |Projekt= | ||
|Forschungsgruppe= | |Forschungsgruppe= | ||
}} | }} | ||
Version vom 15. August 2009, 11:03 Uhr
MLPM: Defing a Semantics and Axiomatization for Specifying the Reasoning Process of Knowledge-based Systems
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
BibTeX
Kurzfassung
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