Tools
Tools
Criado, N, Argente, E, Noriega, P and Botti, VJ (2014) Reasoning about constitutive norms in BDI agents. Logic Journal of the IGPL, 22 (1). pp. 66-93. ISSN 13670751
|
Text
ConstitutiveIGPLVersionFinal.pdf Download (607kB) | Preview |
Abstract
Software agents can be members of different institutions along their life; they might even belong to different institutions simultaneously. For these reasons, agents need capabilities that allow them to determine the repercussion that their actions would have within the different institutions. This association between the physical word, in which agents' interactions and actions take place, and the institutional world is defined by means of constitutive norms. Currently, the problem of how agents reason about constitutive norms has been tackled from a theoretical perspective only. Thus, there is a lack of more practical proposals that allow the development of software agents capable of reasoning about constitutive norms. In this article we propose an information model, knowledge representation and an inference mechanism to enable Belief-Desire-Intention agents to reason about the consequences of their actions on the institutions and making decisions accordingly. Specifically, the information model, knowledge representation and inference mechanism proposed in this article allows agents to keep track of the institutional state given that they have a physical presence in some real-world environment. Agents have a limited and not fully believable knowledge of the physical world (i.e. they are placed in an uncertain environment). Therefore, our proposal also deals with the uncertainty of the environment. © The Author 2013. Published by Oxford University Press. All rights reserved.
| Item Type: | Article |
|---|---|
| Additional Information: | This is a pre-copyedited, author-produced PDF of an article accepted for publication in Logic journal of the IGPL following peer review. The version of Reasoning about constitutive norms in BDI agents is available online at: http://dx.doi.org/10.1093/jigpal/jzt035. |
| Subjects: | Q Science > QA Mathematics > QA76 Computer software |
| Divisions: | Computer Science & Mathematics |
| Publisher: | Oxford University Press |
| Date Deposited: | 05 Nov 2014 14:37 |
| Last Modified: | 04 Sep 2021 14:48 |
| URI: | https://researchonline.ljmu.ac.uk/id/eprint/163 |
 |
View Item |