1) CTL formula
可计算时态逻辑公式
3) computability logic
可计算性逻辑
1.
Based on the sound and complete subset CL4 of computability logic,knowledge representation is discussed by dividing knowledge into elementary and general ones.
以可计算性逻辑的完备子集CL4为基础进行知识表示,将知识分为简单知识与一般知识。
2.
According to the features and requirements of knowledgebase systems,the authors discuss the insufficiency of basing knowledgebase systems on classical first-order logic,and analyze the rationality and sufficiency of basing them on computability logic.
针对知识库系统的研究现状和存在的问题,分析了用经典一阶谓词逻辑作为知识库系统逻辑基础的不充分性,根据知识库系统的特点和需求,指出可计算性逻辑既能为知识库系统提供合理的逻辑基础,又能弥补经典逻辑作为知识库系统逻辑基础的不足。
4) calculus of logical formula
Rough逻辑公式演算
5) SSLT (solid state logic timer)
固态逻辑计时器
6) temporal logic
时态逻辑
1.
Formal description of properties of concurrency system by temporal logic;
时态逻辑形式化描述并发系统性质
2.
Automated trust negotiation based on temporal logic;
基于时态逻辑的自动信任协商模型
3.
Research on knowledge representation based on temporal logic;
基于时态逻辑的知识表示研究
补充资料：逻辑公式
逻辑公式
logical formula
逻辑公式咖颐cai俪丽山;，r叭“cK如中。pM”a〕 形式逻辑语言中的表示式.逻辑公式的确切定义要在每一个具体语言中给出一般逻辑公式的定义有一种归纳特性:首先区分出称为原子公式(atoITuc for-仃从日a)的一类命题，然后给出由已经构造出的公式，利用逻辑运算(」哈叨1 operdtio刀)的符号构造出新公式的法则.例如，命题逻辑的公式如下定义:任一命题变元是一个〔原子)公式如果A和B皆为公式，那么(A%26B)，(AVB)，(AOB)，(，A)都是公式.谓词逻辑的公式是由命题变元、谓词和个体变元用逻辑联接词、量词和辅助符号(括号及逗号)构成.命题变元和形如尸‘y，，…，夕。)的表示式都是原子公式，其中尸是一个n元谓词变元.并且夕，，…，y。是个体变元.谓词演算公式(fonnulas of predi口*te cal。习留)定义为:a)任一原子公式是一个公式;b)如果A及B均是公式，并且y是一个个体变元，那么(二A)，(A设B)，(A VB)，(A刀B)，(丫yA)，(日yA)都是公式.BE.助‘Ko撰【补注1术语“合式的公式”(“稀n一fonxled fonlll日a”(有时缩写为“wff”或“wf”))的使用是相当广泛的，
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条