The golog programming language and agency

In this paper, we present our initial experiences modeling agency in the situation calculus and the Golog programming language. We describe the problems we have faced and discuss some research issues that remain to be addressed in the future. As an application of this research line, we propose an a...

Descripción completa

Detalles Bibliográficos
Autor principal: Gómez, Sergio Alejandro
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2003
Materias:
Ciencias Informáticas
Golog Programming Language
Agency
Languages
ARTIFICIAL INTELLIGENCE
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/21467
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-21467
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 Programming Language
Agency
Languages
ARTIFICIAL INTELLIGENCE
spellingShingle Ciencias Informáticas
Golog Programming Language
Agency
Languages
ARTIFICIAL INTELLIGENCE
Gómez, Sergio Alejandro
The golog programming language and agency
topic_facet Ciencias Informáticas
Golog Programming Language
Agency
Languages
ARTIFICIAL INTELLIGENCE
description In this paper, we present our initial experiences modeling agency in the situation calculus and the Golog programming language. We describe the problems we have faced and discuss some research issues that remain to be addressed in the future. As an application of this research line, we propose an axiomatization of the robot Charles and the Fantastic City in the situation calculus as well as a controller written in Golog.
format Objeto de conferencia
Objeto de conferencia
author Gómez, Sergio Alejandro
author_facet Gómez, Sergio Alejandro
author_sort Gómez, Sergio Alejandro
title The golog programming language and agency
title_short The golog programming language and agency
title_full The golog programming language and agency
title_fullStr The golog programming language and agency
title_full_unstemmed The golog programming language and agency
title_sort golog programming language and agency
publishDate 2003
url http://sedici.unlp.edu.ar/handle/10915/21467
work_keys_str_mv AT gomezsergioalejandro thegologprogramminglanguageandagency
AT gomezsergioalejandro gologprogramminglanguageandagency
bdutipo_str Repositorios
_version_ 1764820464571514882

Ejemplares similares