PP-2008-48: Velázquez-Quesada, Fernando R. (2008) Inference and Update. [Report]
Preview |
Text (Full Text)
PP-2008-48.text.pdf Download (291kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
PP-2008-48.abstract.txt Download (961B) |
Abstract
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 |
