To appropriately configure agents so as to avoid resource exhaustion, it is necessary to determine the minimum resource (time & memory) requirements necessary to solve reasoning problems. In this paper we show how the problem of reasoning under bounded resources can be recast as a planning problem. Focusing on propositional reasoning, we propose different recasting styles, which are equally interesting, since they require solving different classes of planning problems, and allow representing different reasoner architectures. We implement our approach by automatically encoding problems for the MBP planner. Our experimental results demonstrate that even simple problems can give rise to non-trivial (and often counter intuitive) time and memory saving strategies.

Bounded-Resource Reasoning as (Strong or Classical) Planning

Albore, Alexandre;Bertoli, Piergiorgio;Ghidini, Chiara;
2009-01-01

Abstract

To appropriately configure agents so as to avoid resource exhaustion, it is necessary to determine the minimum resource (time & memory) requirements necessary to solve reasoning problems. In this paper we show how the problem of reasoning under bounded resources can be recast as a planning problem. Focusing on propositional reasoning, we propose different recasting styles, which are equally interesting, since they require solving different classes of planning problems, and allow representing different reasoner architectures. We implement our approach by automatically encoding problems for the MBP planner. Our experimental results demonstrate that even simple problems can give rise to non-trivial (and often counter intuitive) time and memory saving strategies.
2009
9783642027338
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11582/5211
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
social impact