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

图形表示的形式语义研究，重点关注几何约束的干扰

• 批准号: 11780256
• 负责人: 下嶋 篤
• 金额: $ 1.28万
• 依托单位: Japan Advanced Institute of Science and Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1999
• 资助国家: 日本
• 起止时间: 1999 至 2000
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-11780256/
• 关键词: 図的表現; 形式的意味論; チャンネル理論; ブラフィクス; 遠隔推論; 表現の有効性; 情報フロー; 表現; 制約保存; 図的推論; 意味論

本研究の目的は,同じ情報を異なった様式で表示したとき,一方の表現が他方よりすぐれていると場合があるという「表現の有効性」という現象を、意味論的な見地から説明するというものである.11年度までの成果として、この問題について次のことが明らかになっている.表現の構造を規定する制約によって,(1)ある情報αの表示がαから帰結する他の情報βの表示を必然的に伴なう場合があること,(2)情報αの表示がαから帰結しない他の情報の一つを必然的に伴う場合があること,(3)矛盾した情報の集合を表現できない場合があること,(4)表現される対象を規定する制約が,表現そのものの構造を規定する制約に投影される場合があること.さらに、先に提出した研究計画に基づいて研究を行ったところ、、(5)表現系の基本的な意味規則から,派生的な意味規則が導かれることがあること,(6)表現のもつ制約について推論することで,表現の対象のもつ制約について推論するという「遠隔推理」が健全(sound)でありうること。12年度は、チャンネル理論(Barwise ＆ Seligman)の枠組みで,表現領域による対象領域の「制約の保存」という性質を特徴づけることができ,(1)〜(6)の性質がすべてこの性質の特別な場合として正確にモデルできるという仮説のもとに、「制約の保存」に基づく数学モデルを体系的に展開する著作の執筆に専念した。その結果、すでに著作の第1稿を書き終え、本年4月〜6月にかけて、Stanford大学のJohn Etchemendy教授のレビューを受ける予定である。レビューの結果に基づいて改訂を行ったあと、1年以内に米国の出版社から上梓する見込みである。

は の purpose, this study same じ intelligence を な っ た others type で said し た と き, one party の performance が fang よ り す ぐ れ て い る と occasions が あ る と い う の have sharper sex "performance" と い を う phenomenon, means that the theory of な insight か ら illustrate す る と い う も の で あ る. 11 ま で の results と し て, こ の problem に つ い て times の こ と が Ming ら か に な Youdaoplaceholder0 って る. Performance を の structure regulation す る restrict に よ っ て, (1) あ る intelligence alpha の said が alpha か ら 帰 knot す る he said の intelligence beta の を inevitable に with な う occasions が あ る こ と, (2) intelligence alpha の said が alpha か ら 帰 knot し な い he の intelligence の つ を inevitable に with う occasions が あ る こ と, (3) the contradiction し た intelligence collection の を performance で き な い field Close が あ る こ と, (4) performance さ れ る like を seaborne rules す る restriction が, performance そ の も の を の structure regulation す る restrict に projection さ れ る occasions が あ る こ と. さ ら に, first, be lodged に し た research projects に base づ い を line っ て research た と こ ろ, and (5) performance is の basic な means rules か ら, derived な means rules が guide か れ る こ と が あ る こ と, (6) the performance の も つ restrict に つ い て inference す る こ と で, performance の like の seaborne も つ restrict に つ い て inference す る と い う "reasoning" apart が sound (sound) で あ り う る こ と. 12 annual ネ, チャ ネ ネ ネ theory (Barwise & Seligman) の 枠 group み で, performance area に よ る like field seaborne の "save" restricting の と い う nature を, 徴 づ け る こ と が で き, (1) ~ (6) の properties が す べ て こ の nature の な special occasions と し て right に モ デ ル で き る と い う 仮 said の も と に, "save" restricting の に base づ く mathematical モ デ ル に を system Youdaoplaceholder0 works する writing に devoted to た た. そ の results, す で に works の 1 draft を book き え eventually, from April to June this year に か け の て, Stanford university professor John Etchemendy の レ ビ ュ ー を by け る designated で あ る. レ ビ ュ ー の results に づ い て re-edit を line っ た あ と, within 1 year に m の press か ら catalpa on す る see 込 み で あ る.

项目成果

Atsushi Shimojima: "The Graphic-Linguistic Distinction: Exploring Alternatives"Artificial Intelligence Review. 13・4. 313-335 (1999)

Atsushi Shimojima：“图形语言的区别：探索替代方案”人工智能评论 13・4（1999）。

Atsushi Shimojima: "Derivative Meaning in Graphical Representations"The Proceedings of 1999 IEEE Symposium on Visual Languages. 212-219 (1999)

Atsushi Shimojima：“图形表示​​中的衍生意义”1999 年 IEEE 视觉语言研讨会论文集。

Atsushi Shimojima: "Constraint-Preserving Representations"Logic,Language and Computation. 2. 296-317 (1999)

Atsushi Shimojima：“约束保持表示”逻辑、语言和计算。