𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Agent Based Mathematical Reasoning

✍ Scribed by Christoph Benzmüller; Mateja Jamnik; Manfred Kerber; Volker Sorge

Publisher
Elsevier Science
Year
1999
Tongue
English
Weight
625 KB
Volume
23
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

✦ Synopsis

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.

📜 SIMILAR VOLUMES

Reasoning about agent deliberation
Reasoning about agent deliberation
✍ N. Alechina; M. Dastani; B. S. Logan; J.-J. Ch. Meyer 📂 Article 📅 2010 🏛 Springer US 🌐 English ⚖ 367 KB
Constructing deliberative agents with ca
Constructing deliberative agents with case-based reasoning technology
✍ J. M. Corchado; R. Laza 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 127 KB

This article shows how autonomous agents may be constructed with the help of case-based reasoning (CBR) systems. The advantages and disadvantages of deliberative agents are discussed, and it is shown how to solve some of their inconveniences, especially those related to their implementation and adap