咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 4 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

  • 5 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 4 篇 理学
    • 4 篇 数学
  • 2 篇 哲学
    • 2 篇 哲学
  • 1 篇 工学
    • 1 篇 计算机科学与技术...

主题

  • 5 篇 模糊模态逻辑
  • 1 篇 有效公式
  • 1 篇 模糊逻辑
  • 1 篇 模态算子
  • 1 篇 永真式
  • 1 篇 α-重言式
  • 1 篇 可达广义矛盾式
  • 1 篇 真值区间
  • 1 篇 准永真式
  • 1 篇 基本模态逻辑
  • 1 篇 可靠性
  • 1 篇 广义重言式
  • 1 篇 模糊模态逻辑系统...
  • 1 篇 模态逻辑系统m￡*
  • 1 篇 语义模型
  • 1 篇 克里普克语义
  • 1 篇 类类不空定理
  • 1 篇 不均匀概率
  • 1 篇 可达广义重言式
  • 1 篇 认知逻辑

机构

  • 2 篇 陕西师范大学
  • 1 篇 辽宁师范大学
  • 1 篇 西安交通大学
  • 1 篇 南京审计大学
  • 1 篇 安康学院
  • 1 篇 扬州大学

作者

  • 2 篇 王国俊
  • 1 篇 胡琪
  • 1 篇 邹尚田
  • 1 篇 陈图云
  • 1 篇 胡明娣
  • 1 篇 汪德刚
  • 1 篇 张君瑶

语言

  • 5 篇 中文
检索条件"主题词=模糊模态逻辑"
共 5 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
模糊模态逻辑中的永真式与准永真式
收藏
分享
引用
电子学报 2009年 第11期37卷 2484-2488页
作者： 胡明娣 王国俊 陕西师范大学数学研究所 陕西西安710062 安康学院数学系 陕西安康725000 西安交通大学基础科学研究中心 陕西西安710069
研究了模糊模态逻辑中的永真式与基本模态逻辑中的有效公式之间的关系.证明了永真式一定是逻辑有效公式,但反之不真;在模糊模态逻辑中,针对一类重要的二元关系、即连续型二元关系引入了准永真式的概念,研究了准永真式的基本性质,并结合... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
模糊模态逻辑系统M■uk中的可达广义重言式
收藏
分享
引用
山东大学学报（理学版） 2009年 第8期44卷 80-85页
作者： 邹尚田 王国俊 陕西师范大学数学与信息科学学院 陕西西安710062
将赋值格取为单位区间并将二元关系R模糊化,研究了模糊模态逻辑系统M■uk,然后将其赋值格离散化研究了多值模态逻辑系统M■n;证明了在M■n中,对任一可能的赋值α都存在可达α-重言式;在M■uk中对任一有理数α∈[0,1]都存在可达α-重言式... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于不均匀概率的模糊模态逻辑
基于不均匀概率的模糊模态逻辑
收藏
分享
引用
作者： 胡琪 扬州大学
学位级别：硕士
随着模态逻辑在思维科学、计算机科学等领域内的应用日益广泛,讨论模糊模态逻辑就显得很有意义.许多学者利用不同的方法研究了模糊模态逻辑,如对模态算子进行模糊化定义,对模态词的归约,对直觉模糊模态逻辑的研究等.本文以基本模态逻辑... 详细信息
来源： 同方学位论文库 同方学位论文库 评论
基于真值区间的模糊认知逻辑
收藏
分享
引用
长江信息通信 2024年 第4期37卷 55-57页
作者： 张君瑶 南京审计大学计算机学院(智能审计学院) 江苏南京211815
Lorini提出了基于信念库的信念态度逻辑,以解决认知科学领域的逻辑全知问题;文章采用了Levesque提出的“觉知”算子来区分显式信念和隐式信念。而在人工智能、决策和知识表征领域,需要研究信念的准确程度,这在信念态度逻辑中是没有涉及... 详细信息
来源： 维普期刊数据库 维普期刊数据库 博看期刊 同方期刊数据库 同方期刊数据库 评论
模糊模态命题逻辑的语义
收藏
分享
引用
辽宁师范大学学报（自然科学版） 2003年 第4期26卷 341-343页
作者： 陈图云 汪德刚 辽宁师范大学数学系 辽宁大连116029
对克里普克语义进行了扩充,给出了模糊化的克里普克语义.然后讨论了模糊模态α—重言式.最后根据模糊关系R的不同情况讨论了相应的模糊模态公式的归约问题.
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件