论文标题
基于价值的实用推理：模态逻辑 +论点
Value-based Practical Reasoning: Modal Logic + Argumentation
论文作者
论文摘要
自主代理应该能够完成任务或实现通过执行一系列操作的用户分配的目标。由于代理可以遵循的多个计划，每个计划都可能沿着每个行动促进或降低不同的价值观，因此代理应该能够解决他们之间的冲突并评估他应该遵循的计划。在本文中，我们开发了一个基于逻辑的框架，该框架结合了模态逻辑和基于价值的实际推理与计划的论证。模态逻辑被用作一种技术来表示和验证具有其局部价值促进或降级属性的计划以实现代理的目标。然后，我们提出了一种基于论证的方法，该方法允许代理商使用验证结果以支持或反对计划的形式来推理其计划。
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.
