Results 171 to 180 of about 719,711 (199)
Some of the next articles are maybe not open access.
Applications of nonmonotonic logic to diagnosis
The Knowledge Engineering Review, 1989Abstract This paper attempts to assess the practical utility of nonmonotonic logic in diagnostic problem solving. We begin with a brief review of the main assumptions which motivate work in this area, and discuss two logic-based approaches which involve nonmonotonic arguments.
openaire +1 more source
Three-valued nonmonotonic logic
[1993] Proceedings of the Twenty-Third International Symposium on Multiple-Valued Logic, 2002The 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.
openaire +2 more sources
Possibilistic logic: From nonmonotonicity to logic programming
2005Links between preferential semantics of possibilistic logic, semantics of prioritized circumscription, and one of the semantics used in logic programming, namely the perfect model semantics of stratified logic programs, are presented.
Salem Benferhat +2 more
openaire +2 more sources
Modal nonmonotonic logics demodalized
Annals of Mathematics and Artificial Intelligence, 1995zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Is There a Logic of Provability for Nonmonotonic Reasoning?
1996(KR-96)
GIANNI AMATI +1 more
openaire +2 more sources
Nonmonotonic reasoning, nonmonotonic logics and reasoning about change
Artificial Intelligence Review, 1990In this paper we introduce nonmonotonic reasoning and the attempts at formalizing it using nonmonotonic logics. We examine and compare the best known of these. Despite the difference in motivation and technical construction there are strong similarities between these logics which are confirmed when they are finally shown to have a common basis. Finally
openaire +1 more source
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
Nonmonotonic reasoning and logic programs
2005The present paper is concerned with a unifying approach to non-monotonic reasoning in clause logic programming. An outline of a general theory of non-monotonic reasoning is given that is aimed at a foundation of this area. Typical results are presented in the frame of this theory and problems related to logic programming are discussed.
openaire +1 more source
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
Hardware Implementation of Temporal Nonmonotonic Logics
2006In order to apply nonmonotonic logics for specifying industrial automation controllers, we define (1) a method to extend atemporal nonmonotonic logics with temporal operators and (2) a mapping of these new temporal nonmonotonic logics into a Metric Temporal Logic.
Insu Song, Guido Governatori
openaire +3 more sources