| 公开宣告逻辑研究现状 |
| |
| 引用本文： | 徐康.公开宣告逻辑研究现状[J].毕节学院学报,2012,30(2):47-52. |
| |
| 作者姓名： | 徐康 |
| |
| 作者单位： | 西南大学逻辑与人工智能研究中心,重庆,400715 |
| |
| 摘 要： | 信息流和主体间互动是近年来动态认知逻辑研究的主要问题。主体的知识和信念随着信息的更新而改变,比如宣告p成立之后主体知道p。信息是不断更新变化的,受信息变化的影响,主体的知识和信念也是动态变化的,绝不是静态的。信息变化的形式是多种多样的,动态认知逻辑在静态的认知和信念等逻辑的基础上,引入新的动态算子,建立形式系统,研究模型上的变化,以此研究主体根据信息变化进行的推理。
|
| 关 键 词： | 公开宣告逻辑 更新 动态认知逻辑 群体宣告逻辑 |
Recent Researches on Dynamic Epistemic Logic |
| |
| XU Kang.Recent Researches on Dynamic Epistemic Logic[J].Journal of Bijie University,2012,30(2):47-52. |
| |
| Authors: | XU Kang |
| |
| Institution: | XU Kang(Center for the Study of Logic and Intelligence,Southwest University,Chongqing400715,China) |
| |
| Abstract: | 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. |
| |
| Keywords: | Public Announcement Logic Update Dynamic Epistemic Logic Group Announcement Logic |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
