达纳州安格鲁因;迈克尔·弗雷泽;莱昂纳德·皮特 学习Horn子句的连词。 （英文） Zbl 0766.68107号 机器。学习。 9，编号2-3147-164（1992）. 摘要：提出了一种学习可表示为Horn子句连词的布尔公式类的算法。该算法使用等价查询和成员查询来生成与待学习的未知公式在逻辑上等价的公式。该算法所用的时间是未知公式中变量数和子句数的多项式。 引用于1审查引用于54文件 MSC公司： 68T05型 人工智能中的学习和自适应系统 关键词：命题Horn句;准确识别;多项式时间学习;等价查询;成员资格查询 PDF格式BibTeX公司 XML格式引用 \textit{D.Anguin}等人，马赫。学习。9，编号2--3，147-164（1992；Zbl 0766.68107）