Bikakis, Antonios;
Diallo, Aissatou;
D'Asaro, Fabio;
Hunter, Anthony;
Miller, Rob;
(2025)
A Graphical Formalism for Reasoning about Substitution in Resource Transforming Procedures.
The journal of artificial intelligence research
(In press).
![[thumbnail of Hunter_Substitution_Graph_Journal_Paper__JAIR_.pdf]](https://discovery.ucl.ac.uk/style/images/fileicons/text.png) |
Text
Hunter_Substitution_Graph_Journal_Paper__JAIR_.pdf - Accepted Version Access restricted to UCL open access staff until 24 January 2026. Download (593kB) |
Abstract
The ability to repurpose and substitute materials and resources when necessary is an important aspect of human reasoning and activity. In particular, substitution plays a vital role in resource consuming and artifact producing activities – purposeful, goal directed procedures that transform resources from raw materials into finished products, the descriptions of which we refer to here as recipes. To see this, consider how adaptable humans are when we encounter constraints, such as limited resources, when making, manufacturing and constructing. In spite of this there has been comparatively little work given to developing representations for substitution within such contexts in a formal reasoning framework. We address this gap by proposing a graphical formalisation that captures consumables and the actions on them in the form of labelled bipartite graphs. Using examples such as “do it yourself” (DIY) instructions, manufacturing processes and cooking recipes to illustrate, we then propose formal definitions for comparing recipes, for composing recipes from subrecipes, and for deconstructing recipes into subrecipes. We then introduce and compare two formal definitions for substitution which are required when there are missing consumables, or some actions are not possible, or because there is some need to change the final product. We illustrate how automated reasoning about recipes in this context may be achieved by implementing our definitions in answer set programming (ASP).
| Type: | Article |
|---|---|
| Title: | A Graphical Formalism for Reasoning about Substitution in Resource Transforming Procedures |
| Publisher version: | https://jair.org/index.php/jair |
| Language: | English |
| Additional information: | This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions. |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL SLASH UCL > Provost and Vice Provost Offices > UCL SLASH > Faculty of Arts and Humanities UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science UCL > Provost and Vice Provost Offices > UCL SLASH > Faculty of Arts and Humanities > Dept of Information Studies |
| URI: | https://discovery.ucl.ac.uk/id/eprint/10211668 |
Archive Staff Only
 |
View Item |
