Logics of knowledge and belief—applications

作者：Nicholas Measor

摘要

In this paper we survey formal techniques for the study of reasoning about knowledge and belief, and consider their application in the areas of distributed computing and nonmonotonic reasoning.

论文关键词：Neural Network, Artificial Intelligence, Complex System, Nonlinear Dynamics, Formal Technique

论文评审过程：

论文官网地址：https://doi.org/10.1007/BF00129534