Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Declarative formalization of strategies for action selection

Autor
Sierra-Santibáñez, J.
Tipus d'activitat
Presentació treball a congrés
Nom de l'edició
NMR 1998 - Seventh International Workshop on Non-monotonic Reasoning
Any de l'edició
1998
Llibre d'actes
Proceedings of the Seventh International Workshop on Non-monotonic Reasoning
Pàgina inicial
21
Pàgina final
29
Resum
We propose a representation scheme for the declarative formalization of strategies based on the situation calculus and circumscription. The formalism is applied to represent a number of heuristics for moving blocks in order to solve planning problems in the blocks world. It is demonstrated that circumscription solves the problem of projecting the strategies formalized in the paper, and that it allows us to derive useful conclusions about their computability, correctness, redundancy, inconsistenc...
Grup de recerca
LARCA - Laboratori d'Algorísmia Relacional, Complexitat i Aprenentatge

Participants