奥斯卡

如何不折不扣地推理。本文描述了一个对一阶逻辑是完备的,并可证明适合于基于论证的可撤销推理概念的通用可撤销推理器的构造。由于可撤销推理机的保证结论集通常不是递归可枚举的,基于谓词演算等丰富逻辑的可撤销推理机不能像传统的定理证明器那样工作,而只是枚举保证结论。提出了一种称为i.d.e.-充分性的替代标准。这一标准严肃地对待这样一种观点,即不可撤销的推理可能涉及无限多个撤回和恢复结论的循环。它展示了如何构造一个在一定的现实假设下,是可证明的i.d.e.-充分的推理机。OSCAR的最新版本实现了这个系统,并给出了OSCAR操作的例子。


zbMATH中的参考文献(参考 44篇文章 参考,1标准件)

显示第1到第20个结果,共44个。
按年份排序(引文)
  1. 阿尔坎塔拉,若昂;萨米:论抽象辩证框架的三值接受条件(2019)
  2. Arieli,Ofer;Borg,AnneMarie;Heyninck,Jesse:逻辑论证与最大一致性推理之间关系的回顾(2019)
  3. Arieli,Ofer;Straßer,Christian:动态证明系统的逻辑论证(2019)
  4. Amgoud,Leila;Ben Naim,Jonathan:加权双极图中参数的评估(2018)
  5. Andrea Cohen;Simon Parsons;Sklar,Elizabeth I.;McBurney,Peter:《结构化论据之间支持类型的表征及其与抽象论证中支持的关系》(2018)
  6. Amgoud,Leila;Nouiua,Farid:可撤销推理的论证系统(2017)
  7. Matt,Paul Amaury:统计数据和专家论证中不精确概率的使用和计算(2017)
  8. Arieli,Ofer;Straßer,Christian:通过增强的顺序计算和动态推导进行的演绎论证(2016)
  9. Vagin,V.N.;Morosin,O.L.;Fomina,M.V.:现代智能决策支持系统中的归纳推理和论证方法(2016)
  10. 巴罗尼,皮埃特罗;吉亚明,马西米利亚诺;廖碧水:我不在乎,我不知道(……)我知道的太多了!论抽象论证中的不完全性和不确定性(2015)
  11. Amgoud,Leila:基于逻辑的论证系统的假设(2014)
  12. d'Avila Garcez,Artur S.;Gabbay,Dov M.;Lamb,Luis C.:用于法律推理和决策的论证的神经认知模型(2014)
  13. Kaci,Souhila;Labreuche,Christophe:基于偏好的论证框架实例,但存在不同强度的失败(2014年)
  14. Arieli,Ofer;Caminada,Martin W.A.:基于QBF的抽象论证语义形式化(2013)
  15. Amgoud,Leila;Vesic,Srdjan:基于偏好的论证框架的新方法(2012)
  16. 安东尼·亨特(Anthony Hunter)和《解构推理框架》,2012年版
  17. Caminada,Martin W.A.;Carnielli,Walter A.;Dunne,Paul E.:半稳定语义学(2012)
  18. Dvořak,Wolfgang;Ordyniak,Sebastian;Szeider,Stefan:《抽象论证的可处理片段的扩充》(2012)
  19. 加斯佩斯,谢尔盖;斯泽德,斯特凡:《满足的后门》(2012)
  20. Schwarzentruber,François;Vesic,Srdjan;Rienstra,Tjitze:构建论证的认知逻辑(2012)