Reasoning about Sensing Actions in Domains with Multi-Valued Fluents | Zendy

Tran Cao Son | Zendy; Phan Huy Tu | Zendy; Xin Zhang | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Reasoning about Sensing Actions in Domains with Multi-Valued Fluents

Author(s) -

Tran Cao Son,

Phan Huy Tu,

Xin Zhang

Publication year - 2005

Publication title -

studia logica

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.736

H-Index - 39

eISSN - 1572-8730

pISSN - 0039-3215

DOI - 10.1007/s11225-005-0499-4

Subject(s) - computer science , logical consequence , circumscription , action (physics) , semantics (computer science) , function (biology) , artificial intelligence , natural language processing , programming language , physics , quantum mechanics , evolutionary biology , biology

In this paper, we discuss the weakness of current action languages for sensing actions with respect to modeling domains with multi-valued ∞uents. To address this prob- lem, we propose a language with sensing actions and multi-valued ∞uents, called AMK, provide a transition function based semantics for the language, and demonstrate its use through several examples from the literature. We then deflne the entailment relation- ship between action theories and queries in AMK, denoted by j=AMK, and discuss some properties about AMK.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research