1) description logics reasoning
描述逻辑推理
1.
Case-based planning process using description logics reasoning for maritime rescue is presented.
针对海上援救指挥决策,采用Web本体语言OWL表示危机态势信息和海上援救领域知识,提出一种基于案例推理和描述逻辑推理的援救规划业务流程。
2) description logic
描述逻辑
1.
Workflow conflict detection algorithm based on description logic;
基于描述逻辑的工作流冲突检测算法
2.
Fuzzy description logic based on vague sets;
一种基于vague集的模糊描述逻辑(英文)
3.
Extended fuzzy description logic;
一种扩展的模糊描述逻辑
3) description logics
描述逻辑
1.
Component retrieval and matching algorithm based on description logics;
一种基于描述逻辑的构件检索匹配算法
2.
The discussion about the relation between the simple conceptual graphs and extensional description logics ALC+;
简单概念图与扩展描述逻辑ALC+的关系探讨
3.
Research of the Conceptual Modeling based on Description Logics;
基于描述逻辑的概念建模研究
5) Logical Description
逻辑描述
1.
Decision Tree algorithm based on logical description and realization using Prolog;
基于逻辑描述的决策树算法及其Prolog实现
6) description logic ALC
描述逻辑ALC
1.
The paper introduces fuzzy negation ~C and opposite negation ╕C into the basic description logic ALC.
本文将模糊否定词～和对立否定词?引入描述逻辑ALC,建立了一个扩展的描述逻辑系统MALC,使其具有处理模糊知识的能力。
补充资料：逻辑推理机
逻辑推理机
logic inference machine
lu0JI tull一Ji逻辑推理机(一嘟e inrerence maehine)可自动进行推理的计算机。它的输人是所要求证明的推理目标、有关的变量以及前提和假设;输出是关于推理目标的证明结论、有关的解释以及上述变量的值。程序员为逻辑推理机编写逻辑程序，其中包括推理过程中需要的已知事实，表示推理规则的逻辑语句和其它形式的语句等。通常，逻辑程序是用PR()-L‘X弓程序设计语言编写的。逻辑推理机根据上述信息，按照其本身所具有的推理机制，选择适当的决策步骤进行逻辑推理演算并输出结果。 逻辑推理机必须是完善的，即不可能给出错误的推理结果，又必须是完备的，即能够给出全部正确推理结果。 逻辑推理机的体系结构可以用知比en抽象机(W八八项)语义模型表示。WAM模型的指令集包含以下5类基本指令: (l)索引类指令在一个子句的推理过程中，用于控制各部分执行次序，例如，选择当前子句、回溯、重试等; (2)过程类指令用于管理推理过程中的子句链的选择和环境设置，以及子句链之间的转移等; (3)取检类指令包括取出参数，检验子句的形式参数与实在参数是否合一，记录相应的变量代人关系等; (4)设置类指令在子句体中，为谓词设置实在参数等; (5)合一类指令用于处理表或函数结构中各分量的设置和合一操作等。 应用这些指令，可以编写相应的程序来描述逻辑推理机的体系结构;又可以通过它们，采用编译、解释以及硬件组成等方法去实现实际的逻辑推理机。 关于逻辑推理机的研究成果有美国的PLM机(l 985年)、日本第五代计算机计划中的PSI机(1985年)和PSI一11机(1987年)以及具有并行化体系结构的Multi一PSI机(1987年)和PIM机(1986年)等。(郑守淇)
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条