Timotheus Kampik

FLAP Journal 2025 Journal Article

Cautious Nonmonotonicity

• Timotheus Kampik

A key intuition in symbolic artificial intelligence is that an intelligent sys- tem should be non-monotonic, but cautiously so: previous conclusions should only be revised if a compelling reason for doing so exists. In this paper, I trace the evolution of this intuition, which emerged from Dov Gabbay’s seminal 1985 paper and gained additional prominence as cautious monotonicity in the 1990 KLM paper, as well as in an earlier paper by Makinson. I introduce the term cautious nonmonotonicity for the general idea of assuring that monotonicity is satisfied given some condition, thus highlighting that it is the violation, and not the satisfaction, of monotonicity that we need to be careful about. Also, I discuss why cautious nonmonotonicity still is an open problem in theory and practice, and present some results that highlight the intricacy of cautious non- monotonicity in the simple case of abstract argumentation, where inferences are drawn from directed graphs without further structure.

JAAMAS Journal 2025 Journal Article

Disagree and commit: degrees of argumentation-based agreements

• Timotheus Kampik
• Juan Carlos Nieves

Abstract In cooperative human decision-making, agreements are often not total; a partial degree of agreement is sufficient to commit to a decision and move on, as long as one is somewhat confident that the involved parties are likely to stand by their commitment in the future, given no drastic unexpected changes. In this paper, we introduce the notion of agreement scenarios that allow artificial autonomous agents to reach such agreements, using formal models of argumentation, in particular abstract argumentation and value-based argumentation. We introduce the notions of degrees of satisfaction and (minimum, mean, and median) agreement, as well as a measure of the impact a value in a value-based argumentation framework has on these notions. We then analyze how degrees of agreement are affected when agreement scenarios are expanded with new information, to shed light on the reliability of partial agreements in dynamic scenarios. An implementation of the introduced concepts is provided as part of an argumentation-based reasoning software library.

EUMAS Conference 2024 Conference Paper

Can Proof Assistants Verify Multi-agent Systems?

• Julian Alfredo Mendez
• Timotheus Kampik

Abstract This paper presents the Soda language for verifying multi-agent systems. Soda is a high-level functional and object-oriented language that supports the compilation of its code not only to Scala, a strongly statically typed high-level programming language, but also to Lean, a proof assistant and programming language. Given these capabilities, Soda can implement multi-agent systems, or parts thereof, that can then be integrated into a mainstream software ecosystem on the one hand and formally verified with state-of-the-art tools on the other hand. We provide a brief and informal introduction to Soda and the aforementioned interoperability capabilities, as well as a simple demonstration of how interaction protocols can be designed and verified with Soda. In the course of the demonstration, we highlight challenges with respect to real-world applicability.

AAMAS Conference 2023 Conference Paper

TDD for AOP: Test-Driven Development for Agent-Oriented Programming

• Cleber Jorge Amaral
• Jomi Fred Hübner
• Timotheus Kampik

This demonstration paper introduces native test-driven development capabilities that have been implemented in an agent-oriented programming language, in particular as extensions of AgentSpeak. We showcase how these capabilities can facilitate the testing and continuous integration of agents in JaCaMo multi-agent systems.

AIJ Journal 2022 Journal Article

The quest of parsimonious XAI: A human-agent architecture for explanation formulation

• Yazan Mualla
• Igor Tchappi
• Timotheus Kampik
• Amro Najjar
• Davide Calvaresi
• Abdeljalil Abbas-Turki
• Stéphane Galland
• Christophe Nicolle

IS Journal 2021 Journal Article

Argumentation-Based Health Information Systems: A Design Methodology

• Helena Lindgren
• Timotheus Kampik
• Esteban Guerrero Rosero
• Madeleine Blusi
• Juan Carlos Nieves

In this article, we present a design methodology for argumentation-based health information systems. With a focus on the application of formal argumentation, the methodology aims at eliciting requirements in regard to argumentation reasoning behavior, knowledge and user models, and business logic on levels below and above the argumentation layer. We highlight specific considerations that need to be made dependent on the system type, i. e. , for clinical decision-support systems, patient-facing systems, and administration systems. In addition, we outline challenges in regard to the design of argumentation-based intelligent systems for healthcare, considering the state of the art of argumentation research, health information systems, and software design methods. For each challenge, we outline a mitigation strategy.

AAMAS Conference 2021 Conference Paper

Autonomous Agents on the Edge of Things

• Timotheus Kampik
• Andres Gomez
• Andrei Ciortea
• Simon Mayer

This paper describes a demonstration setup that integrates cognitive agents with the latest W3C standardization efforts for the Web of Things (WoT). The conceptual foundations of the implemented system are the integration of cognitive agent abstractions with W3C Web Things, which are generic abstractions of devices and virtual services that provide agents with various interaction affordances (e. g. , actions, events). Together with the W3C WoT Scripting API, which is an ECMAScript-compatible API for W3C WoT environments, these standards allow JavaScript-based agents to be deployed and to operate in heterogeneous WoT environments. The agents can then be effectively distributed across the physical-virtual space in a write once, run anywhere manner: we deploy agents across a heterogeneous information system landscape that includes Web servers, browser-based front-ends, and constrained devices (microcontrollers). The deployment only requires minor platform-specific adjustments to consider resource and performance limitations on constrained devices. As a running example, we demonstrate a semiautonomous assembly scenario with human-in-the-loop support.

AAMAS Conference 2021 Conference Paper

Toward Consistent Agreement Approximation in Abstract Argumentation and Beyond

• Timotheus Kampik
• Juan Carlos Nieves

In cooperative human decision-making, agreements are often not total; a partial degree of agreement is sufficient to commit to a decision and move on, as long as one is somewhat confident that the involved parties are likely to stand by their commitment in the future, given no drastic unexpected changes. In this work, we introduce models that allow autonomous agents to reach such agreements, using abstract argumentation as the underlying model.

AAMAS Conference 2019 Conference Paper

Empathic Agents: A Hybrid Normative/Consequentialistic Approach

• Timotheus Kampik

Complex information systems operate with increasing degrees of autonomy. Consequently, such systems should not only optimize for simple metrics (like clicks and views) that reflect the system provider’s preferences but also consider norms or rules, as well as the preferences of other agents that are affected by the systems’ actions. As a means to achieve such behavior, we propose the design and development of empathic agents that use a mixed rule/utilitybased approach when deciding on how to act, considering both their own and others’ utility functions. The agents make use of formal argumentation to reach an agreement on how to act in case of inconsistent beliefs. A promising domain for applying our empathic agents is recommender systems.

EUMAS Conference 2018 Conference Paper

Implementing Argumentation-Enabled Empathic Agents

• Timotheus Kampik
• Juan Carlos Nieves
• Helena Lindgren

Abstract In a previous publication, we introduced the core concepts of empathic agents as agents that use a combination of utility-based and rule-based approaches to resolve conflicts when interacting with other agents in their environment. In this work, we implement proof-of-concept prototypes of empathic agents with the multi-agent systems development framework Jason and apply argumentation theory to extend the previously introduced concepts to account for inconsistencies between the beliefs of different agents. We then analyze the feasibility of different admissible set-based argumentation semantics to resolve these inconsistencies. As a result of the analysis, we identify the maximal ideal extension as the most feasible argumentation semantics for the problem in focus.