摘要
信息流和主体间互动是近年来动态认知逻辑研究的主要问题。主体的知识和信念随着信息的更新而改变,比如宣告p成立之后主体知道p。信息是不断更新变化的,受信息变化的影响,主体的知识和信念也是动态变化的,绝不是静态的。信息变化的形式是多种多样的,动态认知逻辑在静态的认知和信念等逻辑的基础上,引入新的动态算子,建立形式系统,研究模型上的变化,以此研究主体根据信息变化进行的推理。
Logical dynamics primarily studies information flow and interaction between agents in recent years. A lot of work has been done. Agents＂ knowledges and beliefs change from the information flow, e.g. ＂Kip＂ after announcing ＂p＇, so they are dynamic. Dynamic epistemic logic comes by extending Epistemic logic, adding dynamic operations. It models the update of information, the interaction between agents.
关键词
公开宣告逻辑
更新
动态认知逻辑
群体宣告逻辑
Public Announcement Logic
Update
Dynamic Epistemic Logic
Group Announcement Logic
