DeepAI AI Chat
Log In Sign Up

Nonmonotonic Reasoning, Preferential Models and Cumulative Logics

02/18/2002
by   Sarit Kraus, et al.
0

Many systems that exhibit nonmonotonic behavior have been described and studied already in the literature. The general notion of nonmonotonic reasoning, though, has almost always been described only negatively, by the property it does not enjoy, i.e. monotonicity. We study here general patterns of nonmonotonic reasoning and try to isolate properties that could help us map the field of nonmonotonic reasoning by reference to positive properties. We concentrate on a number of families of nonmonotonic consequence relations, defined in the style of Gentzen. Both proof-theoretic and semantic points of view are developed in parallel. The former point of view was pioneered by D. Gabbay, while the latter has been advocated by Y. Shoham in. Five such families are defined and characterized by representation theorems, relating the two points of view. One of the families of interest, that of preferential relations, turns out to have been studied by E. Adams. The "preferential" models proposed here are a much stronger tool than Adams' probabilistic semantics. The basic language used in this paper is that of propositional logic. The extension of our results to first order predicate calculi and the study of the computational complexity of the decision problems described in this paper will be treated in another paper.

READ FULL TEXT

page 1

page 2

page 3

page 4

02/15/2002

Nonmonotonic Logics and Semantics

Tarski gave a general semantics for deductive reasoning: a formula a may...
03/05/2018

Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction

The aim of this paper is to introduce a new framework for defining abduc...
05/31/2002

Connectives in Quantum and other Cumulative Logics

Cumulative logics are studied in an abstract setting, i.e., without conn...
04/16/2019

Theoretical Foundations of Defeasible Description Logics

We extend description logics (DLs) with non-monotonic reasoning features...
08/11/2018

A Parameterized Complexity View on Description Logic Reasoning

Description logics are knowledge representation languages that have been...
06/16/2020

Decomposable Families of Itemsets

The problem of selecting a small, yet high quality subset of patterns fr...
03/01/2002

Deductive Nonmonotonic Inference Operations: Antitonic Representations

We provide a characterization of those nonmonotonic inference operations...