模态逻辑造句
- 广义模态逻辑研究中的若干问题
- 论奎因对模态逻辑的批判
- 基于模态逻辑的汉语信息过滤机制研究
- 现代模态逻辑的多元视野
- 模态逻辑的哲学归宿
- 模态逻辑及其基础系统
- 基于模糊命题模态逻辑的形式推理系统
- 模态逻辑中的反本质主义
- 模态逻辑两个定理的基于向前向后方法的证明
- 复制受限的环境演算中模态逻辑的内涵性
- 用模态逻辑造句挺难的，這是一个万能造句的方法
- 我们可仿造真性模态逻辑的技术方法定义普遍有效式，构造极小正规认知系统me 。
- Vsk - af逻辑是对处在特定环境中的计算agents的信息特征进行推理的多模态逻辑。
- 模态逻辑命题的限制条件，建立在其内容的肯定或否定其可能性，不可能性，偶然性或必然性基础之上
- 之后给出基于模态逻辑的协商推理逻辑公理体系来形式化地描述多agent系统，再对公理的合理性进行充分的解释。
- 互模拟是进程代数中刻画行为等价的核心概念,而模态逻辑特征是它的一个重要性质。
- 广义模态逻辑属哲学逻辑范畴，对于刻画事物的“势态” 、人物的“情态”和过程的“时态”是一种十分有效的工具。
- 作为模态逻辑的继承，与数理逻辑的又一外延，时态逻辑断言推理则有效地解决这方面出现的难题。
- ( 2 )引入一个新模态词,并在此基础上使用新的模态逻辑语言给出一个更具一般性的-互模拟的模态逻辑特征。
- 文中详细描述了语法规定和语义约束，该逻辑的语义是以一般的多agent系统模型给出的，并且与模态逻辑的解释系统密切相关。
- 为了描述进程间的近似等价,最近文献中提出了-互模拟的概念,并将其性质与度量联系在一起,给出了为超度量时-互模拟的模态逻辑特征。
手机版