幾何学的制約の干渉に着目した、図的表現の形式的意味論の研究

Research Project

Project/Area Number	11780256
Research Category	Grant-in-Aid for Encouragement of Young Scientists (A)
Allocation Type	Single-year Grants
Research Field	Intelligent informatics
Research Institution	Japan Advanced Institute of Science and Technology
Principal Investigator	下嶋篤北陸先端科学技術大学院大学, 知識科学研究科, 助教授 (40303341)
Project Period (FY)	1999 – 2000
Project Status	Completed (Fiscal Year 2000)
Budget Amount *help	¥2,000,000 (Direct Cost: ¥2,000,000) Fiscal Year 2000: ¥1,000,000 (Direct Cost: ¥1,000,000) Fiscal Year 1999: ¥1,000,000 (Direct Cost: ¥1,000,000)
Keywords	図的表現 / 形式的意味論 / チャンネル理論 / ブラフィクス / 遠隔推論 / 表現の有効性 / 情報フロー / 表現 / 制約保存 / 図的推論 / 意味論
Research Abstract	本研究の目的は,同じ情報を異なった様式で表示したとき,一方の表現が他方よりすぐれていると場合があるという「表現の有効性」という現象を、意味論的な見地から説明するというものである.11年度までの成果として、この問題について次のことが明らかになっている.表現の構造を規定する制約によって,(1)ある情報αの表示がαから帰結する他の情報βの表示を必然的に伴なう場合があること,(2)情報αの表示がαから帰結しない他の情報の一つを必然的に伴う場合があること,(3)矛盾した情報の集合を表現できない場合があること,(4)表現される対象を規定する制約が,表現そのものの構造を規定する制約に投影される場合があること.さらに、先に提出した研究計画に基づいて研究を行ったところ、、(5)表現系の基本的な意味規則から,派生的な意味規則が導かれることがあること,(6)表現のもつ制約について推論することで,表現の対象のもつ制約について推論するという「遠隔推理」が健全(sound)でありうること。12年度は、チャンネル理論(Barwise ＆ Seligman)の枠組みで,表現領域による対象領域の「制約の保存」という性質を特徴づけることができ,(1)〜(6)の性質がすべてこの性質の特別な場合として正確にモデルできるという仮説のもとに、「制約の保存」に基づく数学モデルを体系的に展開する著作の執筆に専念した。その結果、すでに著作の第1稿を書き終え、本年4月〜6月にかけて、Stanford大学のJohn Etchemendy教授のレビューを受ける予定である。レビューの結果に基づいて改訂を行ったあと、1年以内に米国の出版社から上梓する見込みである。