主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公English
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
张晓如,张再跃,眭跃飞,黄智生.基于一阶模态逻辑的模糊推理.软件学报,2008,19(12):3170-3178
基于一阶模态逻辑的模糊推理
Fuzzy Reasoning Based on First-Order Modal Logic
投稿时间:2007-11-18  修订日期:2008-07-03
DOI:
中文关键词:  模态逻辑  模糊推理  形式系统  模糊约束  可满足性
英文关键词:modal logic  fuzzy reasoning  formal system  fuzzy constraint  satisfiability
基金项目:Supported by the National Natural Science Foundation of China under Grant Nos.60573063, 60573064 (国家自然科学基金); the National Basic Research Program of China under Grant Nos.G1999032701, 2003CB317008 (国家重点基础研究发展计划(973)); the National Laboratory of Intelligent
作者单位
张晓如 江苏科技大学 计算机科学与工程学院 智能信息处理联合实验室,江苏 镇江 212003 
张再跃 江苏科技大学 计算机科学与工程学院 智能信息处理联合实验室,江苏 镇江 212003 
眭跃飞 中国科学院 计算技术研究所 智能信息处理重点实验室,北京 100190 
黄智生 Department of Artificial Intelligence, Vrije University of Amsterdam, Netherlands 
摘要点击次数: 4101
全文下载次数: 4024
中文摘要:
      研究基于可信度的模糊一阶模态逻辑,给出了基于常域的模糊一阶模态逻辑语义以及推理形式系统描述.为有效进行模糊断言间的推理,考虑了模糊约束的概念.模糊约束是一个表达式,其中既有语法成分又包含意义信息.模糊推理形式系统中的基本对象是模糊约束,针对模糊约束引进可满足性概念,研究模糊约束可满足性相关性质.利用模糊约束的概念,模糊断言间的推理可以直接在语义环境下加以考虑,因此,以模糊约束为基本元素的模糊推理形式系统随之建立.主要分析新产生断言有效性与模糊约束集可满足性之间的关系,并在此基础上给出了模糊推理形式系统的推理规则.进一步的工作可探讨模糊推理形式系统的可靠性与完全性,建立推理过程的能行机制.研究结果可在人工智能和计算机科学等领域得以应用.
英文摘要:
      As an extension of traditional modal logics, this paper proposes a fuzzy first-order modal logic based on beilievable degree, and gives out a description of the fuzzy first-order modal logic based on constant domain semantics. In order to make the reasoning procedure between the fuzzy assertions efficiently, the notion of the fuzzy constraint is considered. A fuzzy constraint is an expression in which both syntax ingredient and semantics information are contained. By using the notion of the constraint, the reasoning procedure between the fuzzy assertions can be directly considered in the semantics environment, thus a fuzzy reasoning formal system which contains fuzzy constraint as its basic element is developed. As a main work of the paper, the relationship between the validity of the new assertion and the satisfiability of the fuzzy constraints is analyzed, and reasoning rules of the fuzzy reasoning formal system based on first order modal logic are given out. Further work could be done by considering the soundness and completeness of the formal system, and by building an efficient mechanism of reasoning procedure. The results have potential application in the areas of artificial intelligence and computer science.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利