Results 161 to 170 of about 52,814 (199)
Some of the next articles are maybe not open access.
Intuitionistic basis for non-monotonic logic
2005McDermott and Doyle [4] suggested a system, denoted by ⊢, of non-monotonic logic. This notion was intended to formalise non-monotonic reasoning as involved in real situations and in artificial intelligence. McDermott and Doyle also list in their paper several difficulties and problems in their approach.
Dov M. Gabbay, Dov M. Gabbay
openaire +2 more sources
Non-monotonic Logic and the Compatibility of Science and Religion
Logica Universalis, 2019The article aims to show how the acceptance of non-monotonic logic enables arguments to be held between science and religion in a way that does not exclude either of these two spheres. The starting point of the analyses is the idea of the 13th century Danish philosopher, Boethius of Dacia, who states that it is both acceptable that: (1) a natural ...
openaire +2 more sources
Interpretations of open default theories in non-monotonic logics
Annals of Mathematics and Artificial Intelligence, 1993zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +4 more sources
Amalgamated logic programming and non-monotonic reasoning [PDF]
, 1991 We study two methods for non-monotonic reasoning within amalgamated logic programming. One approach extends Bowen and Kowalski's consistency checking method with an epistemic interpretation for consistency. The other is to simulate Levesque's logic of All I Know(OL) for realizing non-monotonic provability.
openaire +1 more source
Prolegomena to logic programming for non-monotonic reasoning
1997The present prolegomena consist, as all indeed do, in a critical discussion serving to introduce and interpret the extended works that follow in this book. As a result, the book is not a mere collection of excellent papers in their own specialty, but provides also the basics of the motivation, background history, important themes, bridges to other ...
Jürgen Dix +2 more
openaire +2 more sources
Non-Monotonic Logics: A Valuations-Based Approach
1992Abstract We explore the lattice of valuations introduced by E. Sandewall as a means to capture non-monotonic logics. We investigate a systematic correspondence linking logics to inference relations over valuations. We prove two theorems establishing that both monotonicity and non-monotonicity are preserved by that correspondence.
Philippe Besnard, Robert E. Mercer
openaire +2 more sources
A Resilient Behavior Approach Based on Non-monotonic Logic
2019In this article we present an approach for representing a resilient system which has the capability of absorb perturbations and overcome a disaster. A framework called KOSA is depicted, which is a world that contains a set of knowledge describing objectives, states and actions, linked by a set of rules. This link is expressed by a default theory. First,
Vilchis Medina, José-Luis +3 more
openaire +3 more sources
A Non-monotone Logic for Reasoning about Action
2002A logic for reasoning about action is presented. The logic is based on the idea that explicit substitutions can be seen as atomic formulae describing basic change of state of a system. The logic is non-monotone, i.e., it does not admit weakening in its presentation as a fragment of non-commutative linear logic.
openaire +2 more sources
The logic of only knowing as a unified framework for non-monotonic reasoning
Fundamenta Informaticae, 1993Summary: We propose to use the logic of only knowing (OL) by Levesque as a unified framework that encompasses various non-monotonic formalisms and logic programming. OL is a modal logic which can be used to formalize an agent's introspective reasoning and to answer epistemic queries to databases.
openaire +4 more sources
Non-Monotonic Extensions of Logic Programming
1997Louis Moniz Pereira +2 more
openaire +2 more sources