Reference : Value-based practical reasoning: Modal Logic + Argumentation

	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a journal
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/54257

Title :	Value-based practical reasoning: Modal Logic + Argumentation
Language :	English
Author, co-author :	Luo, Jieting [University of Bern, Switzerland, Switzerland]
	Liao, Beishui [Zhejiang University, China]
	Gabbay, Dov M. [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
Publication date :	2022
Journal title :	Frontiers in Artificial Intelligence and Applications
Publisher :	IOS Press BV
Volume :	353
Pages :	248-259
Peer reviewed :	Yes
Audience :	International
ISSN :	09226389
Event name :	9th International Conference on Computational Models of Argument, COMMA 2022
Event date :	14 September 2022 through 16 September 2022
Keywords :	[en] Argumentation ; Modal Logic ; Practical Reasoning ; Value ; Autonomous agents ; Formal logic ; Intelligent systems ; Local property ; Logic-based frameworks ; Modal logic ; Multiple plans ; Practical reasoning ; Sequence of actions ; Value-based ; Verification results ; Computer circuits
Abstract :	[en] 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.
Funders :	European Association of AI (EurAI);School of Computer Science and Informatics at the Cardiff University
Permalink :	http://hdl.handle.net/10993/54257
DOI :	10.3233/FAIA220157
Mentions required by the publisher for OA :	© 2022 The authors and IOS Press. All rights reserved.

	File(s) associated to this reference
	Fulltext file(s): File Commentary Version Size Access Limited access Value-Based Practical Reasoning: Modal Logic + Argumentation.pdf Publisher postprint 382.35 kB Request a copy

All documents in ORBi^lu are protected by a user license.

 

University of Luxembourg Library |  Feedback |  Legal notices Site Map