Introducing a logic for real-world agents with degrees of belief

Rens, GBVarzinczak, IJ2010-02-182010-02-182009-12Rens, 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 1http://hdl.handle.net/10204/394620th Annual Symposium of the Pattern Recognition Association of South Africa (PRASA-09), Stellenbosch, South Africa, 30 November-1 December 2009The 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.enDyMoDeLReal world agentAgent programming languagePRASA 2009Introducing a logic for real-world agents with degrees of beliefConference PresentationRens, G., & Varzinczak, I. (2009). Introducing a logic for real-world agents with degrees of belief. PRASA 2009. http://hdl.handle.net/10204/3946Rens, GB, and IJ Varzinczak. "Introducing a logic for real-world agents with degrees of belief." (2009): http://hdl.handle.net/10204/3946Rens G, Varzinczak I, Introducing a logic for real-world agents with degrees of belief; PRASA 2009; 2009. http://hdl.handle.net/10204/3946 .TY - Conference Presentation AU - Rens, GB AU - Varzinczak, IJ AB - 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. DA - 2009-12 DB - ResearchSpace DP - CSIR KW - DyMoDeL KW - Real world agent KW - Agent programming language KW - PRASA 2009 LK - https://researchspace.csir.co.za PY - 2009 T1 - Introducing a logic for real-world agents with degrees of belief TI - Introducing a logic for real-world agents with degrees of belief UR - http://hdl.handle.net/10204/3946 ER -