時区間論理に関する一検討(4)

スポンサーリンク

概要

論文の詳細を見る
区間論理は、もともと自然言語のテンスとアスペクトの時間的な意味を、形式意味論で規定するために提案された論理であり、命題の真偽値を時区間上で定義する論理体系である。最近は推論方式の研究においても、時間関係を陽に含む推論が注目されており、区間論理にもとづいて時間を区間として量子化し、その上で時間の順序関係や数量関係を論じようとする試みが進められている。これまでに提案された区間論理は、時区間の関係を論じる側面だけを強調するものが多い。しかし、時間の量子化は必然的に物質領域や空間領域での量子化をもたらすため、意味解釈の定義の中で時間だけを区間で扱うことには理論的な無理がある。本稿では、区間論理の問題点を指摘し、その解決方法について検討する。
一般社団法人情報処理学会の論文
1989-10-16

著者

関連論文

もっと見る

スポンサーリンク