ResearchSpace

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

Show simple item record

dc.contributor.author Rens, GB
dc.contributor.author Varzinczak, IJ
dc.date.accessioned 2010-02-18T10:54:26Z
dc.date.available 2010-02-18T10:54:26Z
dc.date.issued 2009-12
dc.identifier.citation 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 en
dc.identifier.uri http://hdl.handle.net/10204/3946
dc.description 20th Annual Symposium of the Pattern Recognition Association of South Africa (PRASA-09), Stellenbosch, South Africa, 30 November-1 December 2009 en
dc.description.abstract 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. en
dc.language.iso en en
dc.publisher PRASA 2009 en
dc.subject DyMoDeL en
dc.subject Real world agent en
dc.subject Agent programming language en
dc.subject PRASA 2009 en
dc.title Introducing a logic for real-world agents with degrees of belief en
dc.type Conference Presentation en
dc.identifier.apacitation Rens, G., & Varzinczak, I. (2009). Introducing a logic for real-world agents with degrees of belief. PRASA 2009. http://hdl.handle.net/10204/3946 en_ZA
dc.identifier.chicagocitation Rens, GB, and IJ Varzinczak. "Introducing a logic for real-world agents with degrees of belief." (2009): http://hdl.handle.net/10204/3946 en_ZA
dc.identifier.vancouvercitation Rens G, Varzinczak I, Introducing a logic for real-world agents with degrees of belief; PRASA 2009; 2009. http://hdl.handle.net/10204/3946 . en_ZA
dc.identifier.ris 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 - en_ZA


Files in this item

Thumbnail
Name: Gens_2009.pdf
Size: 33.81Kb
Format: PDF
View/Open

This item appears in the following Collection(s)

Show simple item record