BriefGPT - AI 论文速递
·
逻辑程序在答案集语义下的非正式语义变体的历史回顾：GL'88、GL'91、GK'14、D-V'12
💡
原文中文，约200字，阅读约需1分钟。
📝
内容提要
本研究概述了与逻辑编程在答案集语义下相关的非正式语义的历史调查，并将其与答案集编程和ASP-Prolog对齐。
🎯
关键要点
- 本研究概述了逻辑编程在答案集语义下的非正式语义的历史调查。
- 研究以统一的术语进行回顾。
- 将非正式语义与答案集编程和ASP-Prolog对齐。
- 答案集编程和ASP-Prolog是人工智能中重要的知识表示和推理范式。
➡️
