论证理论
计算机科学
语义学(计算机科学)
概率论证
理论计算机科学
订单(交换)
程序设计语言
形式语义学(语言学)
人工智能
认识论
哲学
财务
经济
作者
Alexander Steen,David Fuenmayor
标识
DOI:10.1093/logcom/exac027
摘要
Abstract We present an approach for representing abstract argumentation frameworks based on an encoding into classical higher-order logic. This provides a uniform framework for computer-assisted assessment of abstract argumentation frameworks using interactive and automated reasoning tools. This enables the formal analysis and verification of meta-theoretical properties as well as the flexible generation of extensions and labellings with respect to well-known argumentation semantics.
科研通智能强力驱动
Strongly Powered by AbleSci AI