| 中文题名： | 中介逻辑程序的操作语义 |
| 姓名： | |
| 学号： | 1336 |
| 保密级别： | 公开 |
| 论文语种： | chi |
| 学科名称： | 计算机应用 |
| 学生类型： | 硕士 |
| 学校： | 南京航空航天大学 |
| 专业： | |
| 研究方向： | 多值逻辑理论与应用 |
| 第一导师姓名： | |
| 第一导师单位： | |
| 完成日期： | 2022-11-14 |
| 中文关键词： | |
| 中文摘要： |
本文旨在建立一套基于消解原理的中介逻辑程序理论。文中首先给出了经典的一般逻辑程序的二值模型:准最小模型，并给出了最一般逻辑程序的一种带消解策略的表推演语义，然后给出了一类中介逻辑程序的定义及此类程序的最小模型语义，并且证明了此类程序的SLD—消解的可靠性和完备性，最后比较了此类中介逻辑程序与正逻辑程序之间的关系。
﹀
|
| 馆藏号： | P-1336 |
| 开放日期： | 2023-05-14 |
谷歌
火狐
