Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《Journal of Jilin University(Science Edition)》 2009-06
Add to Favorite Get Latest Update

Knowledge Representation and Reasoning Based on Computability Logic

XU Wen-yan,LIU San-yang(Department of Application Mathematics,School of Science,Xidian University,Xi'an 710071,China)  
Based on the sound and complete subset CL4 of computability logic,knowledge representation is discussed by dividing knowledge into elementary and general ones.Based on the features and requirements of knowledgebase systems,a forward and backward-reasoning algorithm is presented.And also based on CL4,a knowledgebase system is constructed,which shows that it makes the knowledgebase system more expressive and more interactive.
【Fund】: 国家自然科学基金(批准号:6057407560674108)
【CateGory Index】: TP182
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
【References】
Chinese Journal Full-text Database 4 Hits
1 MIN Lan1,LIU Yi2,CHEN Xiao-min3(1.College of Information Management,Chengdu University of Technology,Chengdu 610059,P.R.China; 2.Department of Computer Science,Yibin University,Yibin 644007,P.R.China; 3.Department of Information and Computer,Chengdu Electromechanical College,Chengdu 610031,P.R.China);Analysis of deterministic finite automaton in computability logic[J];Journal of Chongqing University of Posts and Telecommunications(Natural Science Edition);2011-06
2 Zheng Hongliang Xu Benqiang Zou Li(School of Computer and Information Technology,Liaoning Normal University,Dalian 116081,Liaoning,China);AN APPROACH FOR KNOWLEDGE REPRESENTATION BASED ON TEN-ELEMENT LATTICE IMPLICATION ALGEBRA[J];Computer Applications and Software;2013-01
3 MA Xiao-jue(School of Science,Xi'an University of Posts and Telecommunications,Xi'an 710121,China);On theorems in system CL4 of computability logic[J];Journal of Xi'an University of Posts and Telecommunications;2011-05
4 JIANG Jianguo,LIU Yongqing,ZANG Mingxiang, WANG Tiantian,SHANG Haibao(School of Computer Science and Technology,Xidian Univ.,Xi'an 710071,China);Research on the representation method of PCB technique rules[J];Journal of Xidian University;2013-01
【Co-references】
Chinese Journal Full-text Database 10 Hits
1 Zhang Shen (Institute of System Engineering, DMU);Decision support system in a port investing planning based on knowledge base and case base[J];JOURNAL OF DALIAN MARITIME UNIVERSITY;1996-04
2 LIU Xin1,YIN Ming'e1,ZOU Li2 (1. College of Mathematics,Liaoning Normal University,Dalian 116029,China; 2. School of Computer and Information Technology,Liaoning Normal University,Dalian 116029,China);Linguistic-valued evaluation approach based on 10-element lattice implication algebra[J];Journal of Liaoning Technical University(Natural Science);2010-05
3 WANG Gang,ZHOU Guo-hong,FU Chang-qing,YANG Yan-ping,WANG Shi(Dept of Computer Science,HNUST,Qinhuangdao Hebei,066004,China);Design and Realization of the Data-object in the J2EE Framework[J];Journal of Hebei Normal University of Science & Technology;2007-03
4 LIU Hongwei1,YAO Shouguang2(1.School of Mechanical and Power Eng.,Jiangsu University of Science and Technology,Zhenjiang Jiangsu 212003,China;2.Nanjing Institute of Industry Technology,Nanjing Jiangsu 210016,China);Application of Database Technique in Expert System Knowledge Representation[J];Journal of Jiangsu University of Science and Technology(Natural Science Edition);2007-03
5 LIU Yuan-yuan(College of Information Technology,Jilin Agricultural University,Changchun 130118,China);Highway vehicle automatic billing system[J];Journal of Changchun University of Technology(Natural Science Edition);2008-03
6 Liang Ronghua Shi Jijian (Department of Computer and Technology Zhejiang University,Hangzhou 310027);The Application of AI in Finance Decision Supporting System[J];Computer Engineering and Applications;2001-08
7 FANG Wei1,2 CUI Zhi-ming2(School of Computer and Software,Nanjing University of Information Science and Technology,Nanjing 210044,China)1(Jiangsu Province Support Software Engineering R&D Center for Information Technology Application in Enterprise,Suzhou 215104,China)2;Dynamic Fuzzy Description Logic for Deep Web Uncertain Knowledge Representation[J];Computer Science;2010-09
8 SHEN Hao , SUN Yongqiang (Dept. of Computer ,Shanghai Jiaotong University,Shanghai 200030);Automata, Logic with Game[J];Computer Engineering;2003-20
9 XU Wen-Yan1) LIU San-Yang2)(Department of Mathematic,Institute of Sciences,Xidian University,Xi′an 710071);Logic for Knowledgebase Systems[J];Chinese Journal of Computers;2009-11
10 WU Jie,WANG Wen-jie (Graduate School,Chinese Academy of Sciences,Beijing 100039,China);Research of rating engine based on formula[J];Computer Applications;2004-11
【Secondary References】
Chinese Journal Full-text Database 1 Hits
1 ZOU Li;TAN Xue-wei;ZHANG Yun-xia;School of Computer and Information Technology,Liaoning Normal University;;Knowledge Reasoning Based on Linguistic Truth-valued Intuitionstic Fuzzy Logic[J];Computer Science;2014-01
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved