知道逻辑

作品数：3被引量：1H指数：1
导出分析报告
相关领域：哲学宗教自动化与计算机技术更多>>
相关作者：张君王献昌陈火旺李瑞峰周生明更多>>
相关机构：北京大学清华大学国防科学技术大学西南大学更多>>
相关期刊：《计算机研究与发展》《计算机工程与科学》《心智与计算》更多>>
相关基金：中国科学院计算机科学国家重点实验室开放课题基金国家自然科学基金广西壮族自治区自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
马希文的逻辑学思想
《心智与计算》2010年第2期78-83,共6页朱敏 
概括总结了马希文教授主要的逻辑学思想,主要涉及"知道"模态逻辑的建构,并对其逻辑学思想所蕴含的鲜明特色进行了评价。
关键词：逻辑 “知道”逻辑 
独立于设计者的行动推理
《计算机研究与发展》2009年第11期1917-1924,共8页周生明 王驹 蒋运承 
国家自然科学基金项目(60573010;60663001);中国科学院计算机科学国家重点实验室开放课题基金项目(SYSKF0904);广西自然科学基金项目(桂科自0991100)~~
高水平的智能机器人要求能够独立地对环境进行感知并进行正确的行动推理.在情境演算行动理论中表示带有感知行动及知识的行动推理需要外部设计者为agent写出背景公理、感知结果及相应的知识变化,这是一种依赖于设计者的行动推理.情境演...
关键词：情境演算 行动推理 感知行动 知道逻辑 知识流 
有关知道逻辑和“知道”问题的探讨被引量：1
《计算机工程与科学》1993年第1期71-75,共5页贲可荣 王献昌 陈火旺 
中国科大北京认知科学开放研究实验室部分资助
本文阐述了知道逻辑与“知道”问题之间的关系,介绍了解决知道问题的各种方法。
关键词：人工智能 知道逻辑 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部