溯源 “Horn 子句 ” 来自于逻辑学家 霍恩( Alfred Horn )在 1951 年发表的文章 “On sentences which are true of direct unions of algebras”, 首次强调了这种子句的重要性。 Horn 子句 在命题逻辑中,Horn子句是带有最多一个肯定变元的子句(文字的析取)。有且只有 ...
1. 霍恩 霍恩( Alfred Horn 1918-2001 ),美国逻辑学家,因其在格子理论和通用代数方面的工作而闻名。他在 1951 年发表的论文 “On sentences which are true of direct unions of algebras” 描述了 Horn 子句和 Horn 句子,后来成为逻辑编程的基础。 霍恩出生在曼哈顿下东城,父母都是聋哑人 ...
“没有事实的理论只是一种幻想,但没有理论的事实只是一种混沌。” - Charles Otis Whitman , 1894 。 « Une théorie sans faits n’est qu’une fantaisie, mais des faits sans théorie ne sont que chaos. » — Charles Otis Whitman, 1894. 理论,希腊语 theoria , contempler, ...