Implementing belief change in the situation calculus and an application

Maurice Pagnucco, David Rajaratnam, Hannes Strass, Michael Thielscher

    Research output: Chapter in Book / Conference PaperConference Paperpeer-review

    2 Citations (Scopus)

    Abstract

    ![CDATA[Accounts of belief and knowledge in the Situation Calculus have been developed and discussed for some time yet there is no extant implementation. We develop a practical implementation of belief and belief change in the Situation Calculus based on default logic for which we have an implemented solver. After establishing the mapping with default logic we demonstrate how belief change in the Situation Calculus can be used to solve an interesting problem in robotics - reasoning with misleading information. Motivated by a challenge in the RoboCup@Home competition, we give a solution to the problem of planning robustly in cases where operators provide the robot with misleading or incorrect information.]]
    Original languageEnglish
    Title of host publicationLogic Programming and Nonmonotonic Reasoning: Proceedings of the 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013
    PublisherSpringer
    Pages439-451
    Number of pages13
    ISBN (Print)9783642405631
    DOIs
    Publication statusPublished - 2013
    EventLPNMR (Conference) -
    Duration: 15 Sept 2013 → …

    Publication series

    Name
    ISSN (Print)0302-9743

    Conference

    ConferenceLPNMR (Conference)
    Period15/09/13 → …

    Fingerprint

    Dive into the research topics of 'Implementing belief change in the situation calculus and an application'. Together they form a unique fingerprint.

    Cite this