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

A Study on Automatic Indexing of Image Contents Based on Semantic Field by Modal Logic

Research Project

Project/Area Number 14380171
Research Category

Grant-in-Aid for Scientific Research (B)

Allocation TypeSingle-year Grants
Section一般
Research Field 情報システム学(含情報図書館学)
Research InstitutionHOKKAIDO UNIVERSITY

Principal Investigator

MURAI Tetsuya  Hokkaido University, Graduate School of Information Science and Technology, Asso.Prof., 大学院・情報科学研究科, 助教授 (90201805)

Co-Investigator(Kenkyū-buntansha) KUDO Mineichi  Hokkaido University, Graduate School of Information Science and Technology, Prof., 大学院・情報科学研究科, 教授 (60205101)
NAKATA Michinori  Josai International University, Faculty of Information and Management Sciences, Professor, 経営情報学部, 教授 (10201667)
MIZUTA Masahiro  Hokkaido University, Information Initiative Center, Professor, 情報基盤センター, 教授 (70174026)
TANIGUCHI Fumitake  Hokkaido Information University, Faculty of Business Administration and Information Science, Asso.Prof., 経営情報学部, 助教授
SAKURAI Hirohito  Hokkaido University, Graduate School of Information Science and Technology, Inst., 大学院・情報科学研究科, 助手 (00333625)
Project Period (FY) 2002 – 2005
Project Status Completed (Fiscal Year 2005)
Budget Amount *help
¥14,800,000 (Direct Cost: ¥14,800,000)
Fiscal Year 2005: ¥3,400,000 (Direct Cost: ¥3,400,000)
Fiscal Year 2004: ¥3,600,000 (Direct Cost: ¥3,600,000)
Fiscal Year 2003: ¥3,700,000 (Direct Cost: ¥3,700,000)
Fiscal Year 2002: ¥4,100,000 (Direct Cost: ¥4,100,000)
Keywordsmodal logic / semantic field / image databases / Kripke models / Scott-Montague models / automatic indexing / content retrieval / filtration / 中間媒体 / 自動牽引付け
Research Abstract

The final purpose of this research project is to provide an automatic indexing system and its application to image content retrieval. When we consider image retrieval and indexing, we must consider two levels of both logical (linguistic) and physical (image). To connect the two levels we need some intermediate media, as which we adopt the theory of semantic field by modal logic, which was formerly proposed by Professor Germano Resconi from Italy and myself. The semantic field gives us a way of visual treatment of logical inference. The project contains the following two steps :
(1)Indexing by semantic field as intermediate media and its application to image content retrieval
(2)Automatic indexing of image content by logical language.
For the purpose we develop a new theory of granularization based on semantic field in the project. The concept of granurality has recently put emphasis on in the research field of rough sets, which are algebraic counter parts of modal logics. In our theory of granularization, we define two mathematical operations of zooming in and out in a modal logical setting and then apply them to adjustment of granularity, which has an important role in image processing. The idea is originated in the so-called filtration method in modal logic, which is the basic way of decision problems. Then by regarding images as semantic fields on 2-dimensional Euclidean space, we can apply the two operations to images. As a result we can develop an image content retrieval system and make the basis of automatic indexing of image contents by a logical language. It is very important that we can point out that our way of indexing is very close to abductive reasoning.

Report

(5 results)
  • 2005 Annual Research Report   Final Research Report Summary
  • 2004 Annual Research Report
  • 2003 Annual Research Report
  • 2002 Annual Research Report
  • Research Products

    (38 results)

All 2006 2005 2004 2003 2002 Other

