读逻辑RL与任意读逻辑AL

发布时间：2019-08-13 08:54

【摘要】：本文认为文献(van Ditmarsch et.al.,2007)对认知行动"读"形式化时,语法与语义混淆,给出的语法和语义不够直观、自然。本文在形式化认知行动"读"时,严格区分语法和语义,在形式上更直观自然、更易理解;在此基础上,给出读逻辑RL的公理系统,并证明其可靠性和完全性。另外,本文还对认知行动"读"的量化进行研究,给出了这个量化逻辑AL的形式化。在表达力方面,本文还得到如下结果:(1)读逻辑RL、公开宣告逻辑、认知逻辑以及单认知主体的任意读逻辑AL表达力相等;(2)多认知主体的任意读逻辑AL的表达力要严格大于认知逻辑、读逻辑和公开宣告逻辑。
[Abstract]:This paper holds that when (van Ditmarsch et.al.,2007 is used to formalize cognitive action, grammar and semantics are confused, and the grammar and semantics given are not intuitive and natural. In this paper, when formalizing cognitive action "reading", grammar and semantics are strictly distinguished, which is more intuitive and natural in form and easier to understand. On this basis, the axiomatic system of reading logic RL is given, and its reliability and completeness are proved. In addition, this paper also studies the quantification of cognitive action "reading", and gives the formalization of this quantitative logic AL. In terms of expressive power, this paper also obtains the following results: (1) the public declarative logic of reading logic RL, cognitive logic and arbitrary reading logic AL of single cognitive subject are equal; (2) the expressive power of arbitrary reading logic AL of multi-cognitive subject is strictly greater than that of cognitive logic, reading logic and public declarative logic.
【作者单位】：肇庆学院政法学院;
【基金】：教育部人文社会科学研究青年基金项目(11YJC72040001) 广东省哲学社会科学“十二五”规划青年项目(GD11YZX03)
【分类号】：B815.3

【相似文献】