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
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
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.