Based on a set of simple logical equivalences we define a rewriting procedure that computes extensions in the propositional fragment of the logic of OR introduced by Lakemeyer and Levesque. This logic is capable of representing default logic with the advantage of itself being monotonic, with a clearly defined semantics and a separation of the object level and the meta level. The procedure prepares the ground for efficient implementations as it clearly separates the SAT-solving part of the reasoning problem from the modal aspects that are specifically caused by defaults. We sketch an extension of the logic to cover confidence levels and show that the resulting system can accommodate ordered default theories with a prescriptive interpretation of preference between defaults.

URL: http://folk.uio.no/elian/kr08.pdf

Subjects: 3.3 Nonmonotonic Reasoning; 11. Knowledge Representation

Submitted: Jun 16, 2008

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.