The monkey and bananas problem revisited: a situation calculus approach

Autores
Simari, Gerardo I.; García, Diego R.; Filocamo, Gabriel R.
Año de publicación
2003
Idioma
inglés
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
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.
Eje: Agentes y Sistemas Inteligentes (ASI)
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
Cognitive Robotics
Action Theories
Situation Calculus
ARTIFICIAL INTELLIGENCE
Intelligent agents
Robotics
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/22698
Acceder
id SEDICI_8ffeb1bd9e04bdb4a9e5c6e8cbee4dd6
oai_identifier_str oai:sedici.unlp.edu.ar:10915/22698
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling The monkey and bananas problem revisited: a situation calculus approachSimari, Gerardo I.García, Diego R.Filocamo, Gabriel R.Ciencias InformáticasCognitive RoboticsAction TheoriesSituation CalculusARTIFICIAL INTELLIGENCEIntelligent agentsRoboticsThis 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.Eje: Agentes y Sistemas Inteligentes (ASI)Red de Universidades con Carreras en Informática (RedUNCI)2003-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf752-764http://sedici.unlp.edu.ar/handle/10915/22698enginfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-03T10:27:58Zoai:sedici.unlp.edu.ar:10915/22698Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-03 10:27:58.59SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv The monkey and bananas problem revisited: a situation calculus approach
title The monkey and bananas problem revisited: a situation calculus approach
spellingShingle The monkey and bananas problem revisited: a situation calculus approach
Simari, Gerardo I.
Ciencias Informáticas
Cognitive Robotics
Action Theories
Situation Calculus
ARTIFICIAL INTELLIGENCE
Intelligent agents
Robotics
title_short The monkey and bananas problem revisited: a situation calculus approach
title_full The monkey and bananas problem revisited: a situation calculus approach
title_fullStr The monkey and bananas problem revisited: a situation calculus approach
title_full_unstemmed The monkey and bananas problem revisited: a situation calculus approach
title_sort The monkey and bananas problem revisited: a situation calculus approach
dc.creator.none.fl_str_mv Simari, Gerardo I.
García, Diego R.
Filocamo, Gabriel R.
author Simari, Gerardo I.
author_facet Simari, Gerardo I.
García, Diego R.
Filocamo, Gabriel R.
author_role author
author2 García, Diego R.
Filocamo, Gabriel R.
author2_role author
author
dc.subject.none.fl_str_mv Ciencias Informáticas
Cognitive Robotics
Action Theories
Situation Calculus
ARTIFICIAL INTELLIGENCE
Intelligent agents
Robotics
topic Ciencias Informáticas
Cognitive Robotics
Action Theories
Situation Calculus
ARTIFICIAL INTELLIGENCE
Intelligent agents
Robotics
dc.description.none.fl_txt_mv 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.
Eje: Agentes y Sistemas Inteligentes (ASI)
Red de Universidades con Carreras en Informática (RedUNCI)
description 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.
publishDate 2003
dc.date.none.fl_str_mv 2003-10
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/22698
url http://sedici.unlp.edu.ar/handle/10915/22698
dc.language.none.fl_str_mv eng
language eng
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
dc.format.none.fl_str_mv application/pdf
752-764
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1842260117959999488
score 13.13397

Publicaciones similares