切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
使用Petri网T—不变量求解子句的逻辑推论
使用Petri网T—不变量求解子句的逻辑推论
来源 :计算机学报 | 被引量 : 0次 | 上传用户:striving123
【摘 要】
:
本文研究了子句逻辑规则的Petri网模型的表示及使用Petri网分析方法进行逻辑推论,基于四值逻辑和冲突变迁的概念,表示了非Horn子句Petri网模型的构造,并使用T-不变量方法解决子句推论问题。
【作 者】
:
林闯
王鼎兴
【机 构】
:
国家信息中心研究所,清华大学计算机科学与技术系
【出 处】
:
计算机学报
【发表日期】
:
1996年10期
【关键词】
:
逻辑推论
子句
PETRI网
T-不变量
人工智能
Logical inference
clauses
four-valued logic
Petri n
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文研究了子句逻辑规则的Petri网模型的表示及使用Petri网分析方法进行逻辑推论,基于四值逻辑和冲突变迁的概念,表示了非Horn子句Petri网模型的构造,并使用T-不变量方法解决子句推论问题。
其他文献
政府油料收储 我国形成全球油脂库存“堰塞湖”?
近年我国油脂市场在政府密集调控、市场自身调节的“双轨制”背景格局之下.植物油(籽)国储库存明显高企.全球新季油、籽作物的增产前景乐观,俨然形成全球油脂库存压力、价格波动的
期刊
政府
库存
油脂
堰塞湖
油料
市场风险
市场调控
自身调节
工程数据库系统的设计事务模型
本文提出了工程数据库系统OSCAR的设计事务模型,该模型既体现了工程设计过程的全局试探特征,也体现了其局部试探特征,本文同时给出该模型的一种基于影子页面和日志技术的实现方法。
期刊
工程数据库
设计事务模型
工程设计
Engineering database system
design transaction model
explora
综合知识表示模型MAS的属性文法推理机制
根据文献[2]中提出了的基于属性文法和语义网络的综合知识表示模型MAS,本文提出了关于实现该MAS推理机制的基本算法,并且通过实例对该算法进行了说明,最后,证明了基于MAS模板的属性文法是L-AG和IMAS的
期刊
属性文法
属性文法解释器
推理机制
知识表示
Attribute grammar
attribute grammar interpreter
inference
面向三维变量设计的可变特征模型
本文提出了一个面向三维变量设计的产品形状可变特征模型,其中包括特征树,特征表有特征约束关系图等新概念,用于描述设计过程中的形体模型和特征间的相互内在联系,从而不仅可作参
期刊
可变特征模型
变量设计
三维
CAD
Variable feature model
feature tree
feature list
feature c
饲用复合酶制剂酶学特性研究
饲用复合酶制剂的主要酶种包括纤维素酶、蛋白酶、脂肪酶和淀粉酶。利用高产菌株S6—5、Y7—6和B5—12混合发酵生产复合酶制剂,发现纤维素酶催化反应最适宜的酸碱度在DH=5.0.反
期刊
高产菌株
PH值
温度
复合酶
不可溶性和可溶性日粮纤维对早期断奶仔猪肠道食糜的理化性质及微生物区系的影响
本文研究了两种不同来源的非淀粉多糖(来源于麦麸的不可溶性非淀粉多糖、来源于甜菜汁的可溶性非淀粉多糖)对早期断奶仔猪营养物质的消化率、肠道后端食糜的理化性质、微生物数
期刊
微生物区系
非淀粉多糖
仔猪
断奶
用均覆盖和锥形式对析取范式的结构分析及其近似快速求解算法
本文对析取范式的结构作了结构分析,得出了如下结果;在恰当由n个确定的例题变元所可能构成的一切析取范式中,含均覆盖的析取范式的比例当n趋于无穷大时等于1。在其余的析取范式中,含
期刊
析取范式
均覆盖
锥形式
算法
Disjunctive normal form(DNF)
equal covering
cone form
公司+农户经营模式可享受减免税优惠
近日.国家税务总局发布2010年第2号公告称.“公司+农户”模式可以减免企业所得税。这意味着“公司+农户”模式得到国家的大力支持。公告称.对以“公司+农户”经营模式从事农、林、
期刊
“公司+农户”模式
经营模式
企业所得税
中华人民共和国
国家税务总局
优惠政策
公告
高效液相色谱质谱联用法测定饲料中的三聚氰胺
通过对提取液、净化方式的优化,色谱柱的选择建立饲料中三聚氰胺的高效液相色谱质谱联用法.针对相应的提取液用正交试验筛选最佳的提取方案。样品经乙腈水溶液(70:30.V/V)超声提取
期刊
高效液相色谱质谱联用法
饲料
三聚氰胺
基于约束的形状自动求解新算法
基于约束的产品形状描述及求解是目前计算机辅助设计研究的一个热点。本文在研究国内外现有技术的基础上,提出了一个基于约束的形状自动求解算法,该算法与国内外现有相关算法相
期刊
CAD
几何约束求解
形状生成算法
参数化设计
Parametric design
geometric constraint solving
shape g
与本文相关的学术论文