CONSERV真偽表に基づくよりシンプルな自然言語の論理表記2-確率量化子・数量量化子を導入し、それをCONSERV含意記号ならびにカプセル化の原理と結びつけることにより数量詞の意味表記に関する問題点を解決する-

スポンサーリンク

概要

著者

関連論文

スポンサーリンク