A Logic of Evaluation

Emiliano Lorini (1, 2)

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
2 CNRS - Centre National de la Recherche Scientifique

We present a logic of evaluation which clarifies the relationship between knowledge, values and preferences of multiple agents in an interactive setting. Evaluation is a fundamental concept for understanding how an ethical agent’s decision is affected by her values. We provide a complete axiomatics for the logic and present a dynamic extension by the concept of value expansion. We show that value expansion indirectly affects the agents’ preferences by inducing a preference upgrade operation.

Domaines: Intelligence artificielle [cs.AI]; Logique en informatique [cs.LO]

Emiliano Lorini. A Logic of Evaluation. 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2021), International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), May 2021, London, virtual, United Kingdom. pp.827-835. ⟨hal-03453914⟩