BIROn - Birkbeck Institutional Research Online

    Interpreting topological logics over Euclidean spaces

    Kontchakov, Roman and Pratt-Hartmann, I. and Zakharyaschev, Michael (2010) Interpreting topological logics over Euclidean spaces. In: Lin, F. and Sattler, U. and Truszczynski, M. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010. California, U.S.: AAAI Press, pp. 534-544. ISBN 9781577354512.

    Full text not available from this repository.

    Abstract

    Topological logics are a family of languages for representing and reasoning about topological data. In this paper, we consider propositional topological logics able to express the property of connectedness. The satisfiability problem for such logics is shown to depend not only on the spaces they are interpreted in, but also on the subsets of those spaces over which their variables are allowed to range. We identify the crucial notion of tameness, and chart the surprising patterns of sensitivity to the presence of non-tame regions exhibited by a range of topological logics in low-dimensional Euclidean spaces.

    Metadata

    Item Type: Book Section
    School: Birkbeck Schools and Departments > School of Business, Economics & Informatics > Computer Science and Information Systems
    Depositing User: Roman Kontchakov
    Date Deposited: 23 Oct 2012 09:39
    Last Modified: 11 Oct 2016 12:02
    URI: http://eprints.bbk.ac.uk/id/eprint/5340

    Statistics

    Downloads
    Activity Overview
    0Downloads
    89Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item