抽象论证在高等逻辑中的形式化
人工智能
2021-10-19 v1 计算机科学中的逻辑
摘要
我们提出了一种基于经典高等逻辑编码的抽象论证框架表示方法。这提供了一个统一框架，可利用交互式与自动化推理工具对抽象论证框架进行计算机辅助评估。这使得对元理论性质的形式化分析与验证成为可能，并能针对著名的论证语义灵活生成扩展与标记。
引用
@article{arxiv.2110.09174,
title = {A Formalisation of Abstract Argumentation in Higher-Order Logic},
author = {Alexander Steen and David Fuenmayor},
journal= {arXiv preprint arXiv:2110.09174},
year = {2021}
}
备注
33 pages, 8 figures; submitted article