WEKO3
アイテム
グラフ書換えと時空間様相論理
https://ipsj.ixsq.nii.ac.jp/records/16715
https://ipsj.ixsq.nii.ac.jp/records/167159a1914cd-63e6-47ae-957e-0ce5cf1b5009
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
Copyright (c) 2003 by the Information Processing Society of Japan
|
|
オープンアクセス |
Item type | Trans(1) | |||||||
---|---|---|---|---|---|---|---|---|
公開日 | 2003-11-15 | |||||||
タイトル | ||||||||
タイトル | グラフ書換えと時空間様相論理 | |||||||
タイトル | ||||||||
言語 | en | |||||||
タイトル | Graph Rewriting and Spatio - Temporal Modal Logic | |||||||
言語 | ||||||||
言語 | jpn | |||||||
キーワード | ||||||||
主題Scheme | Other | |||||||
主題 | 発表概要 | |||||||
資源タイプ | ||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
資源タイプ | journal article | |||||||
著者所属 | ||||||||
東京大学大学院情報理工学系研究科 | ||||||||
著者所属 | ||||||||
JST CREST | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Graduate School of Information Science and Technology, The University of Tokyo | ||||||||
著者所属(英) | ||||||||
en | ||||||||
JST CREST | ||||||||
著者名 |
萩谷, 昌己
× 萩谷, 昌己
|
|||||||
著者名(英) |
Masami, Hagiya
× Masami, Hagiya
|
|||||||
論文抄録 | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | グラフを状態とする状態遷移系であるグラフ書換え系は,時間とともに動的に変化するネットワークを記述できるため,種々の目的に利用されている.本発表では,グラフ書換え系の検証を行うため,様相µ 計算を基に,時相と空相の二種類の様相を持つ様相論理を提案する.空相はグラフの結合関係,時相はグラフの時間変化を表現する.様相論理式によってグラフ書換え規則を形式化し,書換え系の性質を検証するための推論規則を与える.最後に,推論規則の健全性と,制限された状況における完全性について議論する. | |||||||
論文抄録(英) | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | Graph rewriting systems, i.e., state transition systems whose states are graphs, have been used for various purposes because they can describe networks that dynamically change over time. In this presentation, we introduce a spatio-temporal modal logic, based on the modal µ-calculus, in order to verify properties of graph rewriting systems. The spatial modality represents connectivity relations of graphs, and the temporal modality changes of graphs over time. We formalize graph rewriting rules by modal formulas and introduce inference rules to verify properties of rewriting systems. We finally discuss the soundness of the inference rules and also their completeness under restricted situations. | |||||||
書誌レコードID | ||||||||
収録物識別子タイプ | NCID | |||||||
収録物識別子 | AA11464814 | |||||||
書誌情報 |
情報処理学会論文誌プログラミング(PRO) 巻 44, 号 SIG15(PRO19), p. 66-66, 発行日 2003-11-15 |
|||||||
ISSN | ||||||||
収録物識別子タイプ | ISSN | |||||||
収録物識別子 | 1882-7802 | |||||||
出版者 | ||||||||
言語 | ja | |||||||
出版者 | 情報処理学会 |