Add to ORKGThis paper is concerned with the extension and the belief revision in Reiter\u27s default reasoning. First we introduce a new notion of pseudo extension which is successively constructed from a given default theory. We show that the set of pseudo extensions contains the set of extensions, so that we can get some reasonable candidates of extension in a constructive way. This should be a first step towards computerization of the default reasoning. We also discuss the belief revision problem from the viewpoint of Shapiro\u27s inductive inference of models
AbstractA collection of formulae, regarded as a set of prerequisite-free normal defaults, generates ...
International audienceA collection of formulae, regarded as a set of prerequisite-free normal defaul...
The extension is the most important concept of default logic, but it is not constructible. In [6], w...
Lecture Notes in Artificial Intelligence 383,27-37, 1989This paper is concerlled with extension and ...
Consistency-based approaches in nonmonotonic reasoning may be expected to yield multiple sets of def...
Belief revision leads to temporal nonmonotonicity, i.e., the set of beliefs does not grow monotonica...
AbstractWe introduce an alternative conceptual basis for default reasoning in Reiter's default logic...
In this paper we propose a semantics for default theories, based on van Gelder's alternating fi...
Default logic is supposed to reason with static and consistent default theory, i.e., it can not deal...
Reiter's default logic is supposed to reasoning on consistent knowledge; when inconsistencies o...
In this paper constructions leading to the formation of belief sets by agents are studied. The focus...
Belief revision leads to temporal nonmonotonicity, i.e., the set of beliefs does not grow monotonica...
AbstractIn previous papers some important properties of extensions of general default theories were ...
AbstractThis paper introduces a generalization of Reiter's notion of “extension” for default logic. ...
In this paper we study constructions leading to the formation of belief sets by agents. We focus on ...
AbstractA collection of formulae, regarded as a set of prerequisite-free normal defaults, generates ...
International audienceA collection of formulae, regarded as a set of prerequisite-free normal defaul...
The extension is the most important concept of default logic, but it is not constructible. In [6], w...
Lecture Notes in Artificial Intelligence 383,27-37, 1989This paper is concerlled with extension and ...
Consistency-based approaches in nonmonotonic reasoning may be expected to yield multiple sets of def...
Belief revision leads to temporal nonmonotonicity, i.e., the set of beliefs does not grow monotonica...
AbstractWe introduce an alternative conceptual basis for default reasoning in Reiter's default logic...
In this paper we propose a semantics for default theories, based on van Gelder's alternating fi...
Default logic is supposed to reason with static and consistent default theory, i.e., it can not deal...
Reiter's default logic is supposed to reasoning on consistent knowledge; when inconsistencies o...
In this paper constructions leading to the formation of belief sets by agents are studied. The focus...
Belief revision leads to temporal nonmonotonicity, i.e., the set of beliefs does not grow monotonica...
AbstractIn previous papers some important properties of extensions of general default theories were ...
AbstractThis paper introduces a generalization of Reiter's notion of “extension” for default logic. ...
In this paper we study constructions leading to the formation of belief sets by agents. We focus on ...
AbstractA collection of formulae, regarded as a set of prerequisite-free normal defaults, generates ...
International audienceA collection of formulae, regarded as a set of prerequisite-free normal defaul...
The extension is the most important concept of default logic, but it is not constructible. In [6], w...