BriefGPT - AI 论文速递
·
答案集编程中的人类条件推理
💡
原文中文，约400字，阅读约需1分钟。
📝
内容提要
本文研究了人类推理中的四种不同类型的推断，包括肯定前提、肯定结论、否定前提和否定结论。人类在日常生活中通常会进行肯定结论和否定前提作为实用推理。本文在答案集编程中实现了这些推理，并引入了八种不同类型的完整性。
🎯
关键要点
- 研究了人类推理中的四种不同类型的推断：肯定前提、肯定结论、否定前提和否定结论。
- 肯定前提（AA）从 P 推出 Q，肯定结论（AC）从 Q 推出 P，否定前提（DA）从 -P 推出 -Q，否定结论（DC）从 -Q 推出 -P。
- AA 和 DC 在逻辑上是有效的，而 AC 和 DA 在逻辑上是无效的，通常被称为逻辑谬误。
- 人类在日常生活中通常会进行肯定结论（AC）或否定前提（DA）作为实用推理。
- 在答案集编程中实现了 AC、DA 和 DC 推理，并引入了八种不同类型的完整性。
- 通过答案集给出这些完整性的语义，并研究了形式属性。
- 对认知心理学中的人类推理任务进行了表征，这些完整性也应用于人工智能中的常识推理。
➡️
