1、“.....与构造器对映前面提到过通过术语集。与构造器对映前面提到过通过提供的构造器能够较好的体现种描述逻辑的表达能力。下面给出表,该表总结了支持的构造器与相对应的语法和语义。通过表,可以看到,和这个构造器是意义上的标准运算它们是能够通过类的否定,类与类的交还有并来构造的,与语法中的,是相对应的。和这两个构造器是通过属性与类中的实例相关,与语法中的和相对应,只是在语法中加以了时间属性和隶属度。摘要基于时间区间的模糊描述逻辑是在已有的模糊逻辑的基础上,加上对时间区间,本体语言经历了许多版本,比如说年提出的,年改进了,在年陆续提出的它们都是为下面的目标而设计的本体共享中体现的是共同认可的知识,反映的是相关领域中公认的概念集,不同的资源允许被同个本体共享。本体的互操作性互操作说明本体建立了在不同的建模方法以实现不同系统之间集成。致性检测对本体的描述是形式化的......”。
2、“.....从而可以很好地提高系统的可靠性。平衡性为了表达各种知识,语言具有较强的表达能力,同时也提供非常有效的推理方法。大众化语言能够很好地支持不同语与转换研究论文原稿,摘要基于时间区间的模糊描述逻辑是在已有的模糊逻辑的基础上,加上对时间区间的刻画,构建新的描述逻辑。本文在语义的基础上,给出与本体语言的转换关系并给出基于的天气预报示例。关键词时间区间构造器中图分类号文献标识码文章编号描述逻辑是种基于对象知识的形式表示,它是阶谓词逻辑的可判定子集,用于描述及推理概念知识。它是对进行语义描述的语言的逻辑基础。是开发的种网络本体语言,用于对本体进行语义描述。基于时间区间的模糊描述逻辑有其完整的语法语义们都是为下面的目标而设计的本体共享中体现的是共同认可的知识,反映的是相关领域中公认的概念集,不同的资源允许被同个本体共享......”。
3、“.....致性检测对本体的描述是形式化的,形式化的表达使得自动的致性检查成为可能,从而可以很好地提高系统的可靠性。平衡性为了表达各种知识,语言具有较强的表达能力,同时也提供非常有效的推理方法。大众化语言能够很好地支持不同语言描述的本体,并且还能够提供适合不同的文化层次的不同本体的观点。用也可把上面的本体描述出来,其具体形式如下概念结语本文给出时态模糊描述逻辑与且提供给用户个功能性子集使他们在初次使用时就能轻易上手。提供令人满足的语言子集用以支持推理系统实现其计算性能。适当放宽了对的限制,目的是为了突出其些特点使其对数据库及知识表示系统发挥作用。从定义上而言是类和属性方面来描述个领域的结构,与其相类似的描述方法是面向对象。下面是抽象语法,能用来解释本体结构。与语言转换跟样,也是以描述逻辑作为基础。个本体被看作为个术语集......”。
4、“.....下面给出表,该表总结了支持的构造器与相对应的语法摘要基于时间区间的模糊描述逻辑是在已有的模糊逻辑的基础上,加上对时间区间的刻画,构建新的描述逻辑。本文在语义的基础上,给出与本体语言的转换关系并给出基于的天气预报示例。关键词时间区间构造器中图分类号文献标识码文章编号描述逻辑是种基于对象知识的形式表示,它是阶谓词逻辑的可判定子集,用于描述及推理概念知识。它是对进行语义描述的语言的逻辑基础。是开发的种网络本体语言,用于对本体进行语义描述。基于时间区间的模糊描述逻辑有其完整的语法语义及知识库表示,我们将讨论其与的转换关系。本体语言的设计目标根据标准的研究草案冰雨。般而言,如果不同的类之间不存在任何相同的实例,那些类之间是具有互斥性的在这里定义的,和是互相排斥的。图给出的是关系图上述片段主要描述本体下有个子类,分别为......”。
5、“.....其他片段我们在此不累述。用也可把上面的本体描述出来,其具体形式如下概念结语本文给出时态模糊描述逻辑与本体语言构造器的对映关系,并给出知识推理的相关应用示例。在到构造器的对应过程中,从到的转换是完全的,反之,用只能描语集。与构造器对映前面提到过通过提供的构造器能够较好的体现种描述逻辑的表达能力。下面给出表,该表总结了支持的构造器与相对应的语法和语义。通过表,可以看到,和这个构造器是意义上的标准运算它们是能够通过类的否定,类与类的交还有并来构造的,与语法中的,是相对应的。和这两个构造器是通过属性与类中的实例相关,与语法中的和相对应,只是在语法中加以了时间属性和隶属度。构造器是允许通过枚举类的成员来定义类,在这里与中实例组成的集合相,该表总结了支持的构造器与相对应的语法和语义。通过表,可以看到,和这个构造器是意义上的标准运算它们是能够通过类的否定......”。
6、“.....与语法中的,是相对应的。和这两个构造器是通过属性与类中的实例相关,与语法中的和相对应,只是在语法中加以了时间属性和隶属度。构造器是允许通过枚举类的成员来定义类,在这里与中实例组成的集合相对应。描述中部分公式在中,构造器的任意复杂嵌套都是可能的。另个决定语言表达能力的因素是支持的例,那些类之间是具有互斥性的在这里定义的,和是互相排斥的。图给出的是关系图上述片段主要描述本体下有个子类,分别为,在这几种子类中和是互相排斥的。其他片段我们在此不累述。用也可把上面的本体描述出来,其具体形式如下概念结语本文给出时态模糊描述逻辑与本体语言构造器的对映关系,并给出知识推理的相关应用示例。在到构造器的对应过程中,从到的转换是完全的,反之,用只能描述部分公式。参考文献王永庆编著人工智能原理与转换研究论文原稿述部分公式......”。
7、“.....胡鹤,刘大有,王生生本体语言计算机工程文斌基于描述逻辑的语义知识推理研究硕士学位论文。识库及其语义推导关于天气预报,涉及到的影响因素较多,在此示例中,仅讨论种天气情况,分别为晴,雨,阴,雪,其中雨天又细分为阵雨,大雨和冰雨种情况影响天气的因素在这里给出如下几种云,风,雾,雷电,阳光,降雨量在上,假设有,则下面给出其知识库为其断言公式集合,为其术语公理集合。对于知识库的构建初始化为根据日常天气规律及相关专家提供的参考,对于中的概念隶属度区间差异,得到的结论各不相同。天气预报示例的描述首先构建个天气本体,通过本体可以得到个类的实例所具有的属性,以及类与类之间的关系。在这里定义该天气本体具有个子类,分别为晴,雨,雪,阴在雨这个类下面又定义个子类,分别为大雨,阵雨器的任意复杂嵌套都是可能的。另个决定语言表达能力的因素是支持的各种公理......”。
8、“.....类之间的交,个体实例间的相等或不相等。本体语言的重要特性就是和公理可以用于多类表达,在语法上表示为,例如表示为,例如这些构造器在中均可表示。但还可以构造属性的唯性,明确性,反属性,对称性,传递性。这些是表达不出来的。基于的天气预报示例知识库及其语义推导关于天气预报,涉及到的影响因素较应。描述中部分公式在中,构造器的任意复杂嵌套都是可能的。另个决定语言表达能力的因素是支持的各种公理。这些公理可以断言类或者属性间的包含关系或者相等关系,类之间的交,个体实例间的相等或不相等。本体语言的重要特性就是和公理可以用于多类表达,在语法上表示为,例如表示为,例如这些构造器在中均可表示。但还可以构造属性的唯性,明确性,反属性,对称性,传递性。这些是表达不出来的。基于的天气预报示例知种公理。这些公理可以断言类或者属性间的包含关系或者相等关系,类之间的交......”。
9、“.....在语法上表示为,例如表示为,例如这些构造器在中均可表示。但还可以构造属性的唯性,明确性,反属性,对称性,传递性。这些是表达不出来的。与转换研究论文原稿。与语言转换跟样,也是以描述逻辑作为基础。个本体被看作为个术方法西安西安交通大学出版社,胡鹤,刘大有,王生生本体语言计算机工程文斌基于描述逻辑的语义知识推理研究硕士学位论文。与构造器对映前面提到过通过提供的构造器能够较好的体现种描述逻辑的表达能力。下面给出表,在此示例中,仅讨论种天气情况,分别为晴,雨,阴,雪,其中雨天又细分为阵雨,大雨和冰雨种情况影响天气的因素在这里给出如下几种云,风,雾,雷电,阳光,降雨量在上,假设有,则下面给出其知识库为其断言公式集合,为其术语公理集合。对于知识库的构建初始化为根据日常天气规律及相关专家提供的参考,对于中的概念隶属度区间差异......”。
1、手机端页面文档仅支持阅读 15 页,超过 15 页的文档需使用电脑才能全文阅读。
2、下载的内容跟在线预览是一致的,下载后除PDF外均可任意编辑、修改。
3、所有文档均不包含其他附件,文中所提的附件、附录,在线看不到的下载也不会有。