科索夫斯卡娅，T.M。；蒂莫菲耶夫。 在识别问题中形成逻辑决策规则的新方法。 （俄语。英文摘要） Zbl 0573.68052号 维斯特。列宁格。大学。 1985年，第8期，Mat.Mekh。阿童木。1985年，第2期，22-27（1985）. 提出了一种基于谓词演算的模式识别问题描述语言。给出了对象类描述的方法。对象识别问题的解决——识别、分类、分析——简化为谓词演算定理的证明。结果表明，引入不同层次的概念可以减少计算量。给出了引入这些概念后激励公式证明复杂性变化的估计。 引用于1审查引用于1文件 MSC公司： 68吨10 模式识别、语音识别 关键词：模式识别；谓词演算；物体识别 PDF格式BibTeX公司 XML格式引用 \textit{T.M.Kosovskaya}和\textit{A.V.Timofeev}，Vestn。列宁格。马特·梅赫大学。阿童木。1985年，第2号，第22--27号（1985；Zbl 0573.68052）