Results 1 - 10 of 1,554

Nonmonotonic Reasoning, Preferential Models and Cumulative Logics

by Sarit Kraus, Daniel Lehmann, Menachem Magidor , 1990
"... 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 ..."
Abstract - Cited by 626 (14 self) - Add to MetaCart
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

Nonmonotonic Reasoning

by V. W. Marek, A. Nerode - In Proc , 1993
"... Classical logic is the study of ”safe ” formal reasoning. Western Philosophers de-veloped classical logic over a period of thirty-three centuries after its introduction in the form of syllogistic by Aristotle [1] in the third century B. C. Beginning in the nineteenth century with De Morgan [2] and B ..."
Abstract - Cited by 5 (0 self) - Add to MetaCart
Classical logic is the study of ”safe ” formal reasoning. Western Philosophers de-veloped classical logic over a period of thirty-three centuries after its introduction in the form of syllogistic by Aristotle [1] in the third century B. C. Beginning in the nineteenth century with De Morgan [2

Two Paradigms of Nonmonotonic Reasoning

by Alexander Bochman
"... We provide a conceptual description of the field of nonmonotonic reasoning as comprising two essentially different theories, preferential and explanatory nonmonotonic reasoning. The relationship ..."
Abstract - Add to MetaCart
We provide a conceptual description of the field of nonmonotonic reasoning as comprising two essentially different theories, preferential and explanatory nonmonotonic reasoning. The relationship

Extending Prolog with Nonmonotonic Reasoning

by Weidong Chen - J. Logic Programming , 1995
"... Nonmonotonic reasoning has been developed to capture common sense inferences. This paper considers nonmonotonic reasoning in logic programs with negation -- its implementation using Prolog and its integration with Prolog execution. Even within logic programming frameworks, a variety of inferencin ..."
Abstract - Cited by 6 (0 self) - Add to MetaCart
Nonmonotonic reasoning has been developed to capture common sense inferences. This paper considers nonmonotonic reasoning in logic programs with negation -- its implementation using Prolog and its integration with Prolog execution. Even within logic programming frameworks, a variety

Nonmonotonic reasoning in probabilistics

by Gabriele Kern-Isberner - ECAI 98 , 1998
"... In probabilistics, reasoning atoptimum entropy (ME-reasoning) has proved to be a most sound and consistent method for inference. This paper investigates its properties in the framework of nonmonotonic reasoning. In particular, we show that ME-reasoning satis es cumulativity and loop, and we focus on ..."
Abstract - Cited by 1 (1 self) - Add to MetaCart
In probabilistics, reasoning atoptimum entropy (ME-reasoning) has proved to be a most sound and consistent method for inference. This paper investigates its properties in the framework of nonmonotonic reasoning. In particular, we show that ME-reasoning satis es cumulativity and loop, and we focus

Experimenting with Nonmonotonic Reasoning

by Paweł Cholewinski , V. Wiktor Marek, Artur Mikitiuk, Mirosław Truszczynski - IN PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING , 1995
"... In this paper, we describe a system, called TheoryBase, whose goal is to facilitate experimental studies of nonmonotonic reasoning systems. TheoryBase generates test default theories and logic programs. It has an identification system for generated theories, which allows us to reconstruct a logic pr ..."
Abstract - Cited by 36 (6 self) - Add to MetaCart
In this paper, we describe a system, called TheoryBase, whose goal is to facilitate experimental studies of nonmonotonic reasoning systems. TheoryBase generates test default theories and logic programs. It has an identification system for generated theories, which allows us to reconstruct a logic

The Computational Value of Nonmonotonic Reasoning

by Matthew L. Ginsberg - In Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning , 1991
"... A substantial portion of the formal work in artificial intelligence over the past decade has involved the formalization of nonmonotonic reasoning. Unfortunately, although much of the original motivation for this work argued that it was necessary for intelligent systems to jump to default conclusions ..."
Abstract - Cited by 19 (3 self) - Add to MetaCart
A substantial portion of the formal work in artificial intelligence over the past decade has involved the formalization of nonmonotonic reasoning. Unfortunately, although much of the original motivation for this work argued that it was necessary for intelligent systems to jump to default

Nonmonotonic Reasoning as Prioritized Argumentation

by J. You, X. Wang, L. Y. Yuan - IEEE Transactions on Knowledge and Data Engineering , 2001
"... This paper proposes a formalism for nonmonotonic reasoning based on prioritized argumentation. We argue that nonmonotonic reasoning in general can be viewed as selecting monotonic inferences by a simple notion of priority among inference rules. More importantly, these types of constrained inferen ..."
Abstract - Cited by 9 (0 self) - Add to MetaCart
This paper proposes a formalism for nonmonotonic reasoning based on prioritized argumentation. We argue that nonmonotonic reasoning in general can be viewed as selecting monotonic inferences by a simple notion of priority among inference rules. More importantly, these types of constrained

Specification of Nonmonotonic Reasoning

by Joeri Engelfriet, Jan Treur - JOURNAL OF APPLIED NON-CLASSICAL LOGICS
"... Two levels of description of nonmonotonic reasoning are distinguished. For these levels semantical formalizations are given. The first level is defined semantically by the notion of belief state frame, the second level by the notion of reasoning frame. We introduce two specification languages to d ..."
Abstract - Cited by 13 (9 self) - Add to MetaCart
Two levels of description of nonmonotonic reasoning are distinguished. For these levels semantical formalizations are given. The first level is defined semantically by the notion of belief state frame, the second level by the notion of reasoning frame. We introduce two specification languages

Nonmonotonic Reasoning in FLORA-2

by Michael Kifer - Logic Programming and Nonmonotonic Reasoning , 2005
"... Abstract. FLORA-2 is an advanced knowledge representation system that integrates F-logic, HiLog, and Transaction Logic. In this paper we give an overview of the theoretical foundations of the system and of some of the aspects of nonmonotonic reasoning in FLORA-2. These include scoped default negatio ..."
Abstract - Cited by 10 (1 self) - Add to MetaCart
Abstract. FLORA-2 is an advanced knowledge representation system that integrates F-logic, HiLog, and Transaction Logic. In this paper we give an overview of the theoretical foundations of the system and of some of the aspects of nonmonotonic reasoning in FLORA-2. These include scoped default
Results 1 - 10 of 1,554