Toronto Metropolitan University
Browse

A Logic of Actions Revisited

Download (165.69 kB)
report
posted on 2023-07-12, 16:20 authored by Yilan Gu, Mikhail SoutchanskiMikhail Soutchanski

  

We propose a  theory for reasoning about actions based on order-sorted predicate logic where one can consider an elaborate taxonomy of objects. We are interested in the projection problem: whether a statement is true after executing a sequence of actions.  To solve it we design a regression operator that takes advantage of well-sorted unification between terms.  We show that answering projection queries in our logical theories is sound and complete with respect to that of in Reiter’s basic action theories. Moreover, we demonstrate that our regression operator based on order-sorted logic can provide significant computational advantages in comparison to Reiter’s regression operator.

History

Language

eng

Usage metrics

    Computer Science

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC