The authors are developing a new logic (DyMoDeL) for reasoning about dynamic agents with stochastic action, partial observation, knowledge-of and degree-of-belief-in a state of affairs. Development of the syntax and semantics is almost complete, and the authors have made progress on how a domain can be formally specified with the logic. The intention is that the logic presented here forms the foundation of an agent programming language that can generate control policies for decision theoretic agents.

Description:

20th Annual Symposium of the Pattern Recognition Association of South Africa (PRASA-09), Stellenbosch, South Africa, 30 November-1 December 2009