Learning orthogonal F-Horn formulas

Eiji Takimoto, Akira Miyashiro, Akira Maruoka, Yoshifumi Sakai

研究成果: ジャーナルへの寄稿学術誌査読

1 被引用数 (Scopus)

抄録

In the PAC-learning, or the query learning model, it has been an important open problem to decide whether the class of DNF and CNF formulas is leamable. Recently, it was pointed out that the problem of PAC-learning for these classes with membership queries can be reduced to that of learning for the class of k-quasi Horn formulas with membership and equivalence queries. A k-quasi Horn formula is a CNF formula with each clause containing at most k unnegated literals. In this paper, notions of F-Horn formulas and l-F-Horn formulas, which are extensions of k-quasi formulas, are introduced, and it is shown that the problem of query learning for DNF and CNF formulas with membership and equivalence queries can be reduced to that for l-F-Horn formulas for an appropriate choice of F. It is shown that under a condition on F, the class of orthogonal F-Horn formulas is learnable with membership, equivalence and subset queries. Moreover, it is shown that under the same condition the class of orthogonal l-F-Horn formulas is learnable with membership and equivalence queries. For the latter result, the condition of orthogonality of F-Horn formulas is crucial because, if the statement held without the condition, then the result would imply that DNF and CNF are exactly learnable with membership and equivalence queries.

本文言語英語
ページ(範囲)177-190
ページ数14
ジャーナルTheoretical Computer Science
185
1
DOI
出版ステータス出版済み - 10月 10 1997
外部発表はい

!!!All Science Journal Classification (ASJC) codes

  • 理論的コンピュータサイエンス
  • コンピュータ サイエンス(全般)

フィンガープリント

「Learning orthogonal F-Horn formulas」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル