检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:林作铨[1]
机构地区:[1]汕头大学计算机科学研究所
出 处:《计算机研究与发展》1997年第6期407-414,共8页Journal of Computer Research and Development
基 金:国家基础研究攀登计划;国家高技术"863"计划;国家自然科学基金;广东省自然科学基金
摘 要:本文主要讨论常识推理的逻辑基础,基于一条从非单调推理到常识推理的技术途径,由此指出了在更一般意义上形式化常识推理的一些结果。This paper discusses the logical foundation of commonsense reasoning.Depending on a technical approach from nonmonotonic reasoning to commonsense reasoning,some results of formalizing commonsense reasoning in more general sense are pointed out.It provides useful fundamental tools for solutions of the commonsense logic and the commonsense problem.
分 类 号:TP18[自动化与计算机技术—控制理论与控制工程] O141[自动化与计算机技术—控制科学与工程]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.15