BriefGPT.xyz
Oct, 2011
搜索的语言
The Language of Search
HTML
PDF
A. Darwiche, J. Huang
TL;DR
本文提出了一种搜索算法与命题语言相结合的框架,有效地将知识归纳整理而成各种有用语言,通过对称式、迭代式等搜索方法的分析得出,能够相应的引出哥德尔公式、区间逻辑、一阶逻辑等语言。
Abstract
This paper is concerned with a class of algorithms that perform
exhaustive search
on propositional knowledge bases. We show that each of these algorithms defines and generates a
propositional language
. Specifical
→