A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description)

Authors:
Christoph Beierle;Gabriele Kern-Isberner;Nicole Koch
Affiliations:
Dept. of Computer Science, FernUniversität in Hagen, Hagen, Germany 58084;Dept. of Computer Science, TU Dortmund, Dortmund, Germany 44221;Dept. of Computer Science, FernUniversität in Hagen, Hagen, Germany 58084
Venue:
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Year:
2008

Citing 3
Cited 1

Qualitative probabilities for default reasoning, belief revision, and causal modeling

Artificial Intelligence
A Thorough Axiomatization of a Principle of Conditional Preservation in Belief Revision

Annals of Mathematics and Artificial Intelligence
Semantic essence of AsmL

Theoretical Computer Science - Formal methods for components and objects

A Verified AsmL Implementation of Belief Revision

ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z

Quantified Score

Hi-index	0.00

Visualization

Abstract

An overview of a system modelling an intelligent agent being able to reason by using default rules is given. The semantics of the qualitative default rules is defined via ordinal conditional functions which model the epistemic state of the agent, providing her with the basic equipment to perform different knowledge management and belief revision tasks. Using the concept of Abstract State Machines, the fully operational system was developed in AsmL, allowing for a high-level implementation that minimizes the gap between the mathematical specification of the underlying concepts and the executable code in the implemented system.