Results 161 to 170 of about 719,711 (199)
Some of the next articles are maybe not open access.
Semantical considerations on nonmonotonic logic
Artificial Intelligence, 1985This paper concerns the problem of reconstruction, which may be formulated as follows. Given languages \({\mathcal L}\) and \({\mathcal M}\), and given a set A of conditions expressed in \({\mathcal M}\), find a theory Th in \({\mathcal L}\) which satisfies A. The relation R of the solution of the problem has not, in general, the so called monotonicity
openaire +3 more sources
A computationally tractable nonmonotonic logic
IEEE Transactions on Knowledge and Data Engineering, 1994Nonmonotonic 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
Embedding Modal Nonmonotonic Logics Into Default Logic
Studia Logica, 2003zbMATH Open Web Interface contents unavailable due to conflicting licenses.
exaly +3 more sources
Nonmonotonic default modal logics
Journal of the ACM, 1991Summary: 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 +2 more sources
Nonmonotonic reasoning and logic programming
Knowledge-Based Systems, 1990Inference methods in knowledge-based systems are presented which are used for inferencing from incomplete information or in systems that model actions, i.e. systems that describe a time-varying world. In such cases, one is faced with nonmonotonic types of derivation when new information can lead to a revision of some statements accepted earlier.
openaire +1 more source
Nonmonotonic propositional logic
Frontiers of Computer Science, 2021Wei Li, Yuefei Sui, Yuhui Wang
openaire +2 more sources
Default logic and specification of nonmonotonic reasoning
Journal of Experimental & Theoretical Artificial Intelligence, 2001In this paper constructions leading to the formation of belief sets by agents are studied. The focus is on the situation when possible belief sets are built incrementally in stages. An infinite sequence of theories that represents such a process is called a reasoning trace.
Joeri Engelfriet +3 more
openaire +3 more sources
Judgment aggregation in nonmonotonic logic
Synthese, 2017zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Nonmonotonic Logics – A Brief Overview
AI Communications, 1989In 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
Logical characterizations of nonmonotonic TMSs
1989Nonmonotonic truth maintenance systems (TMSs) have been widely used without a clear appreciation of their capabilities and limitations. This paper characterizes the logical inferences performed by a nonmonotonic TMS in terms of two formalisms of independent interest, namely logic programming with the stable set semantics and autoepistemic logic.
openaire +1 more source