Results 1 to 10 of about 150,993 (319)
Logic of Non-monotonic Interactive Proofs [PDF]
, 2012 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 +5 more sources
Complexity of non-monotonic logics [PDF]
, 2013 Over the past few decades, non-monotonic reasoning has developed to be one of the most important topics in computational logic and artificial intelligence. Different ways to introduce non-monotonic aspects to classical logic have been considered, e.g., extension with default rules, extension with modal belief operators, or modification of the semantics.
Michael E. Thomas, Heribert Vollmer
core +7 more sources
Learning non-monotonic logic programs: Learning exceptions [PDF]
European Conference on Machine Learning, 1995 Foundation for Research and Technology - Hellas (FORTH ...
Yannis Dimopoulos, Antonis Kakas
semanticscholar +6 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 +2 more sources
A logic of non-monotonic interactions
Journal of Applied Logic, 2012 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
Giovanni Boniolo +3 more
openalex +9 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
openalex +5 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 +4 more sources
Induction of Non-Monotonic Logic Programs to Explain Boosted Tree Models Using LIME [PDF]
AAAI Conference on Artificial Intelligence, 2018 We present a heuristic based algorithm to induce nonmonotonic logic programs that will explain the behavior of XGBoost trained classifiers. We use the technique based on the LIME approach to locally select the most important features contributing to the ...
Farhad Shakerin, Gopal Gupta
openalex +3 more sources
Redundancy in logic III: Non-monotonic reasoning [PDF]
Artificial Intelligence, 2008 Results about the redundancy of circumscriptive and default theories are presented. In particular, the complexity of establishing whether a given theory is redundant is establihsed.
Paolo Liberatore
openalex +5 more sources
Reasoning Biases, Non‐Monotonic Logics and Belief Revision [PDF]
Theoria, 2016 A range of formal models of human reasoning have been proposed in a number of fields such as philosophy, logic, artificial intelligence, computer science, psychology, cognitive science, etc.: various logics (epistemic logics; non‐monotonic logics), probabilistic systems (most notably, but not exclusively, Bayesian probability theory), belief revision ...
Catarina Dutilh Novaes +1 more
openalex +2 more sources