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

Specification of Figure Processing System basedon Multi-agent oriented Ontology

Research Project

Project/Area Number 15500089
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field Intelligent informatics
Research InstitutionNagoya University

Principal Investigator

TOYAMA Katsuhiko  Nagoya University, Graduate School of Information Science, Associate Professor, 大学院・情報科学研究科, 助教授 (70217561)

Project Period (FY) 2003 – 2004
Project Status Completed (Fiscal Year 2004)
Budget Amount *help
¥1,900,000 (Direct Cost: ¥1,900,000)
Fiscal Year 2004: ¥900,000 (Direct Cost: ¥900,000)
Fiscal Year 2003: ¥1,000,000 (Direct Cost: ¥1,000,000)
Keywordsontology / figure / autoepistemic logic / nonmonotonic logic
Research Abstract

Since the methods to represent and operate figures have been developed individually and empirically, it is not easy to compare the properties of the methods, to assure compatibility among various kinds of representations, and to show correctness of the figure operations. To solve the problem, we establish ontology for figures and a method for specification of figure processing systems. In this research, the followings are shown :
1.A method to formalize figures such as points, lines, rectangles, and circles and figure operations such as addition, movement, color change, and deletion is established, where multi-agent autoepistemic logic(MAEL) is employed to regard the figures as agents. The key ideas are as follows : (1)Attributes of figures are considered to be knowledge of the agents, (2)Concept hierarchy among the figures is described in terms of meta-knowledge about communications among the agents, and (3)Figure operations are formalized as meta-knowledge about relations between figures before and after the operations, especially giving an axiom which represents the property "operations to the whole of a figure are to be applied to the parts of it." to the parts.
2.Correctness of figure operations in the drawing system Sync/Draw is shown. To do so, figure representation in Sync/Draw called objects is re-defined formally and the following functions are defined to show commutativity among them : (1)An interpretation function from objects to MAEL formulas, (2)Rewrite rules between sets of objects which formalize figure operations, and (3)Transformation functions between sets of MAEL formulas which formalize meanings of figure operations.

Report

(3 results)
  • 2004 Annual Research Report   Final Research Report Summary
  • 2003 Annual Research Report
  • Research Products

    (5 results)

All 2005 2003 Other

All Journal Article (3 results) Book (1 results) Publications (1 results)

  • [Journal Article] Modal Logic (in Encyclopedia of Artificial Intelligence)2005

    • Author(s)
      Katsuhiko Toyama, JSAI(ed.)
    • Journal Title

      Kyoritsu Shuppan (in printing)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] 選考付き知識に対する統合操作の形式化2003

    • Author(s)
      村上雅哉
    • Journal Title

      2003年電子情報通信学会総合大会情報・システム講演論文集 1

      Pages: 113-113

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] Formalization of Merging Knowledge with Preference2003

    • Author(s)
      Masaya Murakami
    • Journal Title

      Proceedings of General Conference, Information and Systems, IEICE

      Pages: 113-113

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Book] 様相論理(人工知能学事典)2005

    • Author(s)
      外山勝彦, 人工知能学会(編)
    • Publisher
      共立出版(印刷中)
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Annual Research Report 2004 Final Research Report Summary
  • [Publications] 村上雅哉: "選考付き知識に対する統合操作の形式化"2003年電子情報通信学会総合大会情報・システム講演論文集. 1. 113 (2003)

    • Related Report
      2003 Annual Research Report

URL: 

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi