The monkey and bananas problem revisited: a situation calculus approach
This work develops a complete example of how to obtain a Situation Calculus Action Theory. The problem selected is a simple one, yet it is enough to cover the important details of the process without unnecessary complications. After obtaining the action theory, a running Prolog program is derived fr...
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Inglés |
| Publicado: |
2003
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/22698 |
| Aporte de: |
| Sumario: | This work develops a complete example of how to obtain a Situation Calculus Action Theory. The problem selected is a simple one, yet it is enough to cover the important details of the process without unnecessary complications. After obtaining the action theory, a running Prolog program is derived from the axioms: at this point, some problems, and a proposed solution, are presented. |
|---|