Using Golog for programming Charles to pick candies in the Fantastic City

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, nondeter...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Gómez, Sergio Alejandro
Formato: Objeto de conferencia Resumen
Lenguaje:Inglés
Publicado: 2003
Materias:
Ciencias Informáticas
Golog
informática
Robotics
educación
Programming Charles
Fantastic City
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/22918
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-22918
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
Golog
informática
Robotics
educación
Programming Charles
Fantastic City
spellingShingle Ciencias Informáticas
Golog
informática
Robotics
educación
Programming Charles
Fantastic City
Gómez, Sergio Alejandro
Using Golog for programming Charles to pick candies in the Fantastic City
topic_facet Ciencias Informáticas
Golog
informática
Robotics
educación
Programming Charles
Fantastic City
description 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.
format Objeto de conferencia
Resumen
author Gómez, Sergio Alejandro
author_facet Gómez, Sergio Alejandro
author_sort Gómez, Sergio Alejandro
title Using Golog for programming Charles to pick candies in the Fantastic City
title_short Using Golog for programming Charles to pick candies in the Fantastic City
title_full Using Golog for programming Charles to pick candies in the Fantastic City
title_fullStr Using Golog for programming Charles to pick candies in the Fantastic City
title_full_unstemmed Using Golog for programming Charles to pick candies in the Fantastic City
title_sort using golog for programming charles to pick candies in the fantastic city
publishDate 2003
url http://sedici.unlp.edu.ar/handle/10915/22918
work_keys_str_mv AT gomezsergioalejandro usinggologforprogrammingcharlestopickcandiesinthefantasticcity
bdutipo_str Repositorios
_version_ 1764820467909132288

Ejemplares similares