(扩展) 非析取逻辑程序的论证性描述
摘要：关于论证理论，特别是基于假设的论证和不同类型的逻辑程序之间关系的研究，本文延续了一个已有的研究方向。具体而言，我们通过展示基于假设的论证不仅可以表示正常的逻辑程序，还可以表示包括并形式逻辑程序及其扩展的逻辑程序，扩展了Caminada、Schultz和Toni已有的结果。为此，我们考虑了一些关于析取的推理规则，这些推理规则应该符合论证框架核心逻辑的处理要求，并展示了它们与逻辑程序规则头部中的析取处理的对应关系。
作者：Jesse Heyninck and Ofer Arieli
论文ID：2306.07126
分类：Artificial Intelligence
分类简称：cs.AI
提交时间：2023-06-13