LP-1997-09: A Nonmonotonic Observation Logic

LP-1997-09: Voorbraak, Frans (1997) A Nonmonotonic Observation Logic. [Report]

[img] Text (Full Text)

Download (100kB)
[img] Text (Abstract)

Download (1kB)


A variant of Reiter's default logic is proposed as a logic for reasoning with (defeasible) observations. Traditionally, default rules are assumed to represent generic information and the facts are assumed to represent specific information about the situation, but in this paper, the specific information derives from defeasible observations represented by (normal free) default rules, and the facts represent (hard) background knowledge. Whenever the evidence underlying some observation is more refined than the evidence underlying another observation, this is modelled by means of a priority between the default rules representing the observations. We thus arrive at an interpretation of prioritized normal free default logic as an observation logic, and we propose a semantics for this observation logic. Finally, we discuss how the proposed observation logic relates to the multiple extension problem and the problem of sensor fusion.

Item Type: Report
Report Nr: LP-1997-09
Series Name: Logic, Philosophy and Linguistics (LP)
Year: 1997
Date Deposited: 12 Oct 2016 14:40
Last Modified: 12 Oct 2016 14:40
URI: https://eprints.illc.uva.nl/id/eprint/1259

Actions (login required)

View Item View Item