基于本体的谓词模态逻辑研究
基本信息
批准号：60573064
项目类别：面上项目
资助金额：20.00
负责人：眭跃飞
学科分类：
依托单位：中国科学院计算技术研究所
批准年份：2005
结题年份：2008
起止时间：2006-01-01 - 2008-12-31
项目状态： 已结题
项目参与者：张再跃,孙瑜,江峰,马越,李惠涛
关键词：
框架可能世界本体谓词模态逻辑
结项摘要
模态逻辑在计算机科学理论和应用中是广泛使用的一种逻辑. 谓词模态逻辑的研究还不是很成熟, 在计算机科学中的应用也存在许多问题. 产生这些问题的主要原因是现有的谓词模态逻辑是基于可能世界论域不变的框架上的. 对于可变可能世界论域语义的研究还处在初级阶段. 这方面的研究将大大改善目前模态逻辑在计算机科学中理论脱离实践的现状. 本项目将利用本体来对谓词模态逻辑的语义作限制, 提出基于本体的谓词模态逻辑的公理系统, 使得该公理系统相对于由本体定义的一类框架是可靠的完备的. 该逻辑系统的语义中的可能世界论域是可变的. 作为一个应用, 将基于本体的谓词模态逻辑与混合逻辑结合来表示智能主体的情绪, 使得所有表示的主体情绪和对话尽可能符合人的情绪和对话. 这种研究对目前模态逻辑中的主要问题的解决及其在计算机科学中的应用将有重要的理论意义和应用价值.
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
Worldview 3全色与短波红外影像两步式融合框架
Worldview 3全色与短波红外影像两步式融合框架
DOI：10.3778/j.issn.1002-8331.2003-0249
发表时间：2021
2
基于GIS新冠智能体仿真模型及应用--以广州市为例
基于GIS新冠智能体仿真模型及应用--以广州市为例
DOI：10.12082/dqxxkx.2021.200449
发表时间：2021
3
A Fast Algorithm for Computing Dominance Classes
A Fast Algorithm for Computing Dominance Classes
DOI：
发表时间：2016
4
基于可能属性分析的粒描述
基于可能属性分析的粒描述
DOI：10. 6040 /j. issn. 1671-9352. 4. 2020. 149
发表时间：2021
5
一种新型全装配式混凝土梁柱-钢支撑组合节点的抗震性能研究
一种新型全装配式混凝土梁柱-钢支撑组合节点的抗震性能研究
DOI：10.13197/j.eeev.2021.03.198.huangh.020
发表时间：2021
眭跃飞的其他基金
批准号：60373042
批准年份：2003
资助金额：18.00
项目类别：面上项目
批准号：68800201
批准年份：1988
资助金额：1.20
项目类别：青年科学基金项目
批准号：19971090
批准年份：1999
资助金额：7.00
项目类别：面上项目
相似国自然基金
1
基于谓词规划树的规划方法的研究
批准号：60970042
批准年份：2009
负责人：吴向军
学科分类：F0201
资助金额：30.00
项目类别：面上项目
2
模态逻辑的自动推理研究
批准号：69503004
批准年份：1995
负责人：孙吉贵
学科分类：F0201
资助金额：8.00
项目类别：青年科学基金项目
3
基于谓词语义组合的现代汉语分析理论和方法
批准号：69683004
批准年份：1996
负责人：王宝库
学科分类：F0211
资助金额：10.00
项目类别：专项基金项目
4
基于分布谓词检测的环境显式化建模与处理技术研究
批准号：61272047
批准年份：2012
负责人：黄宇
学科分类：F0203
资助金额：80.00
项目类别：面上项目