Results 171 to 180 of about 772 (194)
Some of the next articles are maybe not open access.
Bridges between Classical and Nonmonotonic Logic
Logic Journal of IGPL, 2003In this interesting paper, three methods of extending classical propositional logic, without changing the language or loss of monotonicity, are described. The first method consists in using additional background assumptions. The idea of the second one is to restrict valuations considered possible. The third method uses additional background rules.
openaire +2 more sources
Embedding a Default System into Nonmonotonic Logics
Fundamenta Informaticae, 1991An embedding of minimal sets for default theories into nonmonotonic and nonmonotonic ground logics based on S4 and S5 is presented.
openaire +2 more sources
Is There a Logic of Provability for Nonmonotonic Reasoning?
1996(KR-96)
GIANNI AMATI +1 more
openaire +1 more source
Fixed points in the propositional nonmonotonic logic
Artificial Intelligence, 1989An explicit description of fixed points for propositional theories in the nonmonotonic logic introduced by \textit{D. McDermott} and \textit{J. Doyle} [ibid. 13, 41-72 (1980; Zbl 0435.68074)] is given. Some preliminary results concerning the admissibility of a certain set of formulas are presented. From previously proved results, the convergence of the
openaire +2 more sources
A Nonmonotonic Logic of Belief
Fundamenta Informaticae, 1989A nonmonotonic logic of belief based on a combined monotonic logic of knowledge and belief is presented. Unlike previous nonmonotonic logics of belief, this logic contains an unless operator by means of which preference for beliefs and refutation of those beliefs can be expressed, thereby providing explicit representation of nonmonotonicity. A decision
openaire +1 more source
Logics for Nonmonotonic Reasoning
1997This chapter gives an overview of various existing formalizations of non-monotonic reasoning.1 To start with, it may be useful to derive from the previous chapter two basic motivations for using nonmonotonic forms of reasoning. The first is common to all domains of common-sense reasoning.
openaire +1 more source
Tableaux for Nonmonotonic Logics
1999In the last 15 years there has been a huge amount of research on logical formalization of commonsense reasoning. One of the major difficulties against the use of standard logics for this purpose is that commonsense reasoning requires the capability of dealing with information which is not complete and is subject to change.
openaire +1 more source