An Algebraic Approach for Action Based Default Reasoning

by   Pablo F. Castro, et al.
Universidad Nacional de Cordoba
Universidad Nacional de Río Cuarto

Often, we assume that an action is permitted simply because it is not explicitly forbidden; or, similarly, that an action is forbidden simply because it is not explicitly permitted. This kind of assumptions appear, e.g., in autonomous computing systems where decisions must be taken in the presence of an incomplete set of norms regulating a particular scenario. Combining default and deontic reasoning over actions allows us to formally reason about such assumptions. With this in mind, we propose a logical formalism for default reasoning over a deontic action logic. The novelty of our approach is twofold. First, our formalism for default reasoning deals with actions and action operators, and it is based on the deontic action logic originally proposed by Segerberg. Second, inspired by Segerberg's approach, we use tools coming from the theory of Boolean Algebra. These tools allow us to extend Segerberg's algebraic completeness result to the setting of Default Logics.


page 1

page 2

page 3

page 4


Limitations of Skeptical Default Reasoning

Poole has shown that nonmonotonic logics do not handle the lottery parad...

Complexity of Prioritized Default Logics

In default reasoning, usually not all possible ways of resolving conflic...

Reiter's Default Logic Is a Logic of Autoepistemic Reasoning And a Good One, Too

A fact apparently not observed earlier in the literature of nonmonotonic...

Exceptional Subclasses in Qualitative Probability

System Z+ [Goldszmidt and Pearl, 1991, Goldszmidt, 1992] is a formalism ...

Uniform semantic treatment of default and autoepistemic logics

We revisit the issue of connections between two leading formalisms in no...

A logic-algebraic tool for reasoning with Knowledge-Based Systems

A detailed exposition of foundations of a logic-algebraic model for reas...

Conditioning on Disjunctive Knowledge: Defaults and Probabilities

Many writers have observed that default logics appear to contain the "lo...

Please sign up or login with your details

Forgot password? Click here to reset