搜索筛选:
搜索耗时3.3013秒,为你在为你在102,285,761篇论文里面共找到 16 篇相符的论文内容
发布年度:
[期刊论文] 作者：吴茂康,
来源：微计算机应用 年份：1990
作者根据锁归结(lock resolution)原理用LISP语言编制了完整的框图和程序,并在APPLE Ⅱ机器上实现了对命题逻辑中的定理的证明。归结原理的证明过程采用了反驳(refutati...
[期刊论文] 作者：吴茂康,
来源：上海科技大学学报 年份：1989
...
[期刊论文] 作者：吴茂康,
来源：上海科技大学学报 年份：1991
...
[期刊论文] 作者：吴茂康,
来源：计算机学报 年份：1991
本文证明了缺省推理中的三个定理.定理1表明了缺省推理的非单调性这一特点.定理2的实际意义在于,在一个封闭规范缺省理论(D,W)中,只要W能推出D中某些缺省的结论,则可以把这样...
[期刊论文] 作者：吴茂康,
来源：计算机学报 年份：1991
缺省理论△=(D,W)中的缺省规则集D,是该理论的不确定因素.如果能去掉一些缺省规则而又不影响该理论的延伸,则就在一定程度上简化了该理论.本文证明了关于规范缺省理论的延伸...
[期刊论文] 作者：吴茂康,
来源：上海科技大学学报 年份：1989
...
[期刊论文] 作者：吴茂康,
来源：计算机学报 年份：1993
众所周知,Fuzzy逻辑比古典逻辑更为充分更为合理地反映了我们的客观世界。在Fuzzy逻辑中,公式的值可取为[0,1]中的任一实数。这一值可看作是该公式的可信度。若S为一公...
[期刊论文] 作者：吴茂康,
来源：科学通报 年份：1988
文献[1]提出了Horn集上输入半锁归结原理,文献[2]则把文献[1]的结论推广到了含有等词的Horn集上。文献[3]提出了处理等词的RUE-NRF推理规则。它的特点是把等词的自反性,可传...
[期刊论文] 作者：翁益华,吴茂康,
来源：浙江中医学院学报 年份：1995
...
[期刊论文] 作者：吴茂康,缪淮扣,
来源：上海大学学报：自然科学版 年份：1997
在自动定理证明中，我们发现一个卓有成效的证明方法－多余文字参数法。利用这一方法可以简单便捷地证明许多难以证明的各种推理策略中的完备性问题。本文列举了如何应用这一方法......
[期刊论文] 作者：吴茂康,缪潍扣,
来源：上海大学学报：自然科学版 年份：1996
本文研究了相信逻辑在相信蕴涵下的某些性质，在相信蕴涵的定义下，相信逻辑是非单调的，本文给出了几个相信逻辑的单调性的充分且必要条件，还证明了一个墨认理论的延伸恰好就是对应......
[期刊论文] 作者：缪淮扣,吴茂康,
来源：应用科学学报 年份：1994
连接法是一种较新的自动定理证明的方法．该文讨论了带有等词的连接法，给出了形式化的定义，证明了带有等词的逻辑公式是ｅｑ有效的当且仅当它有互补复合例的规范矩阵的定理，并设计了带......
[期刊论文] 作者：吴茂康,缪淮扣,
来源：计算机学报 年份：1993
缺省推理是各种非单调推理系统中最在影响的系统之一。Ｒ。Ｒｅｉｔｅｒ对规范缺省理论作了一系列的研究。他还提出了证明理论，并证明了这一证明理论对于规范缺省理论来说是完备的。Ｗ。Ｅｔｈｅｒｉｎｇｔｏｎ则提出......
[期刊论文] 作者：吴茂康,缪淮扣,
来源：上海大学学报(自然科学版) 年份：1997
在自动定理证明中，我们发现一个卓有成效的证明方法——多余文字参数法．利用这一方法可以简单便捷地证明许多难以证明的各种推理策略中的完备性问题．本文列举了如何应用这一方法......
[期刊论文] 作者：吴茂康,童頫,缪淮扣,
来源：Journal of Shanghai University 年份：1997
...
[期刊论文] 作者：郭克礼,奚志诚,吴仁杰,吴茂康,唐全珍,刘桂林,,
来源：改革与开放 年份：1992
在全国人民满怀胜利豪情迎来九二年新春的时刻,我们谨向战斗在改革开放第一线的厂长、经理们致以新春的祝贺和崇高的敬意!新春,给我们带来了新的希望和新的任务。国营大中型...
相关搜索：
