NL：松弛时序逻辑自然推理系统

何锫; 唐稚松

首页> 中文期刊> 《软件学报》 >NL：松弛时序逻辑自然推理系统

NL：松弛时序逻辑自然推理系统

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

cqvip:由于时序逻辑的特性所在,经典逻辑的某些规则不能直接用于时序自然推理,虽然N系统给出了一个解决办法——把所有规则或推理分为两类:垂直型和水平型,但这种二维模式又为推理带来了某些困难。本文提出了N_L松弛时序逻辑自然推理系统,它为以上两类推理提供了统一视角,我们可以证明:N_L与N等价;有N的证明则必有长度不超过它的N_L证明。

著录项

来源
《软件学报》 |1993年第4期|51-55|共5页
作者
何锫; 唐稚松;
展开▼
作者单位

不详;

不详;

展开▼
原文格式 PDF
正文语种 CHI
中图分类计算机软件;
关键词
时序逻辑; 自然推理;

相似文献

中文文献
外文文献
专利

1. 自然推理系统中推理证明的两种新思路 [J] . 尹慧琴 ,唐耀平 . 现代计算机（专业版） . 2020,第015期
2. 自然推理系统中推理证明的两种新思路 [J] . 尹慧琴 ,唐耀平 . 现代计算机（专业版） . 2020,第013期
3. 一阶谓词逻辑反驳演算自然推理系统 [J] . 杜国平 ,赵曼 . 重庆理工大学学报 . 2013,第009期
4. 一阶谓词逻辑反驳演算自然推理系统 [J] . 杜国平 ,赵曼 . 重庆理工大学学报（社会科学版） . 2013,第009期
5. 自然推理系统中的假设前提引入与消去规则 [J] . 王太忠 . 西昌学院学报（自然科学版） . 2012,第002期
6. 一阶谓词逻辑反驳演算自然推理系统 [C] . DU Guo-ping ,杜国平 ,ZHAO Man . 2013年全国应用逻辑学术年会 . 2013
7. 褐飞虱三种神经肽基因Nl18169,Nl35689及Nl35441的生物学功能剖析 [A] . 陈红丹 . 2014

NL：松弛时序逻辑自然推理系统

摘要

著录项

相似文献

相关主题

期刊订阅