Search
Search Results
-
Complexity of multi-agent conformant planning with group knowledge
In this paper, we propose a dynamic epistemic framework to capture the knowledge evolution in multi-agent systems where agents are not able to...
-
Re-Imagining Business Agency through Multi-Agent Cross-Sector Coalitions: Integrating CSR Frameworks
This theoretical paper takes an agency-theoretic approach to questions of corporate social responsibility (CSR). A comparison of various extant...
-
Multi-agent Conformant Planning with Distributed Knowledge
In this paper, we study the evolution of knowledge in multi-agent conformant planning over transition systems. We propose a dynamic epistemic logical... -
A Non-alethic Multi-agent Doxastic Logic as a Solution to Epistemic Conflicts
The non-alethic systems N 1 of da Costa and A of Grana are both paraconsistent and paracomplete. Based on them, a multi-agent doxastic logic N A DK can...
-
Easier said than defined? Conceptualising justice in food system transitions
The transition towards sustainable and just food systems is ongoing, illustrated by an increasing number of initiatives that try to address...
-
Formal Modelling and Verification of Probabilistic Resource Bounded Agents
Many problems in Multi-Agent Systems (MASs) research are formulated in terms of the abilities of a coalition of agents. Existing approaches to...
-
AI Moral Enhancement: Upgrading the Socio-Technical System of Moral Engagement
Several proposals for moral enhancement would use AI to augment (auxiliary enhancement) or even supplant (exhaustive enhancement) human moral...
-
Dynamic Epistemic Logic for Budget-Constrained Agents
We present a static ( \(\textsf{EL}_{\textsf{bc}}\) ) and dynamic (... -
The Birth of Human-Machine Knowledge
Changes happen in both time and space. The technology collaboration and integration development of agent and multi-agent mark the arrival of the era... -
Modeling mothering: the development of an experimental system in neurobiology
This article explores the development of a rat model of mother-infant relationships from its origins in the psychosomatic investigations of the...
-
Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities
We present a propositional and a first-order logic for reasoning about higher-order upper and lower probabilities. We provide sound and complete...
-
Bridging Informal Reasoning and Formal Proving: The Role of Argumentation in Proof-Events
This paper explores the relationship between informal reasoning, creativity in mathematics, and problem solving. It underscores the importance of...
-
Autonomous Weapon System: Debating Legal–Ethical Consideration and Meaningful Human Control Challenges in the Military Environment
The human experience of warfare is changing with the introduction of AI in the field of advance weapon technology. Particularly, in the last five... -
Traits of the Political System
Now that we have dealt with the market failure, we want to investigate the question of whether politics makes economic decisions in a... -
Towards trust-based governance of health data research
Developments in medical big data analytics may bring societal benefits but are also challenging privacy and other ethical values. At the same time,...
-
Dynamic epistemic logics for abstract argumentation
This paper introduces a multi-agent dynamic epistemic logic for abstract argumentation. Its main motivation is to build a general framework for...
-
Modelling Accuracy and Trustworthiness of Explaining Agents
Current research in Explainable AI includes post-hoc explanation methods that focus on building transparent explaining agents able to emulate opaque... -
Is Synchronic Self-Control Possible?
An agent exercises instrumental rationality to the degree that she adopts appropriate means to achieving her ends. Adopting appropriate means to...
-
Social Media/Online Behavior and Transition: A Personal Story of an Attorney Father About His Autistic Son and the Criminal Justice System
This is a personal narrative written by the father of an autistic adult who became enmeshed in the criminal justice systemCriminal justice system. He... -
Proof-Theoretic Analysis of the Logics of Agency: The Deliberative STIT
A sequent calculus methodology for systems of agency based on branching-time frames with agents and choices is proposed, starting with a complete and...