论文标题
控制论证框架的可能可控性 - 扩展版本
Possible Controllability of Control Argumentation Frameworks -- Extended Version
论文作者
论文摘要
最近的控制论证框架（CAF）是对粪便论证框架的概括，该框架处理不确定性下的论证动态。特别是它可以用来对代理的行为进行建模，该代理可以预测环境中的未来变化。在这里，我们通过定义CAF可能可控性的概念来为该模型提供新的见解。我们研究了这四种经典语义的这种新形式推理的复杂性，并为使用此框架提供了用于推理的逻辑编码。
The recent Control Argumentation Framework (CAF) is a generalization of Dung's Argumentation Framework which handles argumentation dynamics under uncertainty; especially it can be used to model the behavior of an agent which can anticipate future changes in the environment. Here we provide new insights on this model by defining the notion of possible controllability of a CAF. We study the complexity of this new form of reasoning for the four classical semantics, and we provide a logical encoding for reasoning with this framework.
