/ プログラム/ 発表一覧/ 著者一覧/ 企業展示一覧/ jsai2013ホーム /

2D5-OS-03b-2 条件文解析のための一階述語条件論理と近傍層意味論

*セッションの無断動画配信はご遠慮下さい。

Tweet #jsai2013 このエントリーをはてなブックマークに追加

06月05日(Wed) 17:00〜18:20 D会場(-国際会議場203号室)
2D5-OS-03b オーガナイズドセッション「OS-03 意味と理解のコンピューティング-2」

演題番号2D5-OS-03b-2
題目条件文解析のための一階述語条件論理と近傍層意味論
著者山本 華子(お茶の水女子大学大学院人間文化創成科学研究科)
戸次 大介(お茶の水女子大学 大学院人間文化創成科学研究科)
時間06月05日(Wed) 17:20〜17:40
概要条件論理は様相論理の一種であり、暗黙の前提を扱うことができるため、自然言語における条件文に対応できると考えられる。本研究では一階述語条件論理の各体系に与えられたクリプキ意味論([Priest2008])を一階述語様相論理の意味論の一種、近傍層意味論(NSS)に拡張する。NSSを用いることにより、貫世界同一性を初めとする条件論理の諸概念をより自然に捉える意味論の構築を目指す。
論文PDFファイル