7 papers
Relevance as Deduction: A Logical View of Information Retrieval
Gianni Amati, Konstantinos Georgatos
The problem of Information Retrieval is, given a set of documents D and a query q, providing an algorithm for retrieving all documents in D relevant to q. However, retrieval should…
Entrenchment Relations: A Uniform Approach to Nonmonotonicity
Konstantinos Georgatos
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 general…
Ordering-based Representations of Rational Inference
Konstantinos Georgatos
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 characte…
Modal Logics for Topological Spaces
Konstantinos Georgatos
In this thesis we shall present two logical systems, MP and MP, for the purpose of reasoning about knowledge and effort. These logical systems will be interpreted in a spatial cont…
Knowledge Theoretic Properties of Topological Spaces
Konstantinos Georgatos
We study the topological models of a logic of knowledge for topological reasoning, introduced by Larry Moss and Rohit Parikh. Among our results is a solution of a conjecture by the…
To Preference via Entrenchment
Konstantinos Georgatos
We introduce a simple generalization of Gardenfors and Makinson's epistemic entrenchment called partial entrenchment. We show that preferential inference can be generated as the sc…