可拓逻辑初步
2003-11-1
科学出版社
蔡文
无
可拓学丛书。
序《{可拓学丛书》前言前言第1章 绪论§1.1 可拓学的基本思想1.1.1 矛盾问题1.1.2 解决矛盾问题的思路1.1.3 解决矛盾问题的哲学思想§1.2 可拓学的基本内容1.2.1 可拓学的学科体系与发展过程1.2.2 可拓学的逻辑细胞和基元理论1.2.3 可拓学的集合论基础1.2.4 可拓学的基本原理1.2.5 解决矛盾问题的基本方法——可拓方法1.2.6 可拓工程方法§1.3 可拓学的逻辑基础1.3.1 可拓逻辑的定义1.3.2 可拓逻辑的特点1.3.3 可拓逻辑的研究内容§1.4 可拓学与人工智能1.4.1 可拓模型和信息.知识的形式化表示1.4.2 变换与推理技术1.4.3 问题求解1.4.4 可拓集合与分类.识别1.4.5 可拓论与人工智能结合的若干课题第2章 基元和复合元§2.1 物元2.1.1 物元的概念2.1.2 物元的基本要素2.1.3 物元的可拓性§2.2 事元2.2.1 事元的概念2.2.2 事元的可拓性§2.3 关系元2.3.1 关系元的概念2.3.2 关系元的可拓性§2.4 复合元2.4.1 复合元的构成2.4.2 复合元的可拓性§2.5 基元和复合元的逻辑运算2.5.1 基元的逻辑运算2.5.2 复合元逻辑运算规则第3章 可拓变换与可拓集合§3.1 可拓变换3.1.1 可拓变换的概念3.1.2 基本变换3.1.3 可拓变换的传导性——传导变换3.1.4 变换的复合与运算3.1.5 可拓变换的类型§3.2 可拓集合3.2.1 可拓集合的定义3.2.2 基元可拓集3.2.3 关联函数及其变换第4章 可拓推理§4.1 基元拓展推理4.1.1 发散推理4.1.2 蕴含推理4.1.3 相关推理4.1.4 可扩推理§4.2 基元变换的传导推理4.2.1 物元变换的传导推理4.2.2 事元变换的传导推理4.2.3 关系元变换的传导推理§4.3 复合元变换的传导推理4.3.1 关系元和物元构成的复合元变换的传导推理4.3.2 关系元和事元构成的复合元变换的传导推理4.3.3 关系元和关系元构成的复合元变换的传导推理§4.4 共轭推理4.4.1 共轭部的特征4.4.2 共轭规则4.4.3 共轭物元和共轭部物元变换的传导推理4.4.4 共轭部变换的传导推理第5章 命题和推理句的基元表示与拓展§5.1 命题的基元表示与拓展5.1.1 用基元表示命题5.1.2 复合元命题及其运算5.1.3 拓展命题的涵义§5.2 推理句的基元表示与拓展5.2.1 用基元表示推理句5.2.2 拓展推理句的概念§5.3 命题的真度和推理句的正确度5.3.1 命题的真度及其表述5.3.2 推理句的正确度及其描述§5.4 三段论法的基元表示5.4.1 物元和关系元表达的三段论5.4.2 事元和关系元表达的三段论5.4.3 物元.事元和关系元表达的复合三段论第6章 解决矛盾问题的可拓推理§6.1 问题和矛盾问题6.1.1 问题的基本概念6.1.2 不相容问题的定义和解变换6.1.3 对立问题的定义和解变换6.1.4 问题的拓展§6.2 利用可拓推理解决矛盾问题6.2.1 利用拓展推理解决矛盾问题6.2.2 利用传导推理解决矛盾问题6.2.3 利用共轭推理解决矛盾问题§6.3 矛盾问题链和矛盾问题系统6.3.1 传导矛盾问题和传导矛盾问题链的概念6.3.2 传导矛盾问题链的成因6.3.3 矛盾问题系统第7章 可拓逻辑的初步应用§7.1 可拓模型与知识表示7.1.1 用基元表示谓词7.1.2 用基元表示产生式规则7.1.3 可拓语义网络7.1.4 框架表示的化简§7.2 可拓分类方法与市场开拓7.2.1 可拓分类方法7.2.2 对房地产市场进行开拓§7.3 问题求解与策略生成7.3.1 滞销楼销售策略的生成7.3.2 可拓策略生成系统§7.4 可拓推理在产品创意生成中的应用7.4.1 生成歼击机换代产品的创意7.4.2 产品创意生成的主要步骤§7.5 搜索罪犯与可拓刑侦系统7.5.1 搜索罪犯的可拓推理7.5.2 建立可拓刑侦系统的构想主要符号说明参考文献
无