论文部分内容阅读
该文论述了面向多推理者的逻辑体系的特点，提出了一个面向多推理者系统的逻辑框架MRSL（Mulit－Reasoner Reasoning System Logic）。该框架不同于在传统模态逻辑上建立的框架，如KurtKonolige的KI4，它具有知识和推理封闭的特点，推理者之间的知识传播是通过各种通讯方式实现的。与KI4相比，它解决起三个聪明人难题来显得更自然， 更公平一些。（本刊录）