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

様相論理の濾過法に基づく暗黙知の論理的定式化およびその認知の有限的解釈への適用

Research Project

Project/Area Number 09780305
Research Category

Grant-in-Aid for Encouragement of Young Scientists (A)

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

Principal Investigator

村井 哲也  北海道大学, 大学院・工学研究科, 助教授 (90201805)

Project Period (FY) 1997 – 1998
Project Status Completed (Fiscal Year 1998)
Budget Amount *help
¥500,000 (Direct Cost: ¥500,000)
Fiscal Year 1998: ¥500,000 (Direct Cost: ¥500,000)
Keywords暗黙知 / 様相論理 / 濾過法 / 可能世界 / 連続 / 離散 / 商集合 / 分割 / 認知 / 極大無矛盾性 / エージェント
Research Abstract

本研究の目的は様相論理における決定問題を解く基本的手法である濾過法を利用して、暗黙値の構造を論理的に定式化することで、人間の認知に対する一つの有限的解釈を与えることであり、2年計画で研究が遂行された。最終年度である本年度は以下の2点に関して研究を遂行した:
(1) 前年度構成した暗黙知ベース・システムの拡張
前年度移植した検索システムのユーザモデルの部分に必要な修正をプログラムに施し、システムは作曲者の顔の画像を対象とする検索システムを構成した。多数の作曲者の顔の画像の中から、検索すべき顔が創発によって浮かび上がる現象が改善された。今回のシステム修正の特徴は前年度考察した音楽データの活用である。今回はメロディー事態を検索の対象としなかったが、ユーザが連想的に顔を検索を展開する際のヒントとして活用されることを確認した。
(2) 暗黙知の定式化を更に拡張するための基礎的考察
上記システムでは顔に対する言語的索引付けが基礎であったが、次の段階として画像データそのものを扱うための基礎的考察を進めた。そのため、画像データが2次元平面上の場を構成することに着目し、商集合を利用する濾過法を適用し、有限個の遠隔的対象を分節する過程を形式的に記述した。これは連続量で表現される関数から離散的な対象を構成する手続きである。この過程は、人間が一度で把握できない連続的な対象を商集合を取ることで離散,更には,有限個の対象に括ることによって、認知を行うモデルの提案に他ならない。換言すれば、非言語データから言語データを抽出する可能性を示すものであり、今後、認知の問題を考察するにあたって、重要な考え方になるとい考える。この基礎的考察結果を利用して、画像データ及び音楽データから直接、索引付けが得られるようなシステムに拡張することが今後の課題である。

Report

(2 results)
  • 1998 Annual Research Report
  • 1997 Annual Research Report
  • Research Products

    (11 results)

All Other

All Publications (11 results)

  • [Publications] T.Murai,M.Nakata,M.Shimbo: "Modal logic,Rough sets.and Fuzzy sets" Z.Q.Liu & S.Miyamoto (eds.) Softcomputing for Human-centered Machines, Springer. (印刷中). (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] G.Resconi,T.Murai,M.Shimbo: "Field Theory and Modal Logic by Semantic Field to Make Uncertainty Ennerge from Information" I.J.of General Systems. (印刷中). (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] Y.kudo,T.Murai,T.Da-te: "The Corresp ondence of Belief changes in Logical settings and the Possibilistic Framework" Proc.of the 2nd Int.Conf.on Knowledge-Based Intelligent Electronic Systems. Vol.2. 221-229 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] T.Murai,M.Nakata,M.Shimbo: "Generation of Accessible Worlds under Available Informotion" proc.of the 2nd Int.Conf.on Knowledge-Based Intelligent Electronic Systems. Vol.2. 236-242 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] M.Nakata,G.Resconi,T.Murai: "On the Treatment of Imperfect Information in Intelligent Databases" Proc.of the 2nd Int.Conf.on Knowledge.Based Intelligent Electronic Systems. Vol.3. 168-176 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] T.Murai, H.Kanemitsu, M.Shimbo: "Fuzzy Sets and Binary-Proximity-Based Rough Sets" Information Sciences. 104・1/2. 49-80 (1998)

    • Related Report
      1997 Annual Research Report
  • [Publications] M.Nakata, G.Resconi, T.Murai: "Handling Uncertainty in Databases:A Modal Logic Approach" Hameurlain & Tjoa(eds.)Database and Expert Systems Applications,LNCS Vol.1308,Springer. 613-622 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] Y.Kudo.T.Murai, T.DA-te: "Interdefmability between Extended Erasure and Update" Abstracts of Poster Sessions in the 15th International Jomt conference on Artificial Intelligence. 61 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] T.Murai, A.Kitada, Y.Sato: "A Genetic Algorithm for Oenerating Maximal Consistent Subsets from Inconsistent Data and Its Applicotion to Fuzzy Clustering" Proceedings of the 1997 International Conterence on Systems,Man,and Cybernetics. 1. 30-34 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] T.Murai, A.Kitada, Y.Sato: "A Revised Nethod of Generating Fu22y Subsets from Tolerance Relations" Proceeding of the 4th Int.Conference on Neural Information Processing. 1. 543-546 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] T.Murai, A.Kitada, Y.Sato: "An Application of a Way of Generating Fuzzy k-Partitions to Fuzzy Clustering" Proceedings of the 4th Int.Conterence or Neural Information Processing. 2. 1267-1270 (1997)

    • Related Report
      1997 Annual Research Report

URL: 

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi