Synthese 169 (2):283 - 300 (2009)
|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 not have been 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, semantics and a complete axiom system; we discuss similarities and differences with other approaches and mention how the work can be extended.|
|Keywords||No keywords specified (fix it)|
|Categories||No categories specified (fix it)|
|Through your library||Configure|
Similar books and articles
Jaap van Der Does, Willem Groeneveld & Frank Veltman (1997). An Update on ÂMightâ. Journal of Logic, Language and Information 6 (4):361-380.
Jaap van der Does, Willem Groeneveld & Frank Veltman (1997). An Update on “Might”. Journal of Logic, Language and Information 6 (4).
Robin Cooper, A Type Theoretic Approach to Information State Update in Issue Based Dialogue Management.
Alvaro Vadell & Yoav Shoham (1994). Deriving Properties of Belief Update From Theories of Action. Journal of Logic, Language and Information 3 (2).
Johan van Benthem, Jelle Gerbrandy & Barteld Kooi (2009). Dynamic Update with Probabilities. Studia Logica 93 (1).
Johan van Benthem (2003). Conditional Probability Meets Update Logic. Journal of Logic, Language and Information 12 (4):409-421.
Jan Van Eijck & Fer-Jan De Vries (1995). Reasoning About Update Logic. Journal of Philosophical Logic 24 (1):19 - 45.
Added to index2009-05-02
Total downloads9 ( #113,901 of 548,973 )
Recent downloads (6 months)1 ( #63,511 of 548,973 )
How can I increase my downloads?