KNOWLEDGE REPRESENTATION FOR NATURAL-LANGUAGE PROCESSING

被引：0
作者：
PLETAT, U
机构：
来源：
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE | 1992年 / 636卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We give an overview of the typed predicate logic L(LILOG) which serves as the target language for translating the information provided in German texts into machine processible form. Being part of the natural language understanding system LEU/2, the knowledge representation system built around L(LILOG) serves different purposes. Its knowledge engineering environment has been used for modeling the semantical backgound knowledge for the application domain of LEU/2. The inference engine implementing L(LILOG) is a flexible theorem prover for processing the information extracted from natural language texts.
引用
收藏
页码：231 / 241
页数：11
相关论文
共 35 条
[1]   LOGIN - A LOGIC PROGRAMMING LANGUAGE WITH BUILT-IN INHERITANCE [J].
AITKACI, H ;
NASR, R .
JOURNAL OF LOGIC PROGRAMMING, 1986, 3 (03) :185-215
[2]   CONTRIBUTIONS TO THE THEORY OF LOGIC PROGRAMMING [J].
APT, KR ;
VANEMDEN, MH .
JOURNAL OF THE ACM, 1982, 29 (03) :841-862
[3]  
BEIERLE C, 1992, IWBS113 IBM DTSCH GM
[4]  
BEIERLE C, 1990, LECTURE NOTES ARTIFI, V418
[5]  
BEIERLE C, 1988, INFORMATIK FACHBERIC, V195
[6]  
BOLLINGER T, 1991, IWBS165 IBM DTWCH RE
[7]  
BOLLINGER T, 1991, P IJCAI 91
[8]  
BOLLINGER T, 1992, IN PRESS ORDER SORTE
[9]   AN OVERVIEW OF THE KL-ONE KNOWLEDGE REPRESENTATION SYSTEM [J].
BRACHMAN, RJ ;
SCHMOLZE, JG .
COGNITIVE SCIENCE, 1985, 9 (02) :171-216
[10]  
Clocksin W. F., 1981, PROGRAMMING PROLOG
1234