Reasoning about Sensing Actions in Domains with Multi-Valued Fluents

In this paper, we discuss the weakness of current action languages for sensing actions with respect to modeling domains with multi-valued fluents. To address this problem, we propose a language with sensing actions and multi-valued fluents, called$\scr{AM}_{K}$, provide a transition function based semantics for the language, and demonstrate its use through several examples from the literature. We then define the entailment relationship between action theories and queries in$\scr{AM}_{K}$, denoted by$\vDash \scr{AM}_{K}$, and discuss some properties about$\scr{AM}_{K}$.