也叫“有定子句文法”。标准的知识表示方式之一。它使用谓词逻辑来控制一组规则子句的分析。每个规则子句的形式为：结论：前提1，前提2，……前提n。其中的“前提”，是一个能够测试真假值的谓词逻辑的原子。它可以是另一个规则子句的结论，也可以是一个预先存储在知识数据库中的简单的事实子句。“结论”也是一个谓词逻辑的原子。它只有在所有的前提均被证明为真时才为真。逻辑程序接受一个原子形式的目标，并把它与所存子句的结论比较。当发现一个匹配时，就试图通过把匹配的结论的前提作为子目标继续搜索，以证明目标。当所有的子目标均为真时，目标本身也就被证明了。假定知识数据库中存在着如下一组规则子句和事实子句：父子关系(X，A)：父亲(X，A)，男性(A)。父亲(老王，小王)。男性(小王)。运用上述控制程序，就能证明象“?－父子关系(老王，小王)”这样的目标。
出版时间：1993-09 知识的力量——科学的社会范畴 : 英国齐曼(John Ziman)著。本书是一部研究科学社会学的著作。科学社会学形成于20世纪30年代,是一门关于自然科学、社会科学和哲学的综合性学科,也是研究科学本..
出版时间：1993-09 描写语言学引论 : 美国莱曼 (Winfred P.Lehmann,1916～ )著。1972年由纽约兰登书屋(Ran-dom House)出版。描写语言学,又称静态语言学,是对某一历史阶段的某一具体语言的语音特点、语法、词汇进..
出版时间：1993-09 语言地理类型学 : 日本桥本万太郎(1932～)著。1978年由日本弘文堂出版,本书作者是国际著名语言学家。在本书中,他反对把在印欧语研究中曾获得成功的比较语言学作为研究一切语言的灵丹妙药,批评..
出版时间：1993-09 语言理论导论 : 丹麦叶尔姆斯列夫(Louis Hjelmslev,1899～1965)著。作者是结构主义语言学哥本哈根学派的代表人物,此书是作者的代表作。作者的语言学理论可以通过一系列假设来表述,内容有:语言..
出版时间：1993-09 语言论——言语研究导论 : 美国萨丕尔(Edward Sapir,1884～1939)著。作者是美国结构主义语言学的奠基人之一,又是著名的人类学家。此书是他的主要著作。全书11章,内容有:什么是语言、语言的成分..