From an agent logic to an agent programming language for partially observable stochastic domains

Authors:
Gavin Rens
Affiliations:
CSIR Meraka Institute and University of KwaZulu-Natal, South Africa
Venue:
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Year:
2011

Citing 2
Cited 0

Decision-Theoretic, High-Level Agent Programming in the Situation Calculus

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Commonsense Reasoning

Commonsense Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

Broadly speaking, my research concerns combining logic of action and POMDP theory in a coherent, theoretically sound language for agent programming. We have already developed a logic for specifying partially observable stochastic domains. A logic for reasoning with the models specified must still be developed. An agent programming language will then be developed and used to design controllers for robots.