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.

A Formal Assessment Result for Fluent Calculus Using the Action Description Language Ak

Kahramanogullari, Ozan;
2003-01-01

Abstract

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.
2003
KI 2003: Advances in Artificial Intelligence, 26th Annual German Conference on AI
Berlin
Springer-Verlag
3540200592
Kahramanogullari, Ozan; Michael, Thielscher
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11572/99939
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact