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