Upload resources

Upload your works to SEDICI to increase its visibility and improve its impact


Show simple item record

dc.date.accessioned 2012-10-25T11:30:53Z
dc.date.available 2012-10-25T11:30:53Z
dc.date.issued 2003-10
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/22918
dc.description.abstract The situation calculus is a first-order language specifically designed for representing dynamically changing worlds. Agents can be modelled in the situation calculus by means of the Golog programming language, which provides macros for representing primitive actions, test actions, sequence, nondeterministic choice of two actions, nondeterministic choice of action arguments and nondeterministic iteration running on top of a Prolog interpreter. The robot Charles and the Fantastic City is a metaphor used in the University of La Plata for teaching introductory courses to procedural programming. In this paper, we present an axiomatization of the robot Charles and the Fantastic City in the situation calculus as well as a controller written in Golog. A proof of the correctness of part of the proposed implementation is shown too. en
dc.format.extent 1324-1324 es
dc.language en es
dc.subject Golog es
dc.subject informática es
dc.subject Robotics es
dc.subject educación es
dc.subject Programming Charles es
dc.subject Fantastic City es
dc.title Using Golog for programming Charles to pick candies in the Fantastic City en
dc.type Objeto de conferencia es
sedici.creator.person Gómez, Sergio Alejandro es
sedici.description.note Eje: Informática educativa (IEDU) es
sedici.subject.materias Ciencias Informáticas es
sedici.description.fulltext true es
mods.originInfo.place Red de Universidades con Carreras en Informática (RedUNCI) es
sedici.subtype Resumen es
sedici.rights.license Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
sedici.rights.uri http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
sedici.date.exposure 2003-10
sedici.relation.event IX Congreso Argentino de Ciencias de la Computación es
sedici.description.peerReview peer-review es

Download Files

This item appears in the following Collection(s)

Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) Except where otherwise noted, this item's license is described as Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)