BriefGPT.xyz
Nov, 2022
通过抽象解释保留论证性多智能体中的语义结构
Towards Preserving Semantic Structure in Argumentative Multi-Agent via Abstract Interpretation
HTML
PDF
Minal Suresh Patil
TL;DR
本研究探讨了利用模型检查的方式研究抽象概念来简化argumentation framework，这是解决动态multi-agent系统中的问题的一种方法。
Abstract
Over the recent twenty years,
argumentation
has received considerable attention in the fields of
knowledge representation
, reasoning, and
multi-a
→