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.
Reference:
Rens, GB and Varzinczak, IJ. 2009. Introducing a logic for real-world agents with degrees of belief. 20th Annual Symposium of the Pattern Recognition Association of South Africa (PRASA-09), Stellenbosch, South Africa, 30 November-1 December 2009, pp 1
Rens, G., & Varzinczak, I. (2009). Introducing a logic for real-world agents with degrees of belief. PRASA 2009. http://hdl.handle.net/10204/3946
Rens, GB, and IJ Varzinczak. "Introducing a logic for real-world agents with degrees of belief." (2009): http://hdl.handle.net/10204/3946
Rens G, Varzinczak I, Introducing a logic for real-world agents with degrees of belief; PRASA 2009; 2009. http://hdl.handle.net/10204/3946 .