上海交通大学学报（英文版）
上海交通大學學報（英文版）
상해교통대학학보（영문판）
THE EIGHTH EDITORIAL BOARD OF JOURNAL OF SHANGHAI JIAOTONG UNIVERSITY
2004年
3期
55-59
,共5页
first order predicate%semantic query%inference engine%rule circuit
This paper described an approach to make inferences on Chinese information using first order predicate logic, which could be used in the semantic query of Chinese. The predicates of the method were derived from the natural language using rule based LFT, the axiom set was generated by extracting lexicon knowledge from HowNet, and the first order predicate inferences were made through symbol connection of center words. After all these were done, the evaluation and possible improvements of the method were provided. The experiment result shows a higher precision rate than that traditional methods can reach.
