Computational Logic in Multi-Agent Systems
Computational Logic in Multi-Agent Systems
复制标题
多智能体系统中的计算逻辑
DOI：
10.1007/978-3-642-14977-1_6
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Benzmüller C
中科院分区：
文献类型：
--
作者：
Benzmüller C
简单类型理论适合作为结合经典和非经典逻辑的框架。这种说法是基于这样的观察，即各种突出的逻辑，包括（量化的）多模态逻辑和直觉主义逻辑，可以优雅地嵌入简单类型理论。此外，简单类型理论对于嵌入式逻辑的组合建模具有足够的表达能力，并且具有很好的语义理解。现成的简单类型论推理系统存在，可以统一用于推理inandaboutcombinations逻辑。模态逻辑和其他逻辑的组合对于多智能体系统特别相关。
Simple type theory is suited as framework for combining classical and non-classical logics. This claim is based on the observation that various prominent logics, including (quantified) multimodal logics and intuitionistic logics, can be elegantly embedded in simple type theory. Furthermore, simple type theory is sufficiently expressive to model combinations of embedded logics and it has a well understood semantics. Off-the-shelf reasoning systems for simple type theory exist that can be uniformly employed for reasoningwithinandaboutcombinations of logics. Combinations of modal logics and other logics are particularly relevant for multi-agent systems.
登录
查看更多内容
社交网络中的争论
DOI：
--
发表时间：
2013
期刊：
Adaptive Agents and Multi-Agent Systems
影响因子：
--
作者：
Simone Gabbriellini;Paolo Torroni
通讯作者：
Paolo Torroni
DOI：
--
发表时间：
2010
期刊：
Argument Comput.
影响因子：
--
作者：
Uwe Egly;S. A. Gaggl;S. Woltran
通讯作者：
S. Woltran
通过微型辩论达成大规模协议
DOI：
--
发表时间：
2012
期刊：
International Conference on Agreement Technologies
影响因子：
--
作者：
Simone Gabbriellini;Paolo Torroni
通讯作者：
Paolo Torroni
计算抽象论证中的首选扩展：基于 SAT 的方法
DOI：
--
发表时间：
2013
期刊：
International Workshop on Theorie and Applications of Formal Argumentation
影响因子：
--
作者：
F. Cerutti;P. Dunne;M. Giacomin;M. Vallati
通讯作者：
M. Vallati
论证语义算法：将攻击标记为标签参数的泛化
影响因子：
5
作者：
Samer Nofal;Katie Atkinson;P. Dunne
通讯作者：
P. Dunne