Interpreting topological logics over Euclidean spaces

Roman Kontchakov, Ian Pratt-Hartmann, Michael Zakharyaschev

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    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. Copyright © 2010, Association for the Advancement of Artificial Intelligence.
    Original languageEnglish
    Title of host publicationPrinciples of Knowledge Representation and Reasoning: Proceedings of the 12th International Conference, KR 2010|Princ. Knowl. Represent. Reasoning: Proc. Int. Conf., KR
    Place of PublicationMenlo Park, California
    PublisherAAAI Press
    Pages534-544
    Number of pages10
    ISBN (Print)9781577354512
    Publication statusPublished - 2010
    Event12th International Conference on Principles of Knowledge Representation and Reasoning, KR 2010 - Toronto, ON
    Duration: 1 Jul 2010 → …

    Conference

    Conference12th International Conference on Principles of Knowledge Representation and Reasoning, KR 2010
    CityToronto, ON
    Period1/07/10 → …

    Fingerprint

    Dive into the research topics of 'Interpreting topological logics over Euclidean spaces'. Together they form a unique fingerprint.

    Cite this