Results 291 to 300 of about 405,638 (322)
Some of the next articles are maybe not open access.
2000
In nonmonotonic reasoning conflicts among defaults are ubiquitous. For instance, more specific rules may be in conflict with more general ones, a problem which has been studied intensively in the context of inheritance networks (Poole, 1985; Touretzky, 1986; Touretzky et al., 1991).
Gerhard Brewka, Thomas Eiter
openaire +2 more sources
In nonmonotonic reasoning conflicts among defaults are ubiquitous. For instance, more specific rules may be in conflict with more general ones, a problem which has been studied intensively in the context of inheritance networks (Poole, 1985; Touretzky, 1986; Touretzky et al., 1991).
Gerhard Brewka, Thomas Eiter
openaire +2 more sources
A logical framework for default reasoning
Artificial Intelligence, 1988zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
1991
We present a formal framework for ordered default reasoning which has desirable mathematical properties yet is relatively simple and can be implemented using standard theorem provers. By expressing default logic as a relation from theories to extensions we are able to formalise Brewka's prioritized default logic as a composite relation.
openaire +2 more sources
We present a formal framework for ordered default reasoning which has desirable mathematical properties yet is relatively simple and can be implemented using standard theorem provers. By expressing default logic as a relation from theories to extensions we are able to formalise Brewka's prioritized default logic as a composite relation.
openaire +2 more sources
1989
In the previous chapter we furnished some insight in the use of fragments of default logic as delineated by the format of defaults they admit. The present chapter is devoted to the formal development of these fragments, including open problems.
openaire +2 more sources
In the previous chapter we furnished some insight in the use of fragments of default logic as delineated by the format of defaults they admit. The present chapter is devoted to the formal development of these fragments, including open problems.
openaire +2 more sources
Journal of Computer Science and Technology, 1994
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
1989
There are several ways to look at the fact that the account of default logic which can be provided for theories with non normal defaults is rather poor from a semantical point of view. An aspect of this problem seems to be that extensions of a default theory with non normal defaults need not be incompatible.
openaire +2 more sources
There are several ways to look at the fact that the account of default logic which can be provided for theories with non normal defaults is rather poor from a semantical point of view. An aspect of this problem seems to be that extensions of a default theory with non normal defaults need not be incompatible.
openaire +2 more sources
1989
A number of people feel uncomfortable with the fact that not all theories of default logic have extensions and that there is no proof theory worthy of this name for the whole logic. They have attacked from various angles the way extensions are defined in default logic; one of them, Łukaszewicz [1984b], building on his diagnosis of the reason why ...
openaire +2 more sources
A number of people feel uncomfortable with the fact that not all theories of default logic have extensions and that there is no proof theory worthy of this name for the whole logic. They have attacked from various angles the way extensions are defined in default logic; one of them, Łukaszewicz [1984b], building on his diagnosis of the reason why ...
openaire +2 more sources
1999
Ray Reiter’s Logic for Default Reasoning was published almost twenty years ago, but it is widely used today by researchers in knowledge representation, commonsense reasoning and logic programming. This note is a collection of random comments on aspects of this success story.
openaire +2 more sources
Ray Reiter’s Logic for Default Reasoning was published almost twenty years ago, but it is widely used today by researchers in knowledge representation, commonsense reasoning and logic programming. This note is a collection of random comments on aspects of this success story.
openaire +2 more sources
An argumentation framework in default logic
Annals of Mathematics and Artificial Intelligence, 1993zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
1989
As suggested by its name, default logic [Reiter 1980] aims at providing a formal framework for default reasoning. To this end, default logic introduces some kind of nonmonotonic inference rules called defaults. Returning to Example 4.2.1, we know that, given any bird, a good policy is to believe that the bird is able to fly until a proof to the ...
openaire +2 more sources
As suggested by its name, default logic [Reiter 1980] aims at providing a formal framework for default reasoning. To this end, default logic introduces some kind of nonmonotonic inference rules called defaults. Returning to Example 4.2.1, we know that, given any bird, a good policy is to believe that the bird is able to fly until a proof to the ...
openaire +2 more sources