๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Reasoning about Change and Persistence

โœ Scribed by Pollock, John

Year
0
Tongue
English
Weight
2 MB
Category
Fiction

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Guest editor's introduction: Reasoning a
Guest editor's introduction: Reasoning about action and change
โœ Vladimir Lifschitz ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 94 KB

The automation of reasoning about the consequences of actions has been viewed as an important problem since the early days of Artificial Intelligence. Logic programming turned out to be an excellent tool for describing actions and their effects. The use of negation as failure leads to a simple solut

Reasoning about data and information
Reasoning about data and information
โœ Patrick Allo ๐Ÿ“‚ Article ๐Ÿ“… 2008 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 249 KB
Reasoning about emotional agents
Reasoning about emotional agents
โœ John-Jules Ch. Meyer ๐Ÿ“‚ Article ๐Ÿ“… 2006 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 163 KB

In this article we discuss the role of emotions in artificial agent design, and the use of logic in reasoning about the emotional or affective states an agent can reside in. We do so by extending the KARO framework for reasoning about rational agents appropriately. In particular, we formalize in thi