• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Study on Inductive Learning Based on Positive Examples

Research Project

Project/Area Number 09680372
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field Intelligent informatics
Research InstitutionKyushu Institute of Technology

Principal Investigator

SHINOHARA Takeshi  Kyushu Institute of Technology, Department of Artificial Intelligence, Professor, 情報工学部, 教授 (60154225)

Co-Investigator(Kenkyū-buntansha) SUGIMOTO Noriko  Kyushu Institute of Technology, Department of Artificial Intelligence, Assistant, 情報工学部, 教務職員 (80271120)
Project Period (FY) 1997 – 1999
Project Status Completed (Fiscal Year 1999)
Budget Amount *help
¥2,900,000 (Direct Cost: ¥2,900,000)
Fiscal Year 1999: ¥600,000 (Direct Cost: ¥600,000)
Fiscal Year 1998: ¥700,000 (Direct Cost: ¥700,000)
Fiscal Year 1997: ¥1,600,000 (Direct Cost: ¥1,600,000)
KeywordsInductive Inference / Machine Learning / Inductive Inference from Positive Data / Pattern Languages / Elementary Formal Systems / Efficiency of Learning
Research Abstract

The aim of this research is in investigating realizability of machine learning, by studying inductive inference as a theoretical model of learning from examples. In general, examples using in learning are categorized in positive ones and negative ones. In language (or grammar) learning, positive examples are corresponding to (grammatically) correct sentences. Data obtained from experiments can be considered as positive examples of a certain property, when they are concerned with the property. In this research, we have considered theoretical limits of inductive learning based on positive examples and investigated efficient learning algorithms from the viewpoint of practical applications.
A pattern is a string consisting of constant symbols and variables. The language or a pattern is the set of constant strings obtained by substituting nonempty constant strings for variables in the pattern. For any fixed k, the class of unions of at most k pattern languages is already shown to be inferable from positive data.
We apply a learning algorithm for pattern languages to discover a motif from amino-acid sequences. From only positive examples with the help of an alphabet indexing, the algorithm successfully finds sets or patterns, that can be considered as motifs.
Elementary formal systems are logic programs over patterns, and therefore natural extension of patterns. We employ elementary formal systems as a unifying framework for language learning. Within this framework, we have shown various results, such as, model inference style language learning, and the existence or rich classes of languages inferable from positive data.

Report

(4 results)
  • 1999 Annual Research Report   Final Research Report Summary
  • 1998 Annual Research Report
  • 1997 Annual Research Report
  • Research Products

    (21 results)

All Other

All Publications (21 results)

  • [Publications] Hiroki Arimura: "Learning unions of tree patterns using queries"Theoretical Computer Science (Netherlands). 185. 47-62 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Takeshi Shinohara: "Approximate retrieval of high-dimensional data by spatial indexing"Proc. of 1st International Conference on Discovery Science, Lecture Notes in Artificial Intelligence 1532, Springer-Verlag. LNAI-1532. 141-149 (1998)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Hiroki Ishizaka: "Finding tree patterns consistent with positive and negative examples using queries"Ann. Math. Artif. Intell.. vol. 2, No. 1-2. 101-115 (1998)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Noriko Sugimoto: "Generating languages by a derivation procedure for elementary formal systems"Information Processing Letters. Vol. 69. 161-166 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Setsuo Arikawa: "Developments in computational learning theory within the framework of elementary formal systems"Machine Intelligence, Oxford Univ. Press. Vol. 15. 227-247 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Takeshi Shinohara: "Approximate retrieval of high-dimensional data with L_1 metric by spatial indexing"New Generation Computing. Vol. 18, No. 1. 39-47 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] H.Arimura, H.Ishizaka, T.Shinohara: "Learning unions of tree patterns using queries"Theoretical Computer Science (Netherlands). 185. 47-62 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] T.Shinohara, J.An, H.Ishizaka: "Approximate retrieval of high-dimensional data by spatial indexing"Proc. 1st International Conference on Discovery Science, Lecture Notes in Artificial Intelligence 1532, Springer-Verlag. 141-149 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] H.Ishizaka, H.Arimura, T.Shinohara: "Finding tree patters consistent with positive and negative examples using queries"Ann. Math. Artif. Intell.. 2, No1-2. 101-115 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] N.Sugimoto, H.Ishizaka: "Generating languages by a derivation procedure for elementary formal systems"Information processing Letters. 69. 161-166 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] S.Arikawa, A.Shinohara, M.Sato, T.Shinohara: "Developments in computational learning theory within the framework of elementary formal systems"Machine Intelligence, Oxford Univ. Press. 15. 227-247 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] T.Shinohara, J.An, H.Ishizaka: "Approximate retrieval of high-dimensional data with L|-D21-|D2 metric by spatial indexing"New Generation Computing. 18. 39-47 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Hiroki Arimura: "Learning unions of tree patterns using queries"Theoretical Computer Science (Netherlands). 185. 47-62 (1997)

    • Related Report
      1999 Annual Research Report
  • [Publications] Takashi Shinohara: "Approximate retrieval of high-dimensional data by spatial indexing"Proc.1st International Conference on Discovery Science,Lecture Notes in Artificial Intelligence 1532,Springer-Verlag. LNAI-1532. 141-149 (1998)

    • Related Report
      1999 Annual Research Report
  • [Publications] Toru Takae: "Knowledge discovery in biosequences using sort regular patterns"Proc.of Workshop on Applied Learning Theory,DOI-TR-154,Dept.Informatics,Kyushu Univ.. DOI-TR-154. 49-58 (1998)

    • Related Report
      1999 Annual Research Report
  • [Publications] Hiroki Ishizaka: "Finding tree patterns consistent with positive and negative examples using queries"Ann.Math.Artif.Intell.. Vol.2,No.1-2. 101-115 (1998)

    • Related Report
      1999 Annual Research Report
  • [Publications] Setsuo Arikawa: "Developments in comprtational learning theory within the framework of elementary formal systems"Machine Intelligence,Oxford Univ.Press. Vol.15. 227-247 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] Takeshi Shinohara: "Approximate retrieval of high-dimensional data with L_1 metric by spatial indexing"New Generation Computing. Vol.18,No.1. 39-47 (2000)

    • Related Report
      1999 Annual Research Report
  • [Publications] T.Takae,T.Kasai,H.Arimura,T.Shinohara: "Knowledge discovery in biosequences using sort regular patterns" Proc.of Workshop on Applied Learning Theory,DOI-TR-154,Dept.Informatics,Kyushu Univ.DOI-TR-154. 49-58 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] T.Shinohara,J.An,H.Ishizaka: "Approximate retrieval of high-dimensional data by spatial indexing" Proc.1st International Conference on Discovery Science,Lecture Notes in Artificial Intelligence 1532,Springer-Verlag. LNAI-1532. 141-149 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] H.Arimura,H.Ishizaka,T.Shinohara: "Learning unions of tree patterns using queries" Theoretical Computer Science(Netherlands). 185. 47-62 (1997)

    • Related Report
      1997 Annual Research Report

URL: 

Published: 1997-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi