γ-UNIT LOCK RESOLUTION ON λ-HORN SET

被引：0

作者：

刘叙华

杨凤杰

机构：

[1] Changchun 130021

[2] PRC

[3] Jilin University

[4] Department of Computer Science

来源：

Science Bulletin | 1990年 / 05期

关键词：

HORN SET; UNIT LOCK RESOLUTION ON;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

We presented the concept of Operator Fuzzy Logic System and λ-Resolution Method in 1984, and obtained some theoretical results. In practice, in many cases knowledge and rules can be expressed by λ-Horn set of clauses. For example, the knowledge and

引用

页码：439 / 440

页数：2

共 50 条

[1] LAMBDA-UNIT LOCK RESOLUTION ON LAMBDA-HORN SET
LIU, XH
YANG, FJ
[J]. CHINESE SCIENCE BULLETIN, 1990, 35 (05): : 439 - 440
[2] INPUT HALF-LOCK RESOLUTION ON HORN SET
LIU, XH
[J]. KEXUE TONGBAO, 1986, 31 (05): : 289 - 291
[3] INPUT SEMI-LOCK REFUTATION ON HORN SET WITH EQUALITY
WU, MK
[J]. KEXUE TONGBAO, 1988, 33 (15): : 1233 - 1234
[4] INPUT SEMI-LOCK REFUTATION ON HORN SET WITH EQUALITY
吴茂康
[J]. Science Bulletin, 1988, (15) : 1233 - 1234
[5] Neural network resolution on horn clause set
Xia, SF
Qing, M
Huang, TM
Xu, Y
[J]. 2003 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-5, PROCEEDINGS, 2003, : 1682 - 1686
[6] α-Input and α-Unit Resolution Methods for Generalized Horn Clause Set in L(V(n×2))F(X)
何星星
徐扬
李莹芳
刘军
[J]. Journal of Donghua University(English Edition), 2012, 29 (01) : 66 - 70
[7] Slickline power unit on coiled tubing to set a nippleless lock in a multilateral completion
不详
[J]. JOURNAL OF PETROLEUM TECHNOLOGY, 1999, 51 (07): : 32 - +
[8] ON RENAMING A SET OF CLAUSES AS A HORN SET
LINDHORST, G
SHAHROKHI, F
[J]. INFORMATION PROCESSING LETTERS, 1989, 30 (06) : 289 - 293
[9] RENAMING A SET OF CLAUSES AS A HORN SET
LEWIS, HR
[J]. JOURNAL OF THE ACM, 1978, 25 (01) : 134 - 135
[10] Copy complexity of Horn formulas with respect to unit read-once resolution
Wojciechowski, Piotr
Subramani, K.
[J]. THEORETICAL COMPUTER SCIENCE, 2021, 890 : 70 - 86

← 1 2 3 4 5 →