Inference and update

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 draw new conclusions, uncovering 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...

متن کامل

Update by Means of Inference

Katsuno and Mendelzon have distinguished two abstract frameworks for reasoning about change: theory revision and theory update. Theory revision involves a change in knowledge or belief with respect to a static world. By contrast, theory update involves a change of knowledge or belief in a changing world. In this paper we are concerned with theory update. Winslett has shown that theory update sh...

متن کامل

Update-driven Inference in Deductive Databases

(Abstract of a one-hour tutorial) 1 Motivation When thinking of deductive databases, most people will probably associate this notion rather closely with problems of query processing: deductive database research is essentially concerned with formalization and implementation of information retrieval in terms of logical inference. This reaction-which seems to come quasi automatically-is probably d...

متن کامل

Update by Means of Inference Rulesteodor

Katsuno and Mendelzon have distinguished two abstract frameworks for reasoning about change: theory revision and theory update. Theory revision involves a change in knowledge or belief with respect to a static world. By contrast, theory update involves a change of knowledge or belief in a changing world. In this paper we are concerned with theory update. Winslett has shown that theory update sh...

متن کامل

Update by Means of Inference Rules

Katsuno and Mendelzon have distinguished two abstract frameworks for reasoning about change: theory revision and theory update. Theory revision involves a change in knowledge or belief with respect to a static world. By contrast, theory update involves a change of knowledge or belief in a changing world. In this paper we are concerned with theory update. Winslett has shown that theory update sh...

متن کامل

Inference and update

نویسندگان

چکیده

منابع مشابه