小说首席的小情人:在线读书:哲学、逻辑与智能计算机

来源:百度文库 编辑:偶看新闻 时间:2024/03/29 18:43:23
哲学、逻辑与智能计算机
作者:鞠实儿
出版日期:1999
页数:512
分类: 哲学宗教 >总论
在线阅读哲学、逻辑与智能计算机电子书超星阅览器
阅读1阅读2下载图书
阅览器阅读/下载图书须安装超星阅览器,立即下载
添加到学习计划
收藏推荐
分享到
隐藏目录章节目录
撰稿人简介
前言&鞠实儿
第一编 归纳逻辑及其认知基础
1 怀疑与确信之间的张力 〔美〕&I.Levi著,汤万君 李大超译 鞠实儿校
2 Hume问题不可解的证明&鞠实儿
3 归纳,概率与理论评价&张华夏
4 类比与联想&林定夷
5 非公理系统中的归纳推理&王培
6 二元不确定性因果网&鞠实儿 罗旭东
7 贝叶斯认证逻辑及其应用&陈晓平
8 金岳霖论归纳&帅国文
第二编 哲理逻辑探索
1 论多值逻辑的特征&梁彪
2 基于开放世界预设的3--值命题演算系统&鞠实儿
3 科学问题的逻辑结构&张华夏
4 科学中问题的结构与问题逻辑&林定夷
5 缺省理论与相信理论的关系&姜云飞
6 线性逻辑及其应用&倪德明
7 自然化的计算理论&侯广坤 严兆勒
第三编 逻辑学及其在智能计算机中的应用
1 不确定推理的支持度&周青 鞠实儿
2 关于相对化的计算复杂性类的研究&王洁 侯广坤 李祥
3 欧氏空间的递归开闭子集上的实函数&周青
4 关于Neumann自动机与Turing机相似问题&侯广坤
5 限制推理与封闭世界假定数据库的询问求值&姜云飞
6 线性逻辑式程序设计的证明论基础&倪德明
7 PHLIQA1问答系统及其在开放系统中的扩展&李红晖
第四编 逻辑哲学问题研究
1 符合真理论在20世纪的演变&梁庆寅
2 关于“矛盾律和排中律”思想的演变&梁彪
3 科学推理的自然化&李平
4 非经典逻辑与对应原理&桂起权 刘东波
5 关于弗雷格序列理论的一个研究&徐明明
6 传统逻辑与现代逻辑的定义理论比较&梁庆寅
7 蕴涵“怪论”与逻辑认识论&程仲棠
8 预设:语义预设与语用预设&胡泽洪
9 简评塞尔的句子意义分析&王晓萍
隐藏目录