答案集编程中的人类条件推理

💡 原文中文,约400字,阅读约需1分钟。
📝

内容提要

本文研究了人类推理中的四种不同类型的推断,包括肯定前提、肯定结论、否定前提和否定结论。人类在日常生活中通常会进行肯定结论和否定前提作为实用推理。本文在答案集编程中实现了这些推理,并引入了八种不同类型的完整性。

🏷️

标签

➡️

继续阅读