BriefGPT - AI 论文速递 · 2023-08-16T00:00:00Z 描述逻辑进入二阶：使用全量量化概念扩展 EL 💡 原文中文，约200字，阅读约需1分钟。 📝 内容提要 该论文介绍了描述逻辑的特性，并首次引入了普遍量化的概念。作者提出了两种扩展的语义模型，包括模态逻辑中的公理原型和二阶逻辑中的量词的替代。研究表明，在某些扩展的语义中，所得出的结论与经典的描述逻辑相符，并证明了某种程度上用于这种扩展的算法的多项式可判定性。 🏷️ 标签 二阶逻辑 描述逻辑 普遍量化 模态逻辑 语义模型 阅读原文 生成长图 分享链接 已复制链接
