Learning Elementary Formal Systems and an Application to Discovering Motifs in Proteins

• Material Type: 文書・図像類
• Title: Learning Elementary Formal Systems and an Application to Discovering Motifs in Proteins
• Author/Editor: 宮野, 悟; 篠原, 歩; 篠原, 武
• Author Heading: 宮野, 悟; 篠原, 歩; 篠原, 武
• Publication, Distribution, etc.: Research Institute of Fundamental Information Science, Kyushu University
• Publication Date: 1991-02-26
• Publication Date (W3CDTF): 1991-02-26
• Periodical title: RIFIS Technical Report
• No. or year of volume/issue: 37
• Volume: 37
• Text Language Code: eng
• Subject Heading: Elementary formal System(EFS); polunominal-time PAC-learning; NC-learnable; pattern languages; common subsequence; structure prediction of proteins
• Target Audience: 一般
• Note (General): Proc. 2nd Workshop on Algorithmic Learning Theory, 139-150, 1991, Revised: April, 1993., Former version: Which classes of elementary formal systems are polynomial-time learnable, February, 1991
• Access Restrictions: インターネット公開
• Related Material: RIFIS Technical Reoport; http://www.i.kyushu-u.ac.jp/research/report.html
• Data Provider (Database): 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）; https://irdb.nii.ac.jp
• Original Data Provider (Database): 九州大学 : 九州大学学術情報リポジトリ

• Summary, etc.: An elementary formal system (EFS) is a logic program consisting of definite clauses whose arguments have patterns instead of first-order terms. We inv...