一阶逻辑

基于一阶逻辑的RDF模型的研究

Research on RDF Model Based on First-Order Logic

这些方法是由学习Agent来完成的，它由已知知识、学习条件和获取知识三部分构成，采用框架和一阶逻辑表示，因此学习Agent具有良好的扩展性。

The agent is composed of known knowledge , learning conditions , and learning knowledge , and it has strong extensibility , because it s expressive language is the frame and first-order logic .

首先，在论文中用一阶逻辑语言建立可信平台模块API的形式化模型，然后对建立的形式化模型进行逻辑推理分析。

Firstly , a formal model of TPM is built using first-order logic language .

将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上。

The two value weak model for first order logic with generalized quantifier Q is generalized to be valued in complete weak complemented lattices .

在语义Web服务规范OWL-S的基础上，研究通过一阶逻辑状态演算来规划组合服务的方法。

Based on semantic Web Service and OWL-S specification , a first-order logic Situation Calculus planning method for services composition is introduced .

基于语义tableau的一阶逻辑自动定理证明

Automated Theorem Proving Based on Semantic Tableau in First-Order Logic

基于传统数据库的ECA规则模型，定义了六元组的空间ECA模型，并采用一阶逻辑形式化的描述空间完整性约束，使得约束可以与主动规则在统一模式下处理。

First-order logic is used to formally describe spatial integrity constraints , which places the constraint and rules under a uniform mode .

基于格蕴涵代数的格值一阶逻辑L（vfl）中的不确定性推理研究

Study on Uncertainty Reasoning in Lattice-Valued First-Order Logic L_ ( vfl ) Based on Lattice Implication Algebra

我们先用框架连接图（FCG）表示知识，进而用有向图（DG）理论解释，最后转换成一阶逻辑。

Frame connection graph ( FCG ) is used to represent the knowledge and then interpreted by using directed graph theory ( DG theory ), and finally translated into first-order logic .

基于多类一阶逻辑设计的概念模型语言CML可用来描述系统模型，并可用CMA对模型描述进行静态一致性和动态时序特性的检查。

Based on a kind of multi-sorted first order logic , the language CML is used to specify system models conceptually , and the analyser CMA is followed to check their static consistency and dynamic temporal .

在tableau方法基础上，讨论了一阶逻辑中的自动定理证明理论，提出使用模型存在定理证明其可靠性和完备性的方法。

Based on tableau the theories of automated theorem proving in first-order logic are discussed . For proving the soundness and the completeness , the methods of theorem proving using the model existence theorem are presented .

基于几类典型的不确定性推理模型，给出了基于格值一阶逻辑系统L（2nf）

For some representative uncertainty reasoning models , some concrete methods for selecting appropriate parameters during the uncertainty reasoning process based on lattice-valued first-order logics Jnf are proposed .

众所周知，经典命题逻辑中的判定问题是NP完全问题，而一阶逻辑是半可判定问题，关于非经典逻辑特别是非单调逻辑的计算复杂性分析和算法实现是一个重要的研究领域。

It is well known that the determinant problem in classic proposition logic is a NP complete problem , and the first order logic is a half determinant one . So both the analysis of computing complexity and the realization of it are the most important fields .

文章首先对RDFS类型系统做了非形式化分析，然后基于一阶逻辑定义了一套RDFS类型系统中对应类层次模型、类-实例模型和核心概念约束模型的事实-规则集。

After informal analysis of RDFS type system , this paper defines a suit of facts-rules set according to hierarchical class model , class-instance model and core concept constraint model in RDFS based on first-order logic .

布尔算子模糊逻辑（简称BOFL）就是为了试图解决一阶逻辑的这些局限性而建立的逻辑框架。

The aim we establish the logic frame BOFL ( Boolean Operator Fuzzy Logic ) is to solve the innate limitation of the first-order logic .

为了形式化验证数字现金的安全性，本文在经典一阶逻辑的基础上，吸取了多类逻辑、动态逻辑和非单调逻辑的思想，提出了BZL逻辑模型。

In order to formalize and verify the protocol , BZL logic model is built , which based on first-order logic and introduces many-sorted , dynamic and non-monotony logic .

本文首先讨论了模态逻辑与μ算子的表达能力、博弈语义，给出一阶逻辑与Monadic二阶逻辑的博弈形式，然后讨论互模拟等价在这些逻辑表达能力的核心作用和这些逻辑之间的关系。

This article covers expressive power of modal logic and μ - calculus , and their game semantics . We also give game semantics of first order logic and monadic second order logic , then we use bisimulation as a core concept to relate these logic -

向前向后法证明一阶逻辑的几个定理

Proving Several Theorems in First Order Logic Based on Back-and-Forth Method

安全协议一阶逻辑模型中攻击重构的实现

Implementation of Attack Reconstruction in First-order Logic Model for Security Protocols

连续一阶逻辑是经典一阶逻辑的一个类比。

Continuous first-order logic is an analog of classical first-order logic .

讨论了向量值一阶逻辑形式系统。

A first order system of vector logic is studied .

IF一阶逻辑不是真正基本的一阶逻辑。

That it is not the real basic first - order logic .

一阶逻辑中约束求解的局部搜索法

Local Search Methods for Constraint Solving in First Order Logic

初等模糊一阶逻辑的准形式演绎系统

The Quasi - formal Deduction System on the Fuzzy First - order Logic

形式语言是一阶逻辑的深化；

Formal language is the depth of first-order logic .

对于以一阶逻辑为基础的规约，可以利用有限模型构造技术对其执行并测试。

Logic based specifications can be executed and tested by finite model generation techniques .

一阶逻辑的内涵语义

An Intensional Semantics for First - order Logic

一阶逻辑知识库的检测

Debugging for a first order logic knowledge base

经典一阶逻辑的希尔伯特型系统

An Axiomatics for First - order Logic

一阶逻辑模型生成器的实现

Implementation of first order logic model generation