Results 281 to 290 of about 150,993 (319)

Amalgamated logic programming and non-monotonic reasoning

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

Comparison of first order predicate logic, fuzzy logic and non-monotonic logic as knowledge representation methodology

Expert systems with applications, 2004
K. Yang, David L. Olson, Jaekyung Kim
semanticscholar   +1 more source

Why Non-Monotonic Logic is Inadequate to Represent Balancing Arguments

Artificial Intelligence and Law, 2003
Jan Sieckmann
semanticscholar   +1 more source

A Non-monotonic Description Logic of Typicality

2009
n this paper we propose a nonmonotonic extension ALC + Tmin of the Description Logic ALC for reasoning about prototypical properties and inheritance with exception. The logic ALC + Tmin is built upon a previously introduced (monotonic) logic ALC + T, that is obtained by adding a typicality operator T to ALC.
L. GIORDANO, GLIOZZI, Valentina, N. OLIVETTI, POZZATO, GIAN LUCA   +3 more
openaire   +1 more source

Combining Combinatorial Testing and Metamorphic Testing for Testing a Logic-Based Non-monotonic Reasoning System

International Conference on Software Testing, Verification and Validation Workshops, 2018
F. Wotawa
semanticscholar   +1 more source

Non‐Monotonic Logic

, 2006
M. Gelfond, Richard Watson
semanticscholar   +1 more source

A Logic for Context-Aware Non-monotonic Reasoning Agents

Mexican International Conference on Artificial Intelligence, 2014
A. Rakib, H. Haque
semanticscholar   +1 more source

A Non-monotone Logic for Reasoning about Action

2002
A 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   +1 more source

Theorems on Pre-fixed Points of Non-Monotonic Functions with Applications in Logic Programming and Formal Grammars

Workshop on Logic, Language, Information and Computation, 2014
Z. Ésik, P. Rondogiannis
semanticscholar   +1 more source

Non-monotonic reasoning rules for energy efficiency

Journal of Ambient Intelligence and Smart Environments, 2017
Claudio Tomazzoli, M. Cristani, Erisa Karafili, Francesco Olivieri   +3 more
semanticscholar   +1 more source