奥斯卡

如何合理地推理。本文描述了一个通用的可解推理机的构建,它是为一阶逻辑完成的,并且证明了基于可论证推理的可废止推理的充分性。因为对于一个可解推理机的一组有保证的结论一般不会递归枚举,一个基于谓词演算的丰富逻辑的可解推理器不能像传统的定理证明器那样起作用,并且简单地列举有保证的结论。另一个充分性的标准称为I.D.E.充分性是公式化的。该准则认真考虑了可废止推理可能无限期地牵涉到撤回和恢复结论的许多循环。它显示了如何构造一个推理器,在一定的现实假设下,证明它是足够的。奥斯卡的最新版本实现了这个系统,并给出了奥斯卡操作的例子。


ZBMaX中的参考文献(42篇)1标准条款

显示结果1至20的42。
按年份排序(引文
  1. 阿里利,Ofer;博格,AnneMarie;Heyninck,杰西:逻辑论证与最大一致性推理的关系述评(2019)
  2. 阿里利,Ofer;斯特拉耶,基督教:动态论证系统的逻辑论证(2019)
  3. 阿姆古德,Leila;Ben Naim,乔纳森:加权双极图中参数的评价(2018)
  4. 科恩,安德列;帕松斯,西蒙;Skar,Elizabeth I.;McBurney,彼得:结构论证中支持类型的表征及其在抽象论证中与支持的关系(2018)
  5. 阿姆古德,Leila;Nuioua,法里德:可论证推理系统(2017)
  6. Matt,Paul Amaury:统计数据和专家论证中不精确概率的使用和计算(2017)
  7. 阿里利,Ofer;斯特拉耶,克里斯蒂安:加强序列演算和动态推导演绎论证(2016)
  8. Vagin,V. N.;莫洛辛,O. L.;福米娜,M. V.:现代智能决策支持系统中的归纳推理和论证方法(2016)
  9. 巴罗尼,彼得洛;Giacomin,马西米利亚诺;Liao,Beishui:我不在乎,我不知道……我知道得太多了!论抽象论证中的不完备性与不确定性(2015)
  10. 阿姆古德,Leila:逻辑论证系统的假设(2014)
  11. 阿维拉加塞斯,Artur S.;Gabbay,Dov M.;兰姆,Luis C.:论证的神经认知模型及其在法律推理和决策中的应用(2014)
  12. Kaci,Souhila;LabRuuChe,克里斯多夫:价值偏好为基础的论证框架,具有不同强度的失败(2014)
  13. 阿里利,Ofer;Caminada,Martin W. A.:基于QBF的抽象论证语义形式化(2013)
  14. Leila,VESIC,SrdJay:一种基于偏好的论证框架的新方法(2012)
  15. 布莱克、伊丽莎白、亨特、安东尼:建构和解构焓的关联理论框架(2012)
  16. 卡米纳达,Martin W. A.;Walter A.,唐恩,Paul E.:半稳定语义学(2012)
  17. DVO沃尔夫冈,OrDyiak,塞巴斯蒂安;Szeider,斯特凡:增强可抽象片段的抽象论证(2012)
  18. 加斯珀,谢尔盖;Szeider,斯特凡:满意的后门(2012)
  19. Schwarzentruber,弗兰·奥斯,维斯克,斯德詹,里恩斯特拉,TjITZ:建立一种认知逻辑论证(2012)
  20. 张,Zhihu;林,Zuoquan:最小假设:基于扩展的论辩语义学(2012)