A Probabilistic Interpretation for Lazy Nonmonotonic Reasoning

スポンサーリンク

概要

• 論文の詳細を見る

• This paper presents a formal relationship for probability theory and a class of nonmonotonic reasoning which we call lazy nonnmonotonic reasoning. In lazy nonmonotonic reasoning, nonmonotonicity emerges only when new added knowledge is contradictory to the previous belief. In this paper, we consider nonmonotonic reasoning in terms of consequence relation. A consequence relation is a binary relation over formulae which expresses that a formula is derivable from another formula under inference rules of a considered system. A consequence relation which has lazy nonmonotonicity is called a rational consequence relation studied by Lehmann et al. [8] .We provide a probabilistic semantics which characterizes a rational consequence relation exactly. Then, we show a relationship between propositional circumscription and consequence relation, and apply this semantics to a consequence relation defined by propositional circumscription which has lazy nonmonotonicity.

• 一般社団法人情報処理学会の論文
• 1992-03-31

著者

• Satoh Ken

  Institute for New Generation Computer Technology

関連論文

• Computing Soft Constrains by Hierarchical Constraint logic Programming
• A Probabilistic Interpretation for Lazy Nonmonotonic Reasoning
• Computing Soft Constraints by Hierarchical Constraint Logic Programming

スポンサーリンク