PP-2008-48: Inference and Update

PP-2008-48: Velázquez-Quesada, Fernando R. (2008) Inference and Update. [Report]

Text (Full Text)

Download (291kB) | Preview
[img] Text (Abstract)

Download (961B)


We look at two fundamental logical processes, often intertwined in planning and problem solving: inference and update. Inference is an internal process with which we uncover what is implicit in the information we already have. Update, on the other hand, is produced by external communication, usually in the form of announcements and in general in the form of observations, giving us information that might have been not available (even implicitly) before. Both processes have received attention from the logic community, usually separately. In this work, we develop a logical language that allows us to describe them together. We present syntax and semantics, as well as a complete axiom system. We also discuss similarities and differences with other approaches, and we mention some possible ways the work can be extended.

Item Type: Report
Report Nr: PP-2008-48
Series Name: Prepublication (PP) Series
Year: 2008
Uncontrolled Keywords: Inference; Update; Epistemic Logic; Dynamic Epistemic Logic
Depositing User: fvelazq1
Date Deposited: 12 Oct 2016 14:37
Last Modified: 12 Oct 2016 14:37
URI: https://eprints.illc.uva.nl/id/eprint/322

Actions (login required)

View Item View Item