Formalizing sensing actions: a transition function based approach

In this paper we developa high level action description language.As that mirrors the solution to the frame problem for sensing actions in situation calculus developed by Scherl and Levesque. This is similar to the role the language. 4 plays w.r.t, non-sensingactions. In defining the semantics of As we introduce the notion of a knowledge state which is a pair consisting of a state and a collection of states. Thetransition function of As is defined in sucha way that it mirrors the successor state axiom for sensing actions by Scherl and Levesque. Wethen present a sound and complete translation of domainsin As into disjunctive logic programs. Most importantly, using the new language we are able to prove the soundness of different approximation semantics of As that were developedby Baxal and Son w.r.t, the semantics of Scherl and Levesque.