Resource Adaptive Agents in Interactive Theorem Proving
| dc.creator | Benzmueller, Christoph | |
| dc.creator | Sorge, Volker | |
| dc.date | 2009-01-23 | |
| dc.date.accessioned | 2026-07-07T12:33:39Z | |
| dc.date.available | 2026-07-07T12:33:39Z | |
| dc.description | We introduce a resource adaptive agent mechanism which supports the user in interactive theorem proving. The mechanism uses a two layered architecture of agent societies to suggest appropriate commands together with possible command argument instantiations. Experiments with this approach show that its effectiveness can be further improved by introducing a resource concept. In this paper we provide an abstract view on the overall mechanism, motivate the necessity of an appropriate resource concept and discuss its realization within the agent architecture. | |
| dc.description | 13 pages | |
| dc.identifier | https://arxiv.org/abs/0901.3585 | |
| dc.identifier | http://arxiv.org/abs/0901.3585 | |
| dc.identifier | SEKI Report (ISSN 1437-4447), Saarland University, 1999 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/217202 | |
| dc.subject | Logic in Computer Science | |
| dc.subject | Artificial Intelligence | |
| dc.subject | I.2.11; I.2.3; F.4.1; D.4.7; H.3.4 | |
| dc.title | Resource Adaptive Agents in Interactive Theorem Proving | |
| dc.type | text |