Value-based practical reasoning: Modal Logic + Argumentation

Jieting Luo, Beishui Liao, Dov Gabbay

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


Autonomous agents are supposed to be able to finish tasks or achieve goals that are assigned by their users through performing a sequence of actions. Since there might exist multiple plans that an agent can follow and each plan might promote or demote different values along each action, the agent should be able to resolve the conflicts between them and evaluate which plan he should follow. In this paper, we develop a logic-based framework that combines modal logic and argumentation for value-based practical reasoning with plans. Modal logic is used as a technique to represent and verify whether a plan with its local properties of value promotion or demotion can be followed to achieve an agent's goal. We then propose an argumentation-based approach that allows an agent to reason about his plans in the form of supporting or objecting to a plan using the verification results.

Original languageEnglish
Title of host publicationComputational Models of Argument - Proceedings of COMMA 2022
EditorsFrancesca Toni, Sylwia Polberg, Richard Booth, Martin Caminada, Hiroyuki Kido
PublisherIOS Press BV
Number of pages12
ISBN (Electronic)9781643683065
StatePublished - 7 Sep 2022
Externally publishedYes
Event9th International Conference on Computational Models of Argument, COMMA 2022 - Wales, United Kingdom
Duration: 14 Sep 202216 Sep 2022

Publication series

NameFrontiers in Artificial Intelligence and Applications
ISSN (Print)0922-6389
ISSN (Electronic)1879-8314


Conference9th International Conference on Computational Models of Argument, COMMA 2022
Country/TerritoryUnited Kingdom

Bibliographical note

Publisher Copyright:
© 2022 The authors and IOS Press. All rights reserved.


  • Argumentation
  • Modal Logic
  • Practical Reasoning
  • Value


Dive into the research topics of 'Value-based practical reasoning: Modal Logic + Argumentation'. Together they form a unique fingerprint.

Cite this