Systematic approaches like the family of Action Description Languages have been designed for the formal assessments of action calculi. We assess the fluent calculus for knowledge and sensing with the help of the recently developed, high-level action language Ak . As the main result, we present a provably correct embedding of this language into fluent calculus, excluding the while loops in the query language. As a spin-off, the action programming language FLUX, which is based on fluent calculus, provides a system for answering queries to A k domains. Conversely, the action description language may serve as a high-level surface language for specifying action domains in FLUX.
Scheda prodotto non validato
I dati visualizzati non sono stati ancora sottoposti a validazione formale da parte dello Staff di IRIS, ma sono stati ugualmente trasmessi al Sito Docente Cineca (Loginmiur).
Titolo: | A Formal Assessment Result for Fluent Calculus Using the Action Description Language Ak |
Autori: | Kahramanogullari, Ozan; Michael, Thielscher |
Autori Unitn: | |
Titolo del volume contenente il saggio: | KI 2003: Advances in Artificial Intelligence, 26th Annual German Conference on AI |
Luogo di edizione: | Berlin |
Casa editrice: | Springer-Verlag |
Anno di pubblicazione: | 2003 |
Codice identificativo Scopus: | 2-s2.0-9444284283 |
Codice identificativo ISI: | WOS:000187009600016 |
ISBN: | 3540200592 |
Handle: | http://hdl.handle.net/11572/99939 |
Appare nelle tipologie: | 04.1 Saggio in atti di convegno (Paper in proceedings) |