The Annual SUMO Reasoning Prizes at CASC
PAAR/ESHOL(2008)
摘要
Previous CASC competitions have focused on proving difficult problems on small numbers of axioms. However, typical reasoning applications for expert systems rely on knowledge bases that have large numbers of axioms of which only a small number may be relevant to any given query. We have created a category in the new LTB division of CASC to test this sort of situation. We present an analysis of performance of last year's entrants in CASC to show how they perform before any opportunity for tuning them to this new competition.
更多查看译文
关键词
knowledge base,expert system
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络