Computing default logic extensions: An implementation

Conference · Mon Dec 30 23:00:00 EST 1996

OSTI ID:430857

Courtney, A P; Foo, N Y ^[1]; Antoniou, G ^[2]

---

1. Univ. of Sydney (Australia)
2. Griffith Univ. (Australia)

Default logic is a useful formalism for reasoning with incomplete information, its intuitive characteristics making it particularly suited for applications. Exten is a system currently capable of computing first-order Reiter, Justified and Constrained default extensions. It is part of a project to create a full default logic workbench, with future work involving query evaluation, further support for default variants and integration with belief revision. As such, it has been implemented in an object-oriented manner, and is designed to facilitate experimentation. The interface is based around a small language, giving the user flexibility in editing default theories and changing various parameters (such as compute next n extensions or carry out {open_quote}success{close_quote} checks every m steps).

• OSTI ID: 430857
• Report Number(s): CONF-960876--
• Country of Publication: United States
• Language: English

Related Subjects

99 GENERAL AND MISCELLANEOUS
ALGORITHMS
ARTIFICIAL INTELLIGENCE
DECISION MAKING
MATHEMATICAL LOGIC