Searching for authors named "Konstantinos Georgatos" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Knowledge on Treelike Spaces
- …This paper presents a bimodal logic for reasoning about knowledge during knowledge acquisition. One of the modalities represents (effort during) non-deterministic time and the other represents knowledge. The semantics of this logic are tree-like spaces which are a generalization of semantics used fo…
- Cited by 3 (0 self) – Add To MetaCart
-
Ordering-based Representations of Rational Inference
- …. Rational inference relations were introduced by Lehmann and Magidor as the ideal systems for drawing conclusions from a conditional base. However, there has been no simple characterization of these relations, other than its original representation by preferential models. In this paper, we shall ch…
- Cited by 5 (4 self) – Add To MetaCart
-
Entrenchment Relations: A Uniform Approach to Nonmonotonicity
- …. We show that Gabbay's nonmonotonic consequence relations can be reduced to a new family of relations, called entrenchment relations. Entrenchment relations provide a direct generalization of epistemic entrenchment and expectation ordering introduced by Gardenfors and Makinson for the study of beli…
- Cited by 4 (3 self) – Add To MetaCart
-
Non-Monotonic Inference on Belief Sequences
- …Introduction Belief revision is the process of transforming a belief set upon receipt of new information. Given a theory K and a proposition , [AGM85] propose postulates for K , the revised theory with . But AGM-like postulates do not specify how we came to believe K and after revision, it is assu…
- Add To MetaCart
-
Relevance Sensitive Non-Monotonic Inference on Belief Sequences
- …We present a method for relevance sensitive non-monotonic inference from belief sequences which incorporates insights pertaining to prioritized inference and relevance sensitive, inconsistency tolerant belief revision. Our model uses a nite, logically open sequence of propositional formulas as a rep…
- Cited by 9 (3 self) – Add To MetaCart
-
Non-Monotonic Inference on Belief Sequences
- …Introduction Belief revision is the process of transforming a belief set upon receipt of new information. Given a theory K and a proposition , [AGM85] propose postulates for K , the revised theory with . But AGM-like postulates do not specify how we came to believe K and after revision, it is assu…
- Add To MetaCart
Showing 1 through 6.
