𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Reasons and Agent-neutrality

✍ Scribed by Mark Schroeder


Publisher
Springer Netherlands
Year
2007
Tongue
English
Weight
246 KB
Volume
135
Category
Article
ISSN
0031-8116

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


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

Agent Based Mathematical Reasoning
✍ Christoph BenzmΓΌller; Mateja Jamnik; Manfred Kerber; Volker Sorge πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 625 KB

In this contribution we propose an agent architecture for theorem proving which we intend to investigate in depth in the future. The work reported in this paper is in an early state, and by no means finished. We present and discuss our proposal in order to get feedback from the Calculemus community.

Reasoning about agent deliberation
✍ N. Alechina; M. Dastani; B. S. Logan; J.-J. Ch. Meyer πŸ“‚ Article πŸ“… 2010 πŸ› Springer US 🌐 English βš– 367 KB