Updating Action Descriptions and Plans for Cognitive Agents
In this paper we present an extension of Belief-Desire-Intention agents which can adapt their
performance in response to changes in their environment. Specifically we consider …
performance in response to changes in their environment. Specifically we consider …
Verifiable autonomy: From theory to applications
Abstract The Autonomy and Verification group 1 1 sits within the Department of Computer
Science 2 2 at the University of Manchester. The group has a long history of research into …
Science 2 2 at the University of Manchester. The group has a long history of research into …
vGOAL: A GOAL-Based Specification Language for Safe Autonomous Decision-Making
Formal verification is a reliable approach to addressing safety concerns in autonomous
applications. We have designed vGOAL based on the internal logic of the GOAL agent …
applications. We have designed vGOAL based on the internal logic of the GOAL agent …
[PDF][PDF] Enabling BDI Agents to Reason on a Dynamic Action Repertoire in Hypermedia Environments
D Vachtsevanou, B de Lima, A Ciortea… - Proceedings of the 23rd …, 2024 - ifaamas.org
Autonomy requires adaptability and persistence in pursuing longterm objectives within
evolving contexts. While BDI agents can cope with dynamic and uncertain environments …
evolving contexts. While BDI agents can cope with dynamic and uncertain environments …
Adaptive Cognitive Agents: Updating Action Descriptions and Plans
In this paper we present an extension of Belief-Desire-Intention agents which can adapt their
performance in response to changes in their environment. We consider situations in which …
performance in response to changes in their environment. We consider situations in which …
and Louise A. Dennis¹D 1 The University of Manchester, Manchester, UK {peter. stringer, clare. dixon, michael. fisher, 2
RC Cardoso, CDM Fisher¹D - Multi-Agent Systems: 20th …, 2023 - books.google.com
In this paper we present an extension of Belief-Desire-Intention agents which can adapt their
performance in response to changes in their environment. We consider situations in which …
performance in response to changes in their environment. We consider situations in which …
[PDF][PDF] vGOAL: a GOAL-based Specification Language for Safe Autonomous Decision-Making (Final Submission)
Formal verification is a reliable approach to addressing safety concerns in autonomous
applications. We have designed vGOAL based on the internal logic of the GOAL agent …
applications. We have designed vGOAL based on the internal logic of the GOAL agent …
[PDF][PDF] Adaptive Cognitive Agents: Updating Action Descriptions and Plans
LA Dennis - personalpages.manchester.ac.uk
In this paper we present an extension of Belief-Desire-Intention agents which can adapt their
performance in response to changes in their environment. We consider situations in which …
performance in response to changes in their environment. We consider situations in which …