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

1995 Fiscal Year Final Research Report Summary

Research on Discovery and Creative Process Modelling in Logic

Research Project

Project/Area Number 05452360
Research Category

Grant-in-Aid for General Scientific Research (B)

Allocation TypeSingle-year Grants
Research Field Intelligent informatics
Research InstitutionKeio University

Principal Investigator

FURUKAWA Koichi  Keio University, Graduate school of Media and Governance, Professor, 改策・メディア研究科, 教授 (10245615)

Co-Investigator(Kenkyū-buntansha) IMAI Mutumi  Keio University, Faculty of Environmental Information, research associate, 環境情報学部, 助手 (60255601)
MUKAI Kuniaki  Keio University, Faculty of Environmental Information, Professor, 環境情報学部, 教授 (80245597)
ISHIZAKI Shun  Keio University, Faculty of Environmental Information, Professor, 環境情報学部, 教授 (00245614)
Project Period (FY) 1993 – 1995
KeywordsHigher order oncept learning / Inductive logic programming / Data mining / Automatic classification of e-mails / Parallelization of ILP / Language acquisition
Research Abstract

We built a new framework for reducing higher order concept learning problem into the problem of a new predicate introduction.
Particularly, we showed that we can achieve the higher order concept learning in the framework of first order concept learning by giving the definition of a new predicate corresponding to the higher order predicate as a background knowledge of PROGOL.
Furthermore, we proposed a general framework of utilizing database as a source of input to PROGOL by semi-automatically generating positive examples, negative examples, background knowledge, mode declaration and type information. We built an experimental system called DB-Amp to achieve data mining in database based on the framework.
We developed a knowledge base for an e-mail classification system which outomatically classifies e-mails concerning to equipment malfunction consultation in a real business environment by using DB-Amp. We gave keyword thesaurus as background knowledge DB-Amp and succeeded in sutomatically extracting e-mail classification rules.
We also made an attempt to parallelize PROGOL to increase efficiency of inductive logic programming and built an experimental system in Prolog. Especially, we showed that we could make the program very simple by adopting a parallel theorem prover MGTP (Model Generation Theorem Prover) in the algorithm

  • Research Products

    (13 results)

All Other

All Publications (13 results)

  • [Publications] 嶋津恵子、古川康一: "Design of Database Interface to ILP for Buildiug Knowledge Base." Proceedings of the Ninth International Conference on Indusfrial & Engineering Applications of Artificiol Intelligeuce & Expert systems. 9. (1996)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 古川康一: "A Framework for verbalizing Unconscious knowledge based on Inductive Logic Prograwving" Machine Intelligence. 15. (1996)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 岩田崇,内山清子.今井むつみ.石崎俊: "動詞の意味変化における目的語名詞の役割の検討" 日本認知科学会 第12回大会論理集. PA-8. (1995)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Imai,M. & Gentner,D.: "A Crosslinguistic study on constraints on early word meaning: Linguistic influence vs. universal ontology" Cognition. (1996)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Imai,M.: "Asymmetry in the taxonomic assumption: word learning vs. property induction" Child Language Research Forum. 27. (1996)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] K.Mukai: "Constraints on Coalgebras" International conference on information-oriented approaches to Logic, Language, and Computation. (1996)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 石崎俊: "自然言語処理" 昭晃堂, 171 (1995)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 今井むつみ: "言語の学習と認知の発達" 共立出版,

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Shimazu, K.& Furukawa, K.: "Desing of database interface to ILP for building knowledge base" Proceedings of the ninth international conference on industrial & engineering applications of artificial intelligence & expert systems.9. (1996)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Furukawa, K.: "A framework for verbalizing unconscious knowledge based on inductive logic progamming" Machine intelligence. 15. (1996)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Imai, M.& Gentner, D.: "A cross linguistic study on constraints on early word meaning : Linguistic influence vs.universal ontology" Cognition. (1996)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Imai, M.: "Asymmetry in the taxonomic assumption : word learning vs.property induction" Child language research forum. 27. (1996)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Mukai, K.: "Constraints on coalgebras" International conference on information-oriented approaches to logic, language, and computation.(1996)

    • Description
      「研究成果報告書概要(欧文)」より

URL: 

Published: 1997-03-04  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi