一种采用一阶动态逻辑表示的数字权限描述模型

针对已有数字权限描述模型的动态语义描述能力较弱问题,提出了一个能够描述权限动 作状态的数字产品权限描述模型DDRM。基于一阶动态逻辑,定义了一个用于描述数字权限概念的 一阶动态逻辑符号系统DrFDL,并在DDRM模型基础上给出了DrFDL的语义结构(该语义结构能够 反映动作的动态特性)。基于DDRM模型还给出了一个表达权限证书的文法,应用DrFDL逻辑语言 给出了该文法生成的权限证书的形式语义,并探讨了该证书的确定性和有效性。     

面向数字权利保护的许可证管理方案及应用

提出一种数字权利管理模型,该模型的权利描述语言和许可证管理语言均采用一种基于逻辑框架的语言LucScript,使数字权利描述和许可证管理具有统一的逻辑语义。该模型采用逻辑许可池的方式管理许可证,对比现存方法,在许可证更新和增量更新,权利迁移灵活性和方便性,使用支付模式,合理使用权限等方面都具有优势。对该模型的管理和运行机制进行了分析和说明,最后给出了该模型的应用方法,并将该模型与相关的数字权利管理模型进行了对比。     

对OWL及其逻辑基础的研究

OWL是Web Ontology的表示语言,是实现语义Web的语言工具.对OWL三个子语言的语法进行了比较分析,重点对OWL的逻辑基础(即描述逻辑)进行了讨论,就描述逻辑如何用于表示本体进行了研究,提出了一种基于描述逻辑的本体模型,并对描述逻辑的推理机制进行了阐述.     

语义Web的初步逻辑研究

阐述了语义Web的本体语言和逻辑基础,针对语义Web本体的一些特殊描述和自动推理的需要,提出对应的描述逻辑扩展研究任务和研究需求,完成语义Web的初步逻辑研究。     

语义Web的逻辑基础

分析了语义Web的逻辑基础.指出了语义Web语言RDF和RDF Schema的语义是基于非经典的模型论语义,阐明了在此基础上扩展到表达能力更强的基于描述逻辑的本体语言OWL的困难.然后描述了OWL对这些困难的解决方法,并概述了如何把OWL的本体推理归约到描述逻辑的知识库可满足性问题.最后介绍了在OWL的基础上纳入Horn子句规则的方法.     

一种基于逻辑框架的数字版权管理机制和实现

权利描述语言用来构造许可证,描述数字内容的使用权利.鉴于现存的权利描述语言存在表达力不足、缺乏正式语义等问题,提出一种基于逻辑框架的数字版权管理语言LucScript.对该语言框架的逻辑语义、语法和触发运行机制进行了分析和说明,描述了该语言的实现方法,并对该语言的应用和使用控制过程进行了示例.该语言基于统一的具有单一稳态结构的Active-U-Datalog语义,具有比现存权限描述语言更强的表达力和灵活性.LucScript语言可有效地提高DRM系统对数据内容使用的灵活性和实时控制能力.     

基于XYZ／E的CA认证系统描述与求精

时序逻辑语言XYZ／E在统一的逻辑框架下既能表示静态语义又能表示动态语义，可以实现从抽象描述到可执行程序的平滑过渡。本文建立了CA认证系统组件求精模型，对CA和RA组件用XYZ／E进行了描述和求精。     

基于时序描述逻辑的Web服务本体语言过程模型语义

针对Web服务本体语言(OWL-S)过程模型存在动态交互和时序特征表达能力不足的问题,提出一种基于时序描述逻辑的过程模型形式化方法。通过对OWL-S过程模型的原子过程和组合过程语义进行形式化的描述,得到了OWL-S的过程模型的动态语义,最终实现了对OWL-S过程模型的形式化建模。实例结果验证了所提方法的可行性,为进一步的分析和验证提供了基础。     

基于本体DL的语义推理研究

随着Internet的迅速发展,语义Web作为新一代Web正倍受关注,因为语义表述与推理是语义网需要解决的关键问题。为了解决这一问题,文中在概述了本体语言、描述逻辑的概念和描述逻辑的原理的基础上,提出了一种新的方法：让本体表示语言与描述逻辑相结合,从而为语义推理的合理性和有效性提供了保证。文中重点介绍了通过对基于本体DL的语义推理机制进行阐述分析,较详细地探讨了在本体构建过程中,运用基于描述逻辑的语义推理进行一致性判定和相容性判定的重要性和实现技术,并以果品领域的本体构建为例,对构建过程中的推理判定进行了验证。     

基于线性时序逻辑的实时系统建模与求精

线性时序逻辑语言XYZ／E在统一的语义框架下．能表示从高层需求规范到低层实现模型之间的不同抽象层次的系统描述，也适于描述实时系统的模型和逐步求精过程．本文提出了一种基于构件的实时系统求精方法，并给出一个具体实例一电梯控制系统，采用XYZ／E语言描述了该系统的模型及其求精过程．     

VB过程蓝图

ＶＢ过程蓝图是一种面向Ｖｉｓｕａｌ　Ｂａｓｉｃ语言的程序处理逻辑图表化表示法。这种工程化表示法支持 逻辑和实现两个层次的程序抽象表示,是一种简单实用、容易理解、结构良好的程序设计工具。文中 给出ＶＢ过程蓝图的形式化模型,抽象逻辑结构图的图形表示方法,以及程序设计的基本过程。     

Java过程蓝图

