We present an approach to modeling human interpretation of (real) geographic maps. While in Geographic Information Systems (GIS) the limitations for describing geographic knowledge mainly stem from the limitations of this knowledge itself, paper maps pose additional constraints on the representation of spatial configurations. We examine maps as representation media with respect to cartographic ...

One of the most successful approaches to the formalization of commonsense reasoning is the work by Lehmann and colleagues, known as the KLM approach, in which defeasible consequence relations with a preferential semantics are studied. In spite of its success, KLM is limited to propositional logic. In recent work we provided the semantic foundation for extending defeasible consequence relations ...

In this work we reconsider Harsanyi’s celebrated (1953, 1955, 1977) utilitarian impartial observer theorem. Departing from Harsanyi’s individual-centered approach, we argue that, when societal decisions are at stake, postulates must not be drawn from individualistic behavior. Rather, they should be based on societal norms. Hence, notions like societal fairness should explicitly be taken as the ...

We investigate various notions of sobriety for topological spaces that are equivalent in ZF set theory with the Axiom of Choice but may differ in the absence of choice principles. The Ultrafilter Principle UP (alias Prime Ideal Theorem) suffices for the desired conclusions. We derive from UP three topological postulates and prove their equivalence in ZF without choice: the Well-Filtration Princ...