oalib

Publish in OALib Journal

ISSN: 2333-9721

APC: Only $99

Submit

Any time

2020 ( 2 )

2019 ( 371 )

2018 ( 6650 )

2017 ( 6906 )

Custom range...

Search Results: 1 - 10 of 312909 matches for " 黄林鹏 孙永强? "
All listed articles are free for downloading (OA Articles)
Page 1 /312909
Display every page Item
线性逻辑,Petri网和并发计算
,
计算机科学 , 1991,
Abstract: 1.线性逻辑和张量理论在古典逻辑的 Gentzen 型矢列演算中Girard 去除弱规则和缩规则,发展起一种新型逻辑系统——线性逻辑(简记为 LL)。它不同于古典逻辑,本质上是一种事态逻辑(logic of situation),或者是一动作逻辑(logic of action),强调系统的动态特征与并发计算紧密相关。结构规则的去除自然在 LL 中导致了两种类型的连接词:乘性连接词和加性连接词,
线性逻辑和逻辑式程序设计
,
计算机科学 , 1992,
Abstract: 所谓的逻辑式程序设计它涉及两个逻辑层次:外部逻辑和内部逻辑,前者描述对象之间的逻辑关系,而后者涉及目标求解遵循的逻辑法则。如PROLOG,它的外部逻辑是古典逻辑,而其计算遵循的,我们将证明可以使用线性逻辑中的记法加以刻画。本文从从证明论角度出发,研究PROLOG目标求解成功或失败的公理性,并说明对任一给定的程序P,可定义一个线性理论LT(P),关于该理论,PROLOG目标求解是正确且完备的。
人工智能研究的历史与展望
,
计算机科学 , 1993,
Abstract: 图灵奖获得者 Maurico V.wilkos 教授最近应 CACM 杂志社之邀,撰文评述了人工智能研究的历史及展望,该文对机器学习、专家系统、神经网络、数字/模拟计算机等做了极其精辟的评价,读来颇受启发。
线性辑导论
,
计算机科学 , 1991,
Abstract:
非单调性和不一致性的处理——一个基于线性逻辑的方法
,
软件学报 , 1993,
Abstract: 本文提出一种基于线性逻辑的理论l1,它除了能较好地反映常识推理的非单调性外,还可以在矛盾存在的情况下继续组织有效的推理。
一个新的证明网定义及合理性
,
软件学报 , 1994,
Abstract: 本文给出一个新的线性逻辑的证明网的定义并证明了所定义的证明网是线性逻辑的自然推理.和girard的原定义相比,使用本文给出的定义来判定一个证明结构是否为证明网的时间复杂度为o(n*n),并且在证明所定义的证明网是可矢列化时更加自然和简单.
线性逻辑和逻辑式程序设计

计算机科学 , 1992,
Abstract: 所谓的逻辑式程序设计它涉及两个逻辑层次:外部逻辑和内部逻辑,前者描述对象之间的逻辑关系,而后者涉及目标求解遵循的逻辑法则。如prolog,它的外部逻辑是古典逻辑,而其计算遵循的,我们将证明可以使用线性逻辑中的记法加以刻画。本文从从证明论角度出发,研究prolog目标求解成功或失败的公理性,并说明对任一给定的程序p,可定义一个线性理论lt(p),关于该理论,prolog目标求解是正确且完备的。
线性辑导论

计算机科学 , 1991,
Abstract:
线性逻辑,petri网和并发计算

计算机科学 , 1991,
Abstract:
软件规范

计算机科学 , 1993,
Abstract:
Page 1 /312909
Display every page Item


Home
Copyright © 2008-2017 Open Access Library. All rights reserved.