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

Craig Boutilier Raymond Reiter Mikhail Soutchanski Sebastian Thrun

Published in: AAAI/IAAI (2000)

Keyphrases

decision theoretic
agent programming
situation calculus
high level
planning under uncertainty
initial state
programming language
reasoning about actions
plan recognition
action theories
partial observability
dynamic logic
modal logic
dynamic programming
reinforcement learning
agent systems
artificial intelligence