English
Related papers

Related papers: Adaptable and Verifiable BDI Reasoning

200 papers

The emergence of Agentic AI systems has outpaced the architectural thinking required to operate them effectively. These agents differ fundamentally from traditional software: their behavior is not fixed at deployment but continuously shaped…

Software Engineering · Computer Science 2026-01-13 Shaunak Biswas , Hiya Bhatt , Karthik Vaidhyanathan

Large Intelligent Systems are so complex these days that an urgent need for designing such systems in best available way is evolving. Modeling is the useful technique to show a complex real world system into the form of abstraction, so that…

Software Engineering · Computer Science 2011-11-04 Ankit Chaudhary , Jagdish L. Raheja

Human-like Agents with diverse and dynamic personalities could serve as an essential design probe in the process of user-centered design, thereby enabling designers to enhance the user experience of interactive applications. In this…

Human-Computer Interaction · Computer Science 2024-06-18 Jiale Li , Jiayang Li , Jiahao Chen , Yifan Li , Shijie Wang , Hugo Zhou , Minjun Ye , Yunsheng Su

In this paper we present a computational modeling account of an active self in artificial agents. In particular we focus on how an agent can be equipped with a sense of control and how it arises in autonomous situated action and, in turn,…

Artificial Intelligence · Computer Science 2021-12-13 Sebastian Kahl , Sebastian Wiese , Nele Russwinkel , Stefan Kopp

Autonomous agents acting in realistic Multi-Agent Systems (MAS) should be able to adapt during their execution. Standard strategic logics, such as Alternating-time Temporal Logic (ATL), model agents' state- or history-dependent behaviour.…

Logic in Computer Science · Computer Science 2026-04-30 Rustam Galimullin , Hermine Grosinger , Munyque Mittelmann

Domain-adaptive trajectory imitation is a skill that some predators learn for survival, by mapping dynamic information from one domain (their speed and steering direction) to a different domain (current position of the moving prey). An…

Machine Learning · Computer Science 2023-04-21 Edgardo Solano-Carrillo , Jannis Stoppe

The increase in available computing power and the Deep Learning revolution have allowed the exploration of new topics and frontiers in Artificial Intelligence research. A new field called Embodied Artificial Intelligence, which places at…

Robotics · Computer Science 2025-05-05 Roberto Bigazzi

This paper presents a step towards a formal controller design method for autonomous agents based on knowledge awareness to improve decision-making. Our approach is to first create an organized repository of information (a knowledge base)…

Systems and Control · Electrical Eng. & Systems 2024-11-14 Arabinda Ghosh , Mahmoud Salamati , Sadegh Soudjani

Recent manufacturing systems are increasingly adopting multi-robot collaboration to handle complex and dynamic environments. While multi-agent architectures support decentralized coordination among robot agents, they often face challenges…

Robotics · Computer Science 2025-05-30 Jonghan Lim , Ilya Kovalenko

As learning-based robotic controllers are typically trained offline and deployed with fixed parameters, their ability to cope with unforeseen changes during operation is limited. Biologically inspired, this work presents a framework for…

Robotics · Computer Science 2026-03-05 Fabian Domberg , Georg Schildbach

Empirical evidence suggesting that living systems might operate in the vicinity of critical points, at the borderline between order and disorder, has proliferated in recent years, with examples ranging from spontaneous brain activity to…

Statistical Mechanics · Physics 2014-07-25 Jorge Hidalgo , Jacopo Grilli , Samir Suweis , Miguel A. Munoz , Jayanth R. Banavar , Amos Maritan

Intelligent agents such as robots are increasingly deployed in real-world, safety-critical settings. It is vital that these agents are able to explain the reasoning behind their decisions to human counterparts; however, their behavior is…

Machine Learning · Computer Science 2023-12-01 Xijia Zhang , Yue Guo , Simon Stepputtis , Katia Sycara , Joseph Campbell

Many biological and cognitive systems do not operate deep within one or other regime of activity. Instead, they are poised at critical points located at phase transitions in their parameter space. The pervasiveness of criticality suggests…

Adaptation and Self-Organizing Systems · Physics 2018-06-04 Miguel Aguilera , Manuel G. Bedia

One of the main research areas in Artificial Intelligence is the coding of agents (programs) which are able to learn by themselves in any situation. This means that agents must be useful for purposes other than those they were created for,…

Artificial Intelligence · Computer Science 2011-02-04 Javier Insa-Cabrera , Jose Hernandez-Orallo

We argue that accountability mechanisms are needed in human-AI agent relationships to ensure alignment with user and societal interests. We propose a framework according to which AI agents' engagement is conditional on appropriate user…

Human-Computer Interaction · Computer Science 2025-10-28 Benjamin Lange , Geoff Keeling , Arianna Manzini , Amanda McCroskery

Artificial Intelligence (AI) agents capable of autonomous learning and independent decision-making hold great promise for addressing complex challenges across various critical infrastructure domains, including transportation, energy…

Multiagent Systems · Computer Science 2025-07-02 Hepeng Li , Yuhong Liu , Jun Yan , Jie Gao , Xiaoou Yang

Intelligent agents such as robots are increasingly deployed in real-world, safety-critical settings. It is vital that these agents are able to explain the reasoning behind their decisions to human counterparts, however, their behavior is…

Machine Learning · Computer Science 2023-09-20 Xijia Zhang , Yue Guo , Simon Stepputtis , Katia Sycara , Joseph Campbell

Real-world robots must operate under evolving dynamics caused by changing operating conditions, external disturbances, and unmodeled effects. These may appear as gradual drifts, transient fluctuations, or abrupt shifts, demanding real-time…

Robotics · Computer Science 2025-12-17 Rishabh Dev Yadav , Avirup Das , Hongyu Song , Samuel Kaski , Wei Pan

We introduce a resource adaptive agent mechanism which supports the user in interactive theorem proving. The mechanism uses a two layered architecture of agent societies to suggest appropriate commands together with possible command…

Logic in Computer Science · Computer Science 2009-01-26 Christoph Benzmueller , Volker Sorge

Most of the grand challenges of humanity today involve complex agent-based systems, such as epidemiology, economics or ecology. However, remains as a pending task the challenge of identifying the general principles underlying their…

General Finance · Quantitative Finance 2020-10-19 Martin Jaraiz