| 作 者： | 姚从军 |
| 出版社： | 科学出版社 |
| 丛编项： | |
| 版权说明： | 本书为出版图书，暂不支持在线阅读，请支持正版图书 |
| 标 签： | 计算机/网络 人工智能 |
| ISBN | 出版时间 | 包装 | 开本 | 页数 | 字数 |
|---|---|---|---|---|---|
| 未知 | 暂无 | 暂无 | 未知 | 0 | 暂无 |
序
绪论
第一节 研究背景
第二节 研究意义
第三节 研究思路
第四节 主要工作
第一章 互模拟理论研究概况
第一节 模态逻辑中互模拟理论的研究概况
一、互模拟产生的动因
二、互模拟的诞生
三、互模拟的运用研究
四、互模拟的纯理论研究
第二节 集合论中互模拟理论的研究概况
一、互模拟的萌芽（1926-1982）
一、互模拟的产生及初步研究（1983-1987）
三、互模拟的深入研究（1988-2001）
四、互模拟的拓展研究（2002- ）
第一部分 互模拟与模态逻辑
第二章 模态逻辑中互模拟的基本理论
第一节 互模拟的定义
一、加标转换系统及相关概念
二、互模拟的定义
第二节 互模拟的基本性质
第三节 互模拟证明方法
第四节 互模拟与模态逻辑
一、基础知识
二、互模拟及其不变性
三、互模拟等价性
四、互模拟与模态等价性之关系
第三章 互模拟与模型构造
第一节 经典的模态逻辑模型构造方法
一、不相交的并
一、生成子模型
三、有界态射
第二节 两种非经典的模态模型构造方法：凸起和压延
一、凸起
二、压延
第三节 模语言等价与模互模拟的商模型
一、∑．过滤商模型
一、模语言等价的商模型
三、模互模拟的商模型
四、模语言等价的商模型与模互模拟的商模型之间的关系
第四章 双模拟
第一节 双模拟的定义和性质
一、双模拟的定义
一、模拟和双模拟的一些基本性质
第二节 双模拟与模拟、互模拟之间的关系
第三节 双模拟与模态逻辑
一、模型上的双模拟定义
二、有关双模拟的一些事实
第五章 互模拟和有界互模拟
第一节 基本概念
第二节 集合
……
第二部分 互模拟与非良基集合
第三部分 模态逻辑、非良基集合与互模拟
