Towards Default Reasoning through MAX-SAT

2002 ◽  
pp. 52-62 ◽  
Author(s):  
Berilhes Borges Garcia ◽  
Samuel M. Brasil
Keyword(s):  
Default Reasoning ◽  
Max Sat

scholarly journals More on Modal Aspects of Default Logic1

1992 ◽  
Vol 17 (1-2) ◽  
pp. 99-116
Author(s):  
V. Wiktor Marek ◽  
Miroslaw Truszczynski
Keyword(s):  
Modal Logic ◽  
Default Logic ◽  
Nonmonotonic Logic ◽  
Default Reasoning ◽  
Default Theory ◽  
Autoepistemic Logic ◽  
The Relationship ◽  
Natural Classes ◽  
Weak Extension

Investigations of default logic have been so far mostly concerned with the notion of an extension of a default theory. It turns out, however, that default logic is much richer. Namely, there are other natural classes of objects that might be associated with default reasoning. We study two such classes of objects with emphasis on their relations with modal nonmonotonic formalisms. First, we introduce the concept of a weak extension and study its properties. It has long been suspected that there are close connections between default and autoepistemic logics. The notion of weak extension allows us to precisely describe the relationship between these two formalisms. In particular, we show that default logic with weak extensions is essentially equivalent to autoepistemic logic, that is, nonmonotonic logic KD45. In the paper we also study the notion of a set of formulas closed under a default theory. These objects are shown to correspond to stable theories and to modal logic S5. In particular, we show that skeptical reasoning with sets closed under default theories is closely related with provability in S5. As an application of our results we determine the complexity of reasoning with weak extensions and sets closed under default theories.

Embracing causality in default reasoning

1988 ◽  
Vol 35 (2) ◽  
pp. 259-271 ◽  
Author(s):  
Judea Pearl
Keyword(s):  
Default Reasoning

The Role of Nonmonotonic Representations in Requirements Engineering

1998 ◽  
Vol 08 (03) ◽  
pp. 385-399 ◽  
Author(s):  
Grigoris Antoniou
Keyword(s):  
Software Engineering ◽  
Knowledge Representation ◽  
Requirements Engineering ◽  
Nonmonotonic Reasoning ◽  
Default Reasoning ◽  
Requirements Prioritization ◽  
Evolving System ◽  
System Requirements

This paper discusses the significance of nonmonotonic reasoning, a method from the knowledge representation area, to mainstream software engineering. In particular, we discuss why the use of defaults in specifications is an adequate way of addressing some of the most important problems in requirements engineering, such as: The problem of identifying and dealing with inconsistencies; evolving system requirements; requirements prioritization; and the quality of specifications with respect to naturalness and compactness. We argue that these problems need to be addressed in a principled, formal way, and that default reasoning provides adequate mechanisms to deal with them.

scholarly journals What Should Default Reasoning be, by Default?

1997 ◽  
Vol 13 (2) ◽  
pp. 165-187 ◽  
Author(s):  
Francis Jeffry Pelletier ◽  
Renee Elio
Keyword(s):  
Default Reasoning

scholarly journals Improved exact algorithms for mildly sparse instances of Max SAT

2017 ◽  
Vol 697 ◽  
pp. 58-68
Author(s):  
Takayuki Sakai ◽  
Kazuhisa Seto ◽  
Suguru Tamaki ◽  
Junichi Teruyama
Keyword(s):  
Exact Algorithms ◽  
Max Sat

scholarly journals The Use of Max-Sat for Optimal Choice of Automated Theory Repairs

2020 ◽  
pp. 49-63
Author(s):  
Marius Urbonas ◽  
Alan Bundy ◽  
Juan Casanova ◽  
Xue Li
Keyword(s):  
Optimal Choice ◽  
Max Sat
Sign in / Sign up

Export Citation Format

Share Document