Value-based Practical Reasoning: Modal Logic + Argumentation

04/11/2022
by   Jieting Luo, et al.
0

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.

READ FULL TEXT

Authors

page 1

page 2

page 3

page 4

09/11/2020

An Argumentation-based Approach for Identifying and Dealing with Incompatibilities among Procedural Goals

During the first step of practical reasoning, i.e. deliberation, an inte...
01/28/2017

Practical Reasoning with Norms for Autonomous Software Agents (Full Edition)

Autonomous software agents operating in dynamic environments need to con...
08/10/2020

Proof-Carrying Plans: a Resource Logic for AI Planning

Recent trends in AI verification and Explainable AI have raised the ques...
07/03/2016

A Hybrid POMDP-BDI Agent Architecture with Online Stochastic Planning and Plan Caching

This article presents an agent architecture for controlling an autonomou...
01/15/2014

Computational Logic Foundations of KGP Agents

This paper presents the computational logic foundations of a model of ag...
01/26/2019

Credulous Acceptability, Poison Games and Modal Logic

The Poison Game is a two-player game played on a graph in which one play...
04/26/2019

Using Sub-Optimal Plan Detection to Identify Commitment Abandonment in Discrete Environments

Assessing whether an agent has abandoned a goal or is actively pursuing ...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.