1 引言计算机应用正进入网络时代,Java是一种广泛使用的网络编程语言,被称之为网络上的“世界语”。Java作为一种程序设计语言不仅具有简单、面向对象、分布式、解释执行、鲁棒、安全、平台无关、可移植、高性能、多线程以及动态性等特点,更重要的是它支持以网络为中心的新型计算模式——Java计算模式,从而使Ja-     

PASCAL过程蓝图

提出一种面向标准PASCAL语言的程序处理逻辑图形化表示法－PASCAL过程蓝图,这种工程化表示法支持逻辑和实现两个层次的程序抽象表示,是一种简单实用、容易理解、结构良好的程序设计工具。文中给出PASCAL过程蓝图的形式化模型、抽象逻辑结构图的图形表示方法,以及程序设计的基本过程。     

ＶＦＰ过程蓝图设计技术

Ｖisual FoxPro过程蓝科是一种面向Ｖisual FoxPro语言的程序处理逻辑图表化表示法,这种工程化表示法支持逻辑和实现两个层次的程序抽象表示,是一种简单实用、容易理解、结构良好的程序设计工具,并给出Ｖisual FoxPro过程蓝图的形式化模型和抽象逻辑结构图的图形表示方法。     

国家知识基础设施中的数学知识表示

数学知识表示是知识表示中的一个重要方面,是数学知识检索、自动定理机器证明、智能教学系统等的基础.根据在设计NKI(national knowledge infrastructure)的数学知识表示语言中遇到的问题,并在讨论了数学对象的本体论假设的基础上提出了两种数学知识的表示方法:一种是以一个逻辑语言上的公式为属性值域的描述逻辑;另一种是以描述逻辑描述的本体为逻辑语言的一部分的一阶逻辑.在前者的表示中,如果对公式不作任何限制,那么得到的知识库中的推理不是可算法化的;在后者的表示中,以描述逻辑描述的本体中的推理是可算法化的,而以本体为逻辑语言的一部分的一阶逻辑所表示的数学知识中的推理一般是不可算法化的.因此,在表示数学知识时,需要区分概念性的知识(本体中的知识)和非概念性的知识(用本体作为语言表示的知识).框架或者描述逻辑可以表示和有效地推理概念性知识,但如果将非概念性知识加入到框架或知识库中,就可能使得原来可以有效推理的框架所表示的知识库不存在有效的推理算法,甚至不存在推理算法.为此,建议在表示数学知识时,用框架或描述逻辑来表示概念性知识;然后,用这样表示的知识库作为逻辑语言的一部分,以表示非概念性知识.     

基于语义Web的受控自然语言系统推理模型

虽然相关研究组织提供了语义Web的一些简化工具,但是对不具备相关背景知识的领域专家来说,语义Web的可用性较低。提出了基于语义Web的受控自然语言系统推理模型,以解决这个问题。首先给出受控自然语言系统推理模型框架;然后分析受控自然语言的语言处理部分,提出基于WordNct的受控自然语言系统的本体词库模型和基于本体词库的受控自然语言解释器,把受控自然语言转换成中间表达语言篇章表述结构;最后通过推理部分把篇章表述结构转换成语义Web的本体和规则,通过模板工具映射成Jess的事实和规则,根据预定义的语义Web的公理和定理对受控自然语言进行推理。试验证明此模型大大提高了知识表示建模的效率,也基本满足简单推理任务,具有实用价值。     

Towards a Symbolic Interpretation of Approximate Reasoning

We study knowledge-based systems using symbolic many-valued logic and we focus on the management of knowledge through linguistic concepts characterized by vague terms or labels. In previous papers we have proposed a symbolic representation of nuanced statements. In this representation, we have interpreated some nuances of natural language as linguistic modifiers and we have defined them within a multiset context. In this paper, we continue the presentation of our symbolic model and we propose new deduction rules dealing with nuanced statements. We limit ourself to present new generalizations of the Modus Ponens rules dealing with nuanced statements.     

A graph representation for management of logic models

This paper addresses the problem of managing logic models, which are characterized as formal representations, in logic, of particular systems of interest. The paper presents a new, graph-based representation scheme for logic models. The scheme produces logic graphs and these graphs are useful for management of logic models. Logic graphs not only provide the full deductive capabilities of logic, but they facilitate the gaining of insight into the structure of the logic model. As such, logic graphs are an attractive alternative to other automatic theorem-proving techniques in logic. The discussion is illustrated throughout with an example problem in policy analysis and planning that has appeared in the management literature.     

Logic as an integrated modeling framework

There is a growing interest in the application of Artificial Intelligence (AI) tools and techniques to management science problems. A rich variety of commercial AI software products is now emerging to facilitate this. However, there has been little integration between AI and Management Science (MS) at a theoretical level. This paper proposes the use of formal logic as the basis for this conceptual bridge, and the use of logic programming as a modeling language for management science applications. The framework is illustrated by a logic-based representation, called PM, for specifying production, distribution and inventory problems.     

一种C++过程的可视化设计方法

文章提出一种支持C＋＋语言的可视化过程设计方法。这种设计方法由图形化的过程表示方法－C＋＋过程蓝图以及基于C＋＋过程蓝图的设计过程两部分内容组成。C＋＋过程蓝图支持逻辑和实现两个层次的程序抽象表示,是一种简单实用、容易理解、结构良好的可视化过程设计工具。文中给出C＋＋过程蓝图的形式化模型,抽象逻辑结构图的图形表示方法,以及C＋＋过程蓝图设计的基本过程。