ResearchSpace

How do I revise my agent’s action theory?

Show simple item record

dc.contributor.author Varzinczak, IJ
dc.date.accessioned 2009-09-08T10:47:36Z
dc.date.available 2009-09-08T10:47:36Z
dc.date.issued 2009-06
dc.identifier.citation Varzinczak, IJ. 2009. How do I revise my agent’s action theory? 9th International Symposium on Logical Formalization of Commonsense Reasoning: Commonsense 2009, Toronto, Canada, 1-3 June, 2009. pp 129-134 en
dc.identifier.isbn 9780980284065
dc.identifier.uri http://hdl.handle.net/10204/3570
dc.description 9th International Symposium on Logical Formalization of Commonsense Reasoning: Commonsense 2009, Toronto, Canada, 1-3 June, 2009 en
dc.description.abstract Logical theories in reasoning about actions may also evolve and knowledge engineers need revision tools to incorporate new incoming laws about the dynamic environment. Researchers here fill this gap by providing an algorithmic approach for action theory revision. The researchers give a well defined semantics that ensures minimal change, and show correctness of the algorithms with regard to the semantic constructions. en
dc.language.iso en en
dc.subject Action theory en
dc.subject Logical theory en
dc.subject Reasoning en
dc.subject Semantic construction en
dc.subject Algorithms en
dc.subject Syntactic operators en
dc.subject Commonsense reasoning en
dc.subject Commonsense 2009 en
dc.title How do I revise my agent’s action theory? en
dc.type Conference Presentation en
dc.identifier.apacitation Varzinczak, I. (2009). How do I revise my agent’s action theory?. http://hdl.handle.net/10204/3570 en_ZA
dc.identifier.chicagocitation Varzinczak, IJ. "How do I revise my agent’s action theory?." (2009): http://hdl.handle.net/10204/3570 en_ZA
dc.identifier.vancouvercitation Varzinczak I, How do I revise my agent’s action theory?; 2009. http://hdl.handle.net/10204/3570 . en_ZA
dc.identifier.ris TY - Conference Presentation AU - Varzinczak, IJ AB - Logical theories in reasoning about actions may also evolve and knowledge engineers need revision tools to incorporate new incoming laws about the dynamic environment. Researchers here fill this gap by providing an algorithmic approach for action theory revision. The researchers give a well defined semantics that ensures minimal change, and show correctness of the algorithms with regard to the semantic constructions. DA - 2009-06 DB - ResearchSpace DP - CSIR KW - Action theory KW - Logical theory KW - Reasoning KW - Semantic construction KW - Algorithms KW - Syntactic operators KW - Commonsense reasoning KW - Commonsense 2009 LK - https://researchspace.csir.co.za PY - 2009 SM - 9780980284065 T1 - How do I revise my agent’s action theory? TI - How do I revise my agent’s action theory? UR - http://hdl.handle.net/10204/3570 ER - en_ZA


Files in this item

Thumbnail
Name: Varzinczak_d1_2009.pdf
Size: 244.5Kb
Format: PDF
View/Open

This item appears in the following Collection(s)

Show simple item record