Results 1 to 10 of about 52,814 (199)
Logic of Non-monotonic Interactive Proofs [PDF]
, 2013 We propose a monotonic logic of internalised non-monotonic or instant interactive proofs (LiiP) and reconstruct an existing monotonic logic of internalised monotonic or persistent interactive proofs (LiP) as a minimal conservative extension of LiiP.
Simon Kramer
core +6 more sources
An Implementation of a Non-monotonic Logic in an Embedded Computer for a Motor-glider [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 In this article we present an implementation of non-monotonic reasoning in an embedded system. As a part of an autonomous motor-glider, it simulates piloting decisions of an airplane.
José Luis Vilchis Medina +3 more
doaj +6 more sources
Local Logics, Non-Monotonicity and Defeasible Argumentation [PDF]
Journal of Logic, Language and Information, 2004 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bodanza, Gustavo Adrian +1 more
openaire +3 more sources
A logic of non-monotonic interactions
Journal of Applied Logic, 2013 Article history: In this paper, which is part of the Zsyntax project outlined in Boniolo et al. (2010) (2) ,w e provide a proof-theoretical setting for the study of context-sensitive interactions by means of a non-monotonic conjunction operator. The resulting system is a non-associative variant of MLLpol (the multiplicative polarised fragment of Linear
G. Boniolo +3 more
openaire +9 more sources
A survey of complexity results for non-monotonic logics
The Journal of Logic Programming, 1993 Summary: This paper surveys the main results appearing in the literature on the computational complexity of non-monotonic inference tasks. We not only give results about the tractability/ intractability of the individual problems but we also analyze sources of complexity and explain intuitively the nature of easy/hard cases.
CADOLI, Marco, SCHAERF, Marco
openaire +5 more sources
Executable Temporal Logic for Non-monotonic Reasoning
Journal of Symbolic Computation, 1996 Nonmonotonic reasoning is the main topic of the paper. The reasoning is viewed as a (kind of) process. An approach to specifying, reasoning about, and executing processes is applied in this paper to nonmonotonic reasoning. The formalism of temporal logic is used to specify and verify processes in general.
Joeri Engelfriet, Jan Treur
openaire +4 more sources
Induction of Non-monotonic Logic Programs To Explain Statistical Learning Models [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We present a fast and scalable algorithm to induce non-monotonic logic programs from statistical learning models. We reduce the problem of search for best clauses to instances of the High-Utility Itemset Mining (HUIM) problem.
Farhad Shakerin
doaj +3 more sources
Non-monotonic reasoning with logic programming
The Journal of Logic Programming, 1993 Summary: Our purpose is to exhibit a modular systematic method of representing non-monotonic reasoning problems with the Well Founded Semantics WFS of extended logic programs augmented with eXplicit negation (WFSX), augmented by its Contradiction Removal Semantics (CRSX) when needed.
José Júlio Alferes +2 more
openaire +3 more sources
A Non-Monotonic Description Logics Model for Merging Terminologies
INTELIGENCIA ARTIFICIAL, 2007 In order to deal with the Ontology Change problem and considering an environment where Description Logics (DLs) are used to describe ontologies, the question of how to integrate distributed ontologies appears to be in touch with Belief Revision since DL terminologies may define same concept descriptions of a not necessarily same world model. A possible
Moguillansky, Martin Oscar +1 more
openaire +4 more sources
Exploring the Definition of Non-Monotonicity – Logical and Psychological Considerations
Bulletin of the Section of LogicWhen humans reason, they are able to revise their beliefs in light of new information and abandon obsolete conclusions. Logicians argued, that in some cases, such reasonings appear to be non-monotonic.
Piotr Łukowski, Konrad Rudnicki
doaj +6 more sources