Results 251 to 260 of about 421,883 (287)
Some of the next articles are maybe not open access.
Temporalized Epistemic Default Logic
2001The nonmonotonic logic Epistemic Default Logic (EDL) [Meyer and van der Hoek, 1993] is based on the metaphore of a meta-level architecture. It has already been established [Meyer and van der Hoek, 1993] how upward reflection can be formalized by a nonmonotonic entailment based on epistemic states, and the meta-level process by a (monotonic) epistemic ...
van der Hoek, W. +2 more
openaire +3 more sources
The Knowledge Engineering Review, 1988
AbstractThis paper is a review of certain non-monotonic logics, which I call default non-monotonic logics. These are logics which exploit failure to prove. How each logic uses this basic idea is explained, and examples given. The emphasis is on leading ideas explained through examples: technical detail is avoided.
openaire +1 more source
AbstractThis paper is a review of certain non-monotonic logics, which I call default non-monotonic logics. These are logics which exploit failure to prove. How each logic uses this basic idea is explained, and examples given. The emphasis is on leading ideas explained through examples: technical detail is avoided.
openaire +1 more source
Complexity of Recursive Normal Default Logic
Fundamenta Informaticae, 1997Normal default logic, the fragment of default logic obtained by restricting defaults to rules of the form α:Mβ/β, is the most important and widely studied part of default logic. In [20], we proved a basis theorem for extensions of recursive propositional logic normal default theories and hence for finite predicate logic normal default theories. That is,
Marek, V. Wiktor +2 more
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 +1 more source
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 +1 more source
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 +1 more source
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 +1 more source
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 +1 more source
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 +1 more source
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 +1 more source
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 +1 more source
A terminological default logic
1991Terminological Logics are knowledge representation formalisms of enormous applicative interest, as they are specifically oriented to the vast class of application domains that are describable by means of taxonomic organizations of complex objects.
Straccia, Umberto
openaire +1 more source