一个刻画智能Agent理性信念的认知系统

高金胜; 周昌乐

Chinese

您当前的位置：

首页 >

文章列表页 >

一个刻画智能Agent理性信念的认知系统

更新时间：2026-09-04

- 一个刻画智能Agent理性信念的认知系统
- A Cognitive System about Intelligent Agent with Rational Belief
- 微电子学与计算机 2016年33卷第12期页码：139-146
- 作者机构：
  
  1. 厦门大学人文学院哲学系,福建,厦门,361005
  2. 厦门大学信息科学与技术学院智能科学与技术系,福建,厦门,361005
  3. 福建省仿脑智能系统重点实验室机构,福建,厦门,361005
- 作者简介：
- 基金信息：
  
  国家社科基金重大项目 11%amp;ZD088国家自然科学基金项目 61273338
- DOI：
  中图分类号：
- 纸质出版：2016
- 稿件说明：
移动端阅览
高金胜, 周昌乐. 一个刻画智能Agent理性信念的认知系统[J]. 微电子学与计算机, 2016, 33(12): 139-146.

GAO Jin-sheng, ZHOU Chang-le. A Cognitive System about Intelligent Agent with Rational Belief[J]. 2016, 33(12): 139-146.
高金胜, 周昌乐. 一个刻画智能Agent理性信念的认知系统[J]. 微电子学与计算机, 2016, 33(12): 139-146. DOI：

GAO Jin-sheng, ZHOU Chang-le. A Cognitive System about Intelligent Agent with Rational Belief[J]. 2016, 33(12): 139-146. DOI：

摘要

在信念的类别上进行细化研究

研究智能Agent在持有理性信念下的认知系统及其所具有的认知性质.在理性信念的语义分析的基础上

我们建立了一个有关智能Agent具有理性信念的推理系统

并证明了该推理系统的可靠性及完全性.通过该认知系统

找到理性信念的形式化方法

并且得出了理性信念既是智能Agent获取知识的必要条件.该条件也是以往对知识定义所疏忽的限定条件

同时还是智能Agent与生物认知主体在认知推理上相异的内因之一.

Abstract

This paper mainly studies on the refining category of belief

and the cognitive properties about intelligent agent with rational belief. Based on the semantic analysis of the rational belief

we establish a cognitive inference system. After the proof of its soundness and completeness

we find rational belief is a necessary condition for intelligent agent to get knowledge

and also a limiting condition for knowledge definition. This condition is also a limiting condition for the definition of knowledge which was neglected in previous. What is more

it is one reason for the different between intelligent agent and biological cognitive agent in cognitive inference.

关键词

Keywords

references

Oxford Williamson T. Knowledge and itsLimits[M]. Oxford: Oxford University Press on Demand, 2002: 2-20. DOI: 2

Boukhris I, Elouedi Z, Benferhat S. Dealing with external actions in belief causal networks[J]. International Journal of Approximate Reasoning, 2013, 54(8): 978-999. DOI: 978

Ithaca Hintikka J. Knowledge and belief: An introduction to the logic of the two notions[M]. Ithaca: Cornell University Press, 1962: 3-5. DOI: 3

Alchourrón C E, Gärdenfors P, Makinson D. On the logic of theory change: partial meet contraction and revision functions[J]. Journal of Symbolic Logic, 1985, 50: 510-530. DOI: 510

Müller V C, Bostrom N. Future progress in artificial intelligence: A survey of expert opinion[C]//Fundamental issues of artificial intelligence. Berling: Springer International Publishing, 2016: 553-570.

Visser S, Thangarajah J, Harland J, et al. Preference-based reasoning in BDI agent systems[J]. Autonomous Agents and Multi-Agent Systems, 2016, 30(2): 291-330. DOI: 291

Princeton Hamilton E, Cairns H. Plato: The collecteddialogues[M]. Princeton: Princeton University Press, 1961: 853. DOI: 853

England Russell S J, Norvig P, Canny J F, et al. Artificial intelligence: a modern approach[M]. England: Pearson Education Limited, 2014: 34-61. DOI: 34

Mandler M. Rational agents are the quickest[J]. Journal of Economic Theory, 2015, 155: 206-233. DOI: 206

Kahneman D, Tversky A. Can irrationality be intelligently discussed?[J]. Behavioral and Brain Sciences, 1983, 6(3): 509-510. DOI: 509

Ghahramani Z. Probabilistic machine learning and artificial intelligence[J]. Nature, 2015, 521(7553): 452-459. DOI: 452

Grove A. Two modellings for theorychange[J]. Journal of philosophical logic, 1988, 17(2): 157-170. DOI: 157

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

基于反向体偏置的高增益稳定性高温运放设计

基于多尺度融合与小目标增强的航拍车辆检测算法

V型沟槽SiC中子探测器的蒙特卡洛分析

面向处理器分支预测单元的Spectre攻击轻量化防御方法

基于监控指标关联性的微服务异常检测