@inproceedings{Cardoso19EMAS,
author="Cardoso, Rafael C.
and Dennis, Louise A.
and Fisher, Michael",
editor="Dennis, Louise A.
and Bordini, Rafael H.
and Lesp{\'e}rance, Yves",
title="Plan Library Reconfigurability in BDI Agents",
booktitle="Engineering Multi-Agent Systems",
year="2020",
publisher="Springer International Publishing",
address="Cham",
pages="195--212",
abstract="One of the major advantages of modular architectures in robotic systems is the ability to add or replace nodes, without needing to rearrange the whole system. In this type of system, autonomous agents can aid in the decision making and high-level control of the robot. For example, a robot may have a module for each of the effectors and sensors that it has and an agent with a plan library containing high-level plans to aid in the decision making within these modules. However, when autonomously replacing a node it can be difficult to reconfigure plans in the agent's plan library while retaining correctness. In this paper, we exploit the formal concept of capabilities in Belief-Desire-Intention agents and describe how agents can reason about these capabilities in order to reconfigure their plan library while retaining overall correctness constraints. To validate our approach, we show the implementation of our framework and an experiment using a practical example in the Mars rover scenario.",
isbn="978-3-030-51417-4",
doi="10.1007/978-3-030-51417-4_10",
  note = {[<span class="fs">FAIR-SPACE</span>, <span class="rain">RAIN</span>]}
}

{"_id":"6GTYDLRRHoE8NQkFF","bibbaseid":"cardoso-dennis-fisher-planlibraryreconfigurabilityinbdiagents-2020","authorIDs":[],"author_short":["Cardoso, R. C.","Dennis, L. A.","Fisher, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Cardoso"],"firstnames":["Rafael","C."],"suffixes":[]},{"propositions":[],"lastnames":["Dennis"],"firstnames":["Louise","A."],"suffixes":[]},{"propositions":[],"lastnames":["Fisher"],"firstnames":["Michael"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Dennis"],"firstnames":["Louise","A."],"suffixes":[]},{"propositions":[],"lastnames":["Bordini"],"firstnames":["Rafael","H."],"suffixes":[]},{"propositions":[],"lastnames":["Lespérance"],"firstnames":["Yves"],"suffixes":[]}],"title":"Plan Library Reconfigurability in BDI Agents","booktitle":"Engineering Multi-Agent Systems","year":"2020","publisher":"Springer International Publishing","address":"Cham","pages":"195–212","abstract":"One of the major advantages of modular architectures in robotic systems is the ability to add or replace nodes, without needing to rearrange the whole system. In this type of system, autonomous agents can aid in the decision making and high-level control of the robot. For example, a robot may have a module for each of the effectors and sensors that it has and an agent with a plan library containing high-level plans to aid in the decision making within these modules. However, when autonomously replacing a node it can be difficult to reconfigure plans in the agent's plan library while retaining correctness. In this paper, we exploit the formal concept of capabilities in Belief-Desire-Intention agents and describe how agents can reason about these capabilities in order to reconfigure their plan library while retaining overall correctness constraints. To validate our approach, we show the implementation of our framework and an experiment using a practical example in the Mars rover scenario.","isbn":"978-3-030-51417-4","doi":"10.1007/978-3-030-51417-4_10","note":"[<span class=\"fs\">FAIR-SPACE</span>, <span class=\"rain\">RAIN</span>]","bibtex":"@inproceedings{Cardoso19EMAS,\nauthor=\"Cardoso, Rafael C.\nand Dennis, Louise A.\nand Fisher, Michael\",\neditor=\"Dennis, Louise A.\nand Bordini, Rafael H.\nand Lesp{\\'e}rance, Yves\",\ntitle=\"Plan Library Reconfigurability in BDI Agents\",\nbooktitle=\"Engineering Multi-Agent Systems\",\nyear=\"2020\",\npublisher=\"Springer International Publishing\",\naddress=\"Cham\",\npages=\"195--212\",\nabstract=\"One of the major advantages of modular architectures in robotic systems is the ability to add or replace nodes, without needing to rearrange the whole system. In this type of system, autonomous agents can aid in the decision making and high-level control of the robot. For example, a robot may have a module for each of the effectors and sensors that it has and an agent with a plan library containing high-level plans to aid in the decision making within these modules. However, when autonomously replacing a node it can be difficult to reconfigure plans in the agent's plan library while retaining correctness. In this paper, we exploit the formal concept of capabilities in Belief-Desire-Intention agents and describe how agents can reason about these capabilities in order to reconfigure their plan library while retaining overall correctness constraints. To validate our approach, we show the implementation of our framework and an experiment using a practical example in the Mars rover scenario.\",\nisbn=\"978-3-030-51417-4\",\ndoi=\"10.1007/978-3-030-51417-4_10\",\n note = {[<span class=\"fs\">FAIR-SPACE</span>, <span class=\"rain\">RAIN</span>]}\n}\n\n","author_short":["Cardoso, R. C.","Dennis, L. A.","Fisher, M."],"editor_short":["Dennis, L. A.","Bordini, R. H.","Lespérance, Y."],"key":"Cardoso19EMAS","id":"Cardoso19EMAS","bibbaseid":"cardoso-dennis-fisher-planlibraryreconfigurabilityinbdiagents-2020","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":5},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/autonomy-and-verification/autonomy-and-verification.github.io/master/pubs.bib","creationDate":"2020-07-14T11:06:09.833Z","downloads":5,"keywords":[],"search_terms":["plan","library","reconfigurability","bdi","agents","cardoso","dennis","fisher"],"title":"Plan Library Reconfigurability in BDI Agents","year":2020,"dataSources":["77JvGFZQteoFsRiyX","sf65xF3tXwz6TBuoQ","AdmcuDNM8GSatWG9Y","iqRbmbCgpDeaBjend"]}