一种扩展的模糊描述逻辑

为了提高对复杂模糊信息的表示能力,提出一种扩展的模糊描述逻辑.扩展模糊描述逻辑引入模糊概念和模糊关系的截集形式作为原子概念和原子关系,继承经典描述逻辑中的概念构造器和知识库形式,建立新的知识表示逻辑体系.定义了扩展模糊描述逻辑的语法结构、语义解释、知识库形式以及基于可满足性的推理问题.通过与模糊描述逻辑的比较,阐述了模糊描述逻辑可转化为扩展模糊描述逻辑,从而例证了扩展模糊描述逻辑具有比模糊描述逻辑更强的表达能力.     

矿体构造的逻辑结构建模方法研究

本文将逻辑结构单元作为地质建模过程中模型各组成要素的抽象,进而提出了逻辑结构建模的形式化表示方法,重点探讨了模型功能的形式化描述、模型结构的抽象化表达、逻辑结构模型的组织方式及逻辑结构模型的一般算法等主要技术。所提出的方法为煤田地质建模到软件系统设计提供了基础。     

按需仿真系统仿真建模及并行实现框架

基于按需仿真（ＳＯＤ）系统概念及体系结构特点,分析了系统仿真建模形式化描述的一般原则和Ｚｅｉｇｌｅｒ提出的离散事件系统形式化描述理论,描述了多媒体对象的基本结构,将面向对象的多媒体动态建模理论、人工智能引入按需仿真系统建模理论研究,建立ＳＯＤ系统仿真建模的形式化描述结构,在此基础上采用逻辑仿真处理的并行执行机制进行仿真建模不同阶段的信息处理,提出了ＳＯＤ仿真建模的分布并行实现框架,并分析讨论了并行处理层次化问题     

论哲学的逻辑建模

哲学的逻辑建模是与我们的直觉和实在经验相符合,能够对一定范围的哲学问题提供答案的形式理论框架。广义地说,哲学的逻辑建模是建立在逻辑-数学基础上,用于描述和分析哲学概念、哲学论题和哲学推论的形式技术。哲学不仅从逻辑-数学模型获益,而且它本身也提供哲学模型。     

Petri网在OA系统工作流中的应用

Petri网既有严格的数学描述,又有直观的图形表示,是理想的工作流建模工具.本文以OA系统中收发文管理流程为例,提出了一个基于Petri网工作流建模的方法并进行了模型的正确性验证.     

影响概念建模质量的关键因素分析

概念建模过程中,信息损失和误解是因为信息转换造成的,而信息转换隐含于领域专家和建模者之间的交流以及用建模语言表达概念模型的活动中.通过分析建模活动和模型表达方法,明确了影响概念建模质量的关键因素,继而提出一个建模准则:概念建模是描述而非设计.     

XML逻辑建模研究

XML是互联网未来发展的关键技术之一，其应用越来越普遍。当前对XML的建模主要是物理层面，没有上升到更加高级的逻辑和概念层次，我们需要一种统一的建模方法对XML数据进行高层建模。本文介绍了当前XML逻辑建模和概念建模的几种方法和工具，为XML建模研究提供一定的思路。     

基于描述逻辑的语义Web服务动态复合推理和验证

描述逻辑具有良好的知识表示能力和强大的推理能力,AI规划具有良好的行为状态变化建模能力。将描述逻辑与AI规划相结合,提出一种基于描述逻辑的语义Web服务动态复合机制,并对其进行逻辑证明。     

一种面向形式概念分析的语义相似度计算框架（英文）

为了计算形式概念分析的形式概念或概念格的语义相似度,利用描述逻辑概念作为形式背景的特征属性对形式概念分析的形式背景进行语义扩展,即利用领域本体(描述逻辑知识库)提出了形式背景的一种语义表示方法.在此基础上,基于形式背景的语义表示,利用描述逻辑推理(即本体推理)给出了一种面向形式概念分析的形式概念或概念格语义相似度计算框架,并且证明了实例化该架构所得到的语义相似度计算方法满足对称性和等价不变性等基本性质.     

谈关于统一工艺建模技术的研究

本文基于符号论研究了面向对象的统一工艺建模技术,提出了工艺信息的符号化统一表示即工艺符号系统,重点描述了工艺建模方法包括工艺对象的数据建模和关系建模。最后指出了基于符号论的统一工艺建模技术的优点,为大型复杂制造工艺信息系统的建立提供了一个很好的建模方法。