Situated Conditional Reasoning

要約

タイトル：Situated Conditional Reasoning（状況に基づいた条件推論）

要約：

– 条件はモデリングのために有用だが、情報を正確に捕らえるには十分に表現的ではない。
– この論文では、状況に基づいた条件の形式について主張する。
– これらの条件は古典的な条件よりも表現力があり、いくつかのアプリケーションドメインで一般的に使用でき、期待値と反事実を区別することができる。
– 形式的には、Kraus、Lehmann、Magidorの条件設定を一般化することが示されている。
– 状況に基づいた条件は合理性の原則のセットで記述することができる。
– 次に、これらの条件の直感的な意味論を提案し、意味構成が原則に基づいていることを示す表現結果を示す。
– 意味論を確立した後、状況に基づいた条件知識ベースの支持として最小閉包という形式の帰結を定義する。
– これは命題条件知識ベースの合理的閉包として知られる帰結に似ており、影響を受けている。
– 最後に、最小閉包の計算を命題的な帰結と充足可能性のチェックの一連の手順に簡約できることを示している。これは合理的結論にも当てはまるが、最小閉包にも適用できることは驚くべきことである。

要約(オリジナル)

Conditionals are useful for modelling, but are not always sufficiently expressive for capturing information accurately. In this paper we make the case for a form of conditional that is situation-based. These conditionals are more expressive than classical conditionals, are general enough to be used in several application domains, and are able to distinguish, for example, between expectations and counterfactuals. Formally, they are shown to generalise the conditional setting in the style of Kraus, Lehmann, and Magidor. We show that situation-based conditionals can be described in terms of a set of rationality postulates. We then propose an intuitive semantics for these conditionals, and present a representation result which shows that our semantic construction corresponds exactly to the description in terms of postulates. With the semantics in place, we proceed to define a form of entailment for situated conditional knowledge bases, which we refer to as minimal closure. It is reminiscent of and, indeed, inspired by, the version of entailment for propositional conditional knowledge bases known as rational closure. Finally, we proceed to show that it is possible to reduce the computation of minimal closure to a series of propositional entailment and satisfiability checks. While this is also the case for rational closure, it is somewhat surprising that the result carries over to minimal closure.

arxiv情報

提供元, 利用サービス

arxiv.jp, OpenAI