Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《Journal of Tianjin University》 1990-03
Add to Favorite Get Latest Update


Bai Jiaqiu (Dept. of Computer Engring. & Sci.)  
Based on the relation of representing the sufficient condition by "if, then", this paper points out: (1) the limitation of orthodox predicate calculus system F, (2)Entailment logic trthfully gives expression to the relation of the sufficient condition. It also reseaches into a logic-fundamentals of expert systems.
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
Chinese Journal Full-text Database 1 Hits
1 Feng Yongxin Xia Songbo Huang Wenhu (Dept. of Power Engineering) (Dept. of Space Engineering and Mechanics);A Graph Theory Method for Diagnostic Reasoningin the Concurrent Diagnostic Way[J];哈尔滨工业大学学报;1997-01
Chinese Journal Full-text Database 2 Hits
1 Bai Jiaqiu (Dept. of Computer Engring. & Sci.);LOGIC-FUNDAMENTALS OF EXPERT SYSTEMS[J];天津大学学报;1990-03
2 QIAN Daqun (Shanghai Jiaotong University)L Yongzai (Zhejiang University,Hangzhou);AN APPROACH TO FAULTLOCALIZATION BASED ON DEEP XNOWLEDGE[J];信息与控制;1989-01
【Secondary References】
Chinese Journal Full-text Database 3 Hits
1 ZHONG Jiaming1, ZHU Geng2,WEI Zhen2(1.Computer Network Center, Chenzhou Teachers College,Chenzhou 423000,china;2. Computer and Information College of Hefei University of Technology ,Hefei230009,china);Design and Study on an Algorithm Detecting Control System′s Faults with Graph Theory[J];计算机测量与控制;2003-10
2 WEI Zhen,ZHU Geng,CHENG Yunan,CHENG Lei(School of Computer and Information, Hefei University of Technology, Hefei 230009, China);On the design of an algorithm of fault location in control system with graph theory[J];合肥工业大学学报(自然科学版);2003-03
3 ;The Summary about Fault Diagnosis of Complex System[J];测控技术;1998-02
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved