基于描述逻辑的模糊时空知识表示与推理研究
发布时间：2021-07-05 23:12
随着语义Web的不断发展和应用,描述逻辑以易于理解的形式化表示和完善的推理机制等特点,成为语义Web中实现知识表示和推理的逻辑基础。描述逻辑是一阶谓词逻辑的可判定子集,在语义Web真正付诸应用中发挥着至关重要的作用。在现实世界应用中,许多领域包含着大量的模糊时空知识（静态模糊时空知识和动态模糊时空知识）。随着大量的模糊时空知识及其相关应用被纳入到语义Web中,描述逻辑成为解决模糊时空知识表示与推理问题的有效方法。基于描述逻辑的模糊时空扩展研究将为语义Web和许多领域实现模糊时空知识的自动推理提供可行的解决途径。然而,目前有关基于描述逻辑的模糊时空知识表示与推理的研究还很少。因此,如何扩展描述逻辑使其能够具备模糊时空知识表示与推理的能力成为语义Web和许多领域亟待解决的重要研究问题。为此,本文系统地研究了基于描述逻辑的模糊时空知识表示与推理,从模糊时空知识的形式化表示,静态模糊时空知识的推理和动态模糊时空知识的推理三个方面展开了深入的研究。具体的创新性研究成果包括以下几个方面:（1）针对现实时空应用中模糊时空知识的形式化表示问题,提出了模糊时空对象及其拓扑关系的表示模型（框架）。首先,在...
【文章来源】：东北大学辽宁省 211工程院校 985工程院校 教育部直属院校
【文章页数】：162 页
【学位级别】：博士
【部分图文】：
图３．２模糊线的图形化表示??
?Ｐ＇??图３．１模糊点Ｐ的图形化表示??Ｆｉｇ．?３．１?Ａ?ｇｒａｐｈｉｃａｌ?ｒｅｐｒｅｓｅｎｔａｔｉｏｎ?ｏｆ?ｆｕｚｚｙ?ｐｏｉｎｔ?Ｐ??定义３．２?（模糊线）：设Ｚ是任意的一个模糊线，则３Ｌ、和广分别表示模??糊线Ｚ的边界、外部和内部。对于任意的边界３Ｚ，存在隶属函数满足０??＜处Ｓ?１，其中Ｘ和少分别表示模糊线Ｚ的ｘ轴坐标和少轴坐标。模糊线Ｚ的图??形化表示如图３．２所示。??乙（）???????Ｌ＇??图３．２模糊线的图形化表示??Ｆｉｇ．?３．２?Ａ?ｇｒａｐｈｉｃａｌ?ｒｅｐｒｅｓｅｎｔａｔｉｏｎ?ｏｆ?ｆｕｚｚｙ?ｌｉｎｅ?Ｌ??模糊区域具有模糊边界，其可能的位置是在一个己知的区域范围内。??定义３．３?（模糊区域）．？设７？是任意的一个模糊区域，且由两个经典的区域??Ｚ？ｄ和办组成，其中ｉ？ｄ表示的是模糊区域的确定部分，办表示模糊区域的模??糊部分。设３私和３办分别是模糊区域的内边界和外边界，其中这两个边界对??应的隶属度分别为１和０。／Ｔ表示Ｘ的外部。模糊区域的图形化表示如图３．３??所示。从此图可知
的运动可以表示为一些简单的函数，比如，时态函数。下面以一个例子来展示模??糊时空对象的图形化表示。??如图３．４所示，对于一个移动模糊区域０，时间被切分为三个部分，分别是??０，／２和〖３，其中当如＝?时，〇的位置被显不为最左边图。当??＝ｆ２时，Ｏ的位置被显示为中间图。类似地，最右边的图显示的是当＝?时??〇的位置。??通过整合图３．４中三个时间点的位置，可以得在时间区间内（从Ａ到６）—??个移动模糊区域〇的图形化表示，如图３．５所示。该图将时间看成是第三空间几??何维。也就是说，图３．５描述了一个移动模糊区域０在一个时间内的移动轨迹。??此外，移动模糊点和移动模糊线的图形化表示可以通过移动模糊区域的表示过程??类似给出，本节不再赘述。??Ｉ?＾?Ｉ?ｔ＝ｔ２?革?Ｍ??（參）??（參）?｜??、、?！??Ｉ?｜?！??？?ｖ?ｌ?Ｖ?Ｊ???＾?Ｖ??八?Ｗ?Ａ?■?Ａ??图３．４移动模糊区域Ｏ的位置变化：（ｉ）最左边图表示时间／
【参考文献】：
期刊论文
[1]时间复杂性和空间复杂性研究[J]. 高强,徐心和. 智能系统学报. 2014(05)
[2]分支时态描述逻辑ALC-CTL及其可满足性判定[J]. 李屾,常亮,孟瑜,李凤英. 计算机科学. 2014(03)
[3]模糊时空XML数据拓扑关系表示和确定的研究[J]. 柏禄一,严丽,马宗民. 东北大学学报(自然科学版). 2013(06)
[4]时态描述逻辑ALC-LTL的Tableau判定算法[J]. 常亮,王娟,古天龙,董荣胜. 计算机科学. 2011(08)
[5]可判定的时序动态描述逻辑[J]. 常亮,史忠植,古天龙,王晓峰. 软件学报. 2011(07)
[6]时空本体及其逻辑基础研究现状与展望[J]. 王生生,刘大有,李昕,姜新雷,袁旻昱. 计算机科学. 2008(12)
[7]动态描述逻辑的Tableau判定算法[J]. 常亮,史忠植,邱莉榕,林芬. 计算机学报. 2008(06)
[8]面向语义Web语义表示的模糊描述逻辑[J]. 蒋运承,史忠植,汤庸,王驹. 软件学报. 2007(06)
[9]时空数据模型及TGIS研究[J]. 王贺封. 测绘与空间地理信息. 2006(04)
[10]从空间到时间——时空数据模型研究[J]. 姜晓轶,周云轩. 吉林大学学报(地球科学版). 2006(03)
博士论文
[1]复杂空间关系模型及空间描述逻辑中若干问题的研究[D]. 霍林林.吉林大学 2013
本文编号：3267015
【文章来源】：东北大学辽宁省 211工程院校 985工程院校 教育部直属院校
【文章页数】：162 页
【学位级别】：博士
【部分图文】：
图３．２模糊线的图形化表示??
?Ｐ＇??图３．１模糊点Ｐ的图形化表示??Ｆｉｇ．?３．１?Ａ?ｇｒａｐｈｉｃａｌ?ｒｅｐｒｅｓｅｎｔａｔｉｏｎ?ｏｆ?ｆｕｚｚｙ?ｐｏｉｎｔ?Ｐ??定义３．２?（模糊线）：设Ｚ是任意的一个模糊线，则３Ｌ、和广分别表示模??糊线Ｚ的边界、外部和内部。对于任意的边界３Ｚ，存在隶属函数满足０??＜处Ｓ?１，其中Ｘ和少分别表示模糊线Ｚ的ｘ轴坐标和少轴坐标。模糊线Ｚ的图??形化表示如图３．２所示。??乙（）???????Ｌ＇??图３．２模糊线的图形化表示??Ｆｉｇ．?３．２?Ａ?ｇｒａｐｈｉｃａｌ?ｒｅｐｒｅｓｅｎｔａｔｉｏｎ?ｏｆ?ｆｕｚｚｙ?ｌｉｎｅ?Ｌ??模糊区域具有模糊边界，其可能的位置是在一个己知的区域范围内。??定义３．３?（模糊区域）．？设７？是任意的一个模糊区域，且由两个经典的区域??Ｚ？ｄ和办组成，其中ｉ？ｄ表示的是模糊区域的确定部分，办表示模糊区域的模??糊部分。设３私和３办分别是模糊区域的内边界和外边界，其中这两个边界对??应的隶属度分别为１和０。／Ｔ表示Ｘ的外部。模糊区域的图形化表示如图３．３??所示。从此图可知
的运动可以表示为一些简单的函数，比如，时态函数。下面以一个例子来展示模??糊时空对象的图形化表示。??如图３．４所示，对于一个移动模糊区域０，时间被切分为三个部分，分别是??０，／２和〖３，其中当如＝?时，〇的位置被显不为最左边图。当??＝ｆ２时，Ｏ的位置被显示为中间图。类似地，最右边的图显示的是当＝?时??〇的位置。??通过整合图３．４中三个时间点的位置，可以得在时间区间内（从Ａ到６）—??个移动模糊区域〇的图形化表示，如图３．５所示。该图将时间看成是第三空间几??何维。也就是说，图３．５描述了一个移动模糊区域０在一个时间内的移动轨迹。??此外，移动模糊点和移动模糊线的图形化表示可以通过移动模糊区域的表示过程??类似给出，本节不再赘述。??Ｉ?＾?Ｉ?ｔ＝ｔ２?革?Ｍ??（參）??（參）?｜??、、?！??Ｉ?｜?！??？?ｖ?ｌ?Ｖ?Ｊ???＾?Ｖ??八?Ｗ?Ａ?■?Ａ??图３．４移动模糊区域Ｏ的位置变化：（ｉ）最左边图表示时间／
【参考文献】：
期刊论文
[1]时间复杂性和空间复杂性研究[J]. 高强,徐心和. 智能系统学报. 2014(05)
[2]分支时态描述逻辑ALC-CTL及其可满足性判定[J]. 李屾,常亮,孟瑜,李凤英. 计算机科学. 2014(03)
[3]模糊时空XML数据拓扑关系表示和确定的研究[J]. 柏禄一,严丽,马宗民. 东北大学学报(自然科学版). 2013(06)
[4]时态描述逻辑ALC-LTL的Tableau判定算法[J]. 常亮,王娟,古天龙,董荣胜. 计算机科学. 2011(08)
[5]可判定的时序动态描述逻辑[J]. 常亮,史忠植,古天龙,王晓峰. 软件学报. 2011(07)
[6]时空本体及其逻辑基础研究现状与展望[J]. 王生生,刘大有,李昕,姜新雷,袁旻昱. 计算机科学. 2008(12)
[7]动态描述逻辑的Tableau判定算法[J]. 常亮,史忠植,邱莉榕,林芬. 计算机学报. 2008(06)
[8]面向语义Web语义表示的模糊描述逻辑[J]. 蒋运承,史忠植,汤庸,王驹. 软件学报. 2007(06)
[9]时空数据模型及TGIS研究[J]. 王贺封. 测绘与空间地理信息. 2006(04)
[10]从空间到时间——时空数据模型研究[J]. 姜晓轶,周云轩. 吉林大学学报(地球科学版). 2006(03)
博士论文
[1]复杂空间关系模型及空间描述逻辑中若干问题的研究[D]. 霍林林.吉林大学 2013
本文编号：3267015
本文链接：https://www.wllwen.com/shekelunwen/ljx/3267015.html
