Results 161 to 170 of about 9,610 (197)

AI and Nonmonotonic Reasoning *

1994
Abstract The view that Franklin was expressing is that virtually every conclusion we draw is an uncertain one. We all believe that the sun will rise tomorrow, but no one has a real proof of it. I believe that I have no brother, since if I did have one, I would know about it.
openaire   +1 more source

Some Strengths of Nonmonotonic Reasoning

2000
A characteristic feature of human reasoning is its ability to draw rational conclusions in situations where not all relevant information is known. In fact, except for the most trivial cases, we always reason with an incomplete body of knowledge describing the current situation we are arguing about. We are constantly forced to make assumptions which may
Uwe Egly, Hans Tompits
openaire   +1 more source

Logics for Nonmonotonic Reasoning

1997
This 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

Experience Based Nonmonotonic Reasoning

2013
Within everyday reasoning we often use argumentation patterns that employ the rather vague notion of something being normally true. This form of reasoning is usually captured using Reiter's Default Logic. However, in Default Logic one has to make explicit the rules which are to be used for reasoning and which are supposed to be normally true. This is a
openaire   +1 more source

When is Reasoning Nonmonotonic?

1988
Recent advances in Artificial Intelligence (AI) emphasize the crucial importance of nonmonotonic reasoning in any adequate scheme of knowledge representation.1 As Nute (1984) observes, humans notoriously rely upon nonmonotonic reasoning, and any “automated reasoning system should also reason nonmonotonically in a way which people can easily understand”.
openaire   +1 more source

Nonmonotonic reasoning by inhibition nets

2001
In this paper we show that certain networks called `inhibition nets' may be regarded as cognitive agents drawing nonmonotonic inferences. It is proved that the system CL (introduced by KLM in Artificial Intelligence 44, 186-189 (1990)) of nonmonotonic logic is both sound and complete with respect to the inferences drawn by finite hierarchical ...
openaire   +1 more source

Nonmonotonic Reasoning, Expectations Orderings, and Conceptual Spaces

Journal of Logic, Language and Information, 2021
Matías Osta-Vélez, Peter Gärdenfors
exaly  

On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games

Artificial Intelligence, 1995
Phan Minh Dung
exaly  

Nonmonotonic reasoning, conditional objects and possibility theory

Artificial Intelligence, 1997
Salem Benferhat, Henri Prade
exaly  

Nonmonotonic reasoning, preferential models and cumulative logics

Artificial Intelligence, 1990
Daniel Lehmann
exaly