All Journal Article (24 results) Book (2 results) Publications (12 results)

  • [Journal Article] A Family of Polymodal Systems and Its Application to Generalized Possibility Measures and Multi-Rough Sets2006

    • Author(s)
      S.Miyamoto
    • Journal Title

      Journal of Advanced Computational Intelligence and Intelligent Informatics In Press

      Pages: 2006-2006

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Multiple Attribute Decision Making Under Uncertainty : The Evidential Reasoning Approach Revisited2006

    • Author(s)
      V.N.Huynh
    • Journal Title

      IEEE Transactions on Systems,Man,and Cybernetics,Part A In Press

      Pages: 2006-2006

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] A Family of Polymodal Systems and Its Application to Generalized Possibility Measures and Multi-Rough Sets2006

    • Author(s)
      S.Miyamoto, T.Murai, Y.Kudo
    • Journal Title

      Journal of Advanced Computational Intelligence and Intelligent Informatics (in press)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Multiple Attribute Decision Making Under Uncertainty : The Evidential Reasoning Approach Revisited2006

    • Author(s)
      V.N.Huynh, Y.Nakamori, T.B.Ho, T.Murai
    • Journal Title

      IEEE Transactions on Systems, Man, and Cybernetics, Part A (in press)

    • NAID

      120000959126

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Multiple Attribute Decision Making Under Uncertainty : The Evidential Reasoning Approach Revisited2006

    • Author(s)
      V.N.Huynh, Y.Nakamori, T.B.Ho, T.Murai
    • Journal Title

      IEEE Transactions on Systems, Man, and Cybernetics, Part A In press

    • NAID

      120000959126

    • Related Report
      2005 Annual Research Report
  • [Journal Article] New Logical Classes of Plausibility Functions in Dempster-Shafer Theory of Evidence2005

    • Author(s)
      T.Murai
    • Journal Title

      R.Khosla et al.(eds.) Knowledge-Based Intelligent Information & Engineering Systems, Lecture Notes in Computer Science Vol.3684

      Pages: 675-681

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] New Logical Classes of Plausibility Functions in Dempster-Shafer Theory of Evidence2005

    • Author(s)
      T.Murai, Y.Kudo
    • Journal Title

      Knowledge-Based Intelligent Information and Engineering Systems, Lecture Notes in Computer Science (R.Khosla et al.(eds.))(Springer) Vol.3684

      Pages: 675-681

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] New Treatment and Viewpoint of Information Tables2005

    • Author(s)
      M.Kudo, T.Murai
    • Journal Title

      Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, Lecture Notes in Computer Science, (D.Slezak et al.(eds.))(Springer) Vol.3641

      Pages: 234-243

    • Related Report
      2005 Annual Research Report
  • [Journal Article] An Extension of Rough Approximation Quality to Fuzzy Classification2005

    • Author(s)
      V.N.Huynh, T.Murai, T.B.Ho, Y.Nakamori
    • Journal Title

      Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, Lecture Notes in Computer Science, (D.Slezak et al.(eds.))(Springer) Vol.3641

      Pages: 373-382

    • Related Report
      2005 Annual Research Report
  • [Journal Article] New Logical Classes of Plausibility Functions in Dempster-Shafer Theory of Evidence2005

    • Author(s)
      T.Murai, Y.Kudo
    • Journal Title

      Knowledge-Based Intelligent Information and Engineering Systems, Lecture Notes in Computer Science, (R.Khosla et al.(eds.))(Springer) Vol.3684

      Pages: 675-681

    • Related Report
      2005 Annual Research Report
  • [Journal Article] Rough Sets Semantics for Three Valued Logics2005

    • Author(s)
      S.Akama, T.Murai
    • Journal Title

      Advances in Logic Based Intelligent Systems, (K.Nakamatsu and J.M.Abe (eds.))(IOS Press) Vol.132

      Pages: 242-247

    • Related Report
      2005 Annual Research Report
  • [Journal Article] Paraconsistency and Paracompleteness in Chellas's Conditional Logics2005

    • Author(s)
      T.Murai, Y.Kudo, S.Akama, J.M.Abe
    • Journal Title

      Advances in Logic Based Intelligent Systems, (K.Nakamatsu and J.M.Abe (eds.))(IOS Press) Vol.132

      Pages: 248-255

    • Related Report
      2005 Annual Research Report
  • [Journal Article] A New Approach to Belief Modeling.2005

    • Author(s)
      V.N.Huynh, Y.Nakamori, T.Murai, T.B.Ho
    • Journal Title

      Foundations of Information and Knowledge Systems, Lecture Notes in Computer Science(D.Seipel et al.(eds.)) Vol.2942

      Pages: 196-230

    • Related Report
      2004 Annual Research Report
  • [Journal Article] Multiple Attribute Decision Making Under Uncertainty : The Evidential Reasoning Approach Revisited.2005

    • Author(s)
      V.N.Huynh, Y.Nakamori, T.B.Ho, T.Murai
    • Journal Title

      IEEE Transactions on Systems, Man, and Cybernetics, Part A (Accepted for publication)

    • NAID

      120000959126

    • Related Report
      2004 Annual Research Report
  • [Journal Article] A Note on Ziarko's Variable Precision Rough Set Model and Nonmonotonic Reasoning2004

    • Author(s)
      T.Murai
    • Journal Title

      S.Tsumoto et al.(eds.) Rough Sets and Current Trends in Computing, Lecture Notes in Computer Science Vol.3066

      Pages: 103-108

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] A Note on Ziarko's Variable Precision Rough Set Model and Nonmonotonic Reasoning2004

    • Author(s)
      T.Murai, M.Sanada, Y.Kudo, M.Kudo
    • Journal Title

      Rough Sets and Current Trends in Computing, Lecture Notes in Computer Science (S.Tsumoto et al.(eds.))(Springer) Vol.3066

      Pages: 103-108

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Monotonic and Nonmonotonic Reasoning in Zoom Reasoning Systems2004

    • Author(s)
      T.Murai, M.Sanada, Y.Kudo, Y.Sato
    • Journal Title

      Knowledge-Based Intelligent Information and Engineering Systems, Lecture Notes in Computer Science(M.Negoita et al.(eds.)) Vol.3213

      Pages: 1085-1091

    • Related Report
      2004 Annual Research Report
  • [Journal Article] A Note on Fuzzy Reasoning and Granularized Possible Worlds2004

    • Author(s)
      T.Murai, V.N.Huynh, Y.Kudo, M.Nakata
    • Journal Title

      Computing Anticipatory System(D.M.Dubois(ed.))(AIP)

      Pages: 317-327

    • Related Report
      2004 Annual Research Report
  • [Journal Article] A Note on Ziarko's Variable Precision Rough Set Model and Nonmonotonic Reasoning2004

    • Author(s)
      T.Murai, M.Sanada, Y.Kudo, M.Kudo
    • Journal Title

      Rough Sets and Current Trends in Computing, Lecture Notes in Computer Science(S.Tsumoto et al.(eds.)) Vol.3066

      Pages: 103-108

    • Related Report
      2004 Annual Research Report
  • [Journal Article] A Method of belief Base Revision for Extended Logic Programs Based on State Transition Diagrams.2004

    • Author(s)
      Y.Kudo, T.Murai
    • Journal Title

      Knowledge-Based Intelligent Information and Engineering Systems, Lecture Notes in Computer Science(M.Gh.Negoita et al.(eds.)) Vol.3213

      Pages: 1079-1084

    • Related Report
      2004 Annual Research Report
  • [Journal Article] Granular Reasoning Using Zooming In and Out : Part 1. Propositional Reasoning2003

    • Author(s)
      T.Murai
    • Journal Title

      G.Wang et al.(eds.) Rough Sets and Current Trends in Computing, Lecture Notes in Computer Science Vol.2639

      Pages: 421-424

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Granular Reasoning Using Zooming In and Out : Part 1. Propositional Reasoning2003

    • Author(s)
      T.Murai, Y.Sato
    • Journal Title

      Rough Sets and Current Trends in Computing, Lecture Notes in Computer Science (G.Wang et al.(eds.))(Springer) Vol.2639

      Pages: 421-424

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Anticipation and Hyperincursion in Belief Formation Based on Evidence2002

    • Author(s)
      T.Murai
    • Journal Title

      International Journal of Computing Anticipatory Systems Vol.11

      Pages: 68-80

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Anticipation and Hyperincursion in Belief Formation Based on Evidence2002

    • Author(s)
      T.Murai, Y.Sato
    • Journal Title

      International Journal of Computing Anticipatory Systems Vol.11

      Pages: 68-80

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Book] 初歩のデータベース-「表のサイエンス」入門-2004

    • Author(s)
      村井哲也
    • Total Pages
      195
    • Publisher
      昭晃堂
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary 2004 Annual Research Report
  • [Book] Introduction to Database (in Japanese)2004

    • Author(s)
      T.Murai
    • Total Pages
      195
    • Publisher
      Shokodo
    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Publications] T.Murai, Y.Kudo, Y.Sato: "Association Rules and Dempstar-Shafer Theory of Evidence"G.Grieser, Y.Tanaka, A.Yamamoto (eds.) Discovery Science, Lecture Notes in Artificial Intelligence, Springer. 2843. 377-384 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] T.Murai, M.Nakata, Y.Sato: "Association Rules from a Point of View of Conditional Logic"M.Inuiguchi et al.(eds.), Rough Set Theory and Granular Computing, Studies in Fuzziness and Soft Comptuing, Springer. 125. 137-145 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] T.Murai, M.Nakata, Y.Sato: "A Remark on Granular Reasoning and Filtration"M.Inuiguchi et al.(eds.), Rough Set Theory and Granular Computing, Studies in Fuzziness and Soft Comptuing, Springer. 125. 89-96 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] M.Murai, G.Resconi, Y.Sato: "A Note on Rough Sets, Neighborhood Systems and Scott-Montague Models for Modal Logic"Bulletin of International Rough Set Society. 7(1,2). 3-7 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] V.N.Huynh, Y.Nakamori, T.Murai, T.B.Ho: "A New Approach to Belief Modeling"D.Seipel et al.(eds.), Foundations of Information and Knowledge Systems, Lecture Notes in Computer Science, Springer. 2942. 196-230 (2004)

    • Related Report
      2003 Annual Research Report
  • [Publications] S.Akama, J.M.Abe, T.Murai: "A Tableau Formulation of Annotated Logics"Proceedings of International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. 1. 1-13 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] T.Murai, Y.Sato: "Anticipation and Hyperincursion in Belief Formation Based on Evidence"International Journal of Computing Anticipatory Systems. Vol.11. 68-80 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] T.Murai, M.Nakata, Y.Sato: "Association Rules as Relative Modal Sentences Based on Conditional Probability"Communications of Institute of Information and Computing Machinery. Vol.5 No.2. 73-76 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] M.Nakata, T.Murai: "Functional Dependencies in Relational Expressions Based on Or-Sets"Rough Sets and Current Trends in Computing 2002, Lecture Notes in Computer Science. 2475. 161-166 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] T.Murai, M.Nakata, Y.Sato: "Association Rules and Non-Classical Logics, Association Rules and Non-Classical Logic"Proceedings of the 26th Annual International Computer Software and Applications Conference, (COMPSAC2002), IEEE CS. 1158-1163 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] T.Murai, G.Resconi, M.Nakata, Y.Sato: "Operations of Zooming In and Out on Possible Worlds for Semantic Fields"E.Damiani et al. (eds), Knowledge-Based Intelligent Information Engineering Systems and Allied Technologies, IOS Press. 1086-1087 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] T.Murai, Y.Sato: "Tables in Relational Databases from a Point of View of Possible-Worlds-Restriction"J.M.Abe and J.I. da Silva Filho (eds), Advances in Logic, Artificial Intelligence and Robotics, IOS Press. 126-133 (2002)

    • Related Report
      2002 Annual Research Report

URL: 

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi