权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Specification of Figure Processing System basedon Multi-agent oriented Ontology

基于面向多智能体本体的图形处理系统规范

基本信息

批准号：
15500089
负责人：
TOYAMA Katsuhiko
金额：
$ 1.22万
依托单位：
Nagoya University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2003
资助国家：
日本
起止时间：
2003 至 2004
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-15500089/
关键词：
ontology figure autoepistemic logic nonmonotonic logic

项目摘要

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.

由于表示和操作图形的方法是单独和凭经验开发的，因此比较这些方法的属性、确保各种表示之间的兼容性以及显示图形操作的正确性并不容易。为了解决这个问题，我们建立了图形本体和图形处理系统规范的方法。本研究的主要成果如下： 1.建立了点、线、矩形、圆等图形形式化方法和加法、移动、变色、删除等图形操作方法，采用多智能体自我认知逻辑（MAEL）将图形视为智能体。关键思想如下：（1）图形的属性被认为是代理的知识，（2）图形之间的概念层次结构用关于代理之间通信的元知识来描述，（3）图形操作被形式化为关于操作之前和之后图形之间关系的元知识，特别是给出了一个表示“对图形整体的操作将应用于图形的各个部分”属性的公理。 2.显示绘图系统Sync/Draw中图形操作的正确性。为此，正式重新定义 Sync/Draw 中称为对象的图形表示，并定义以下函数以显示它们之间的交换性：（1）从对象到 MAEL 公式的解释函数，（2）重写形式化图形运算的对象集之间的规则，以及（3）形式化图形运算含义的 MAEL 公式集之间的转换函数。