Progression of Situation Calculus Action Theories with Incomplete Information (IJCAI-2007)
Conference Proceeding: 01/2007; In proceeding of: 20th International Joint Conference on Artificial Intelligence (IJCAI-2007), At Hyderabad, India
Abstract
In this paper, we propose a new progression mechanism for a restricted form of incomplete knowledge formulated as a basic action theory in the situation calculus. Specifically, we focus on functional fluents and deal directly with the possible values these fluents may have and how these values are affected by both physical and sensing actions. The method we propose is logically complete and can be calculated efficiently using database techniques under certain reasonable assumptions.
Comments on this publication
ResearchGate members can add comments. Sign up now and post your comment!
Similar publications
Data provided are for informational purposes only. Although carefully collected, accuracy cannot be guaranteed. The impact factor represents a rough estimation of the journal's impact factor and does not reflect the actual current impact factor. Publisher conditions are provided by RoMEO. Differing provisions from the publisher's actual policy or licence agreement may be applicable.
Science & Research Jobs
Diplom Ingenieur für Metall- / Werkstoffkunde (m/w)
Position: Engineer
Employer: Atotech Deutschland GmbH
