In defense of large qualitative calculi

Jason Jingshi Li, Jochen Renz

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

    2 Citations (Scopus)

    Abstract

    The next challenge in qualitative spatial and temporal reasoning is to develop calculi that deal with different aspects of space and time. One approach to achieve this is to combine existing calculi that cover the different aspects. This, however, can lead to calculi that have a very large number of relations and it is a matter of ongoing discussions within the research community whether such large calculi are too large to be useful. In this paper we develop a procedure for reasoning about some of the largest known calculi, the Rectangle Algebra and the Block Algebra with about 10661 relations. We demonstrate that reasoning over these calculi is possible and can be done efficiently in many cases. This is a clear indication that one of the main goals of the field can be achieved: highly expressive spatial and temporal representations that support efficient reasoning.

    Original languageEnglish
    Title of host publicationAAAI-10 / IAAI-10 - Proceedings of the 24th AAAI Conference on Artificial Intelligence and the 22nd Innovative Applications of Artificial Intelligence Conference
    PublisherAI Access Foundation
    Pages315-320
    Number of pages6
    ISBN (Print)9781577354642
    Publication statusPublished - 2010
    Event24th AAAI Conference on Artificial Intelligence and the 22nd Innovative Applications of Artificial Intelligence Conference, AAAI-10 / IAAI-10 - Atlanta, GA, United States
    Duration: 11 Jul 201015 Jul 2010

    Publication series

    NameProceedings of the National Conference on Artificial Intelligence
    Volume1

    Conference

    Conference24th AAAI Conference on Artificial Intelligence and the 22nd Innovative Applications of Artificial Intelligence Conference, AAAI-10 / IAAI-10
    Country/TerritoryUnited States
    CityAtlanta, GA
    Period11/07/1015/07/10

    Fingerprint

    Dive into the research topics of 'In defense of large qualitative calculi'. Together they form a unique fingerprint.

    Cite this