Results 151 to 160 of about 772 (194)

Three-valued nonmonotonic logic

[1993] Proceedings of the Twenty-Third International Symposium on Multiple-Valued Logic, 2002
The three-valued formulation of nonmonotonic logics is established. It is shown how to extend standard nonmonotonic logics to the three-valued case. It is also shown that a three-valued nonmonotonic logic called maximally ignorant (MI) logic can capture various major standard nonmonotonic logics as its special cases.
Z. Lin
openaire   +2 more sources

Some of the next articles are maybe not open access.

Related searches:

Real Logic is Nonmonotonic

Minds and Machines, 2001
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Nonmonotonic Logic II

Journal of the ACM, 1982
Tradmonal logics suffer from the "monotomclty problem"' new axioms never mvahdate old theorems One way to get nd of this problem ts to extend traditional modal logic in the following way The operator M (usually read "possible") is extended so that Mp is true whenever p is consistent with the theory Then any theorem of this form may be mvahdated if ~p ...
openaire   +2 more sources

Nonmonotonicity in the Framework of Parametric Logic

Studia Logica, 2018
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Nonmonotonic logic

, 2000
Sudkamp, Thomas
openaire   +2 more sources

Logical foundations of nonmonotonic reasoning

Artificial Intelligence Review, 1991
In this paper we shall review the main approaches to nonmono- tonic reasoning which we classify from the perspective of their underlying logical settings as classical, intuitionistic, three-valuedlpartial models, and conditional. We shall be placing special emphasis on some of the promin- ent approaches.
Nadim Obeid, Raymond Turner
openaire   +1 more source

Nonmonotonic default modal logics

Journal of the ACM, 1991
Summary: Conclusions by failure to prove the opposite are frequently used in reasoning about an incompletely specified world. This naturally leads to logics for default reasoning that, in general, are nonmonotonic; that is, introducing new facts an invalidate previously made conclusions.
Michael L. Tiomkin, Michael Kaminski
openaire   +1 more source

Nonmonotonic Logics – A Brief Overview

AI Communications, 1989
In this paper we describe the most important approaches to formalize nonmonotonic reasoning, in particular default reasoning: autoepistemic logic, default logic, circumscription, Delgrandes's conditional approach, and an approach based on preferred subtheories of the premises.
openaire   +1 more source

A computationally tractable nonmonotonic logic

IEEE Transactions on Knowledge and Data Engineering, 1994
Nonmonotonic logic is intended to apply specifically to situations where the initial information is incomplete. Using nonmonotonic reasoning procedures we shall be able to jump to conclusions, but withdraw them later when we gain additional information. A number of nonmonotonic logics have been introduced and widely discussed.
Thomas J. Weigert, Jeffrey J. P. Tsai
openaire   +1 more source

Nonmonotonic propositional logic

Frontiers of Computer Science, 2021
Wei Li, Yuefei Sui, Yuhui Wang
openaire   +1 more source