形式意味論
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/09/13 22:25 UTC 版)
「Communicating Sequential Processes」の記事における「形式意味論」の解説
文法的に正しいCSPの表現の意味を定義する形式意味論はいくつかある。CSPの理論には、相互に一貫した表示的意味論、代数的意味論、操作的意味論がある。
※この「形式意味論」の解説は、「Communicating Sequential Processes」の解説の一部です。
「形式意味論」を含む「Communicating Sequential Processes」の記事については、「Communicating Sequential Processes」の概要を参照ください。
形式意味論
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/11/22 06:18 UTC 版)
モンタギュー意味論の発展したものである。言語を構成的なものと捉え、意味の断片を定められた関係に従って結合することで文(ないし談話)の意味が演繹できるとする枠組み。意味の構成や解釈の仕方は恣意的でなく、形式的に行われる。自然言語の研究だけでなく、上記のように数理心理学や数理論理学とも密接に関係している。
※この「形式意味論」の解説は、「意味論 (言語学)」の解説の一部です。
「形式意味論」を含む「意味論 (言語学)」の記事については、「意味論 (言語学)」の概要を参照ください。
Weblioに収録されているすべての辞書から形式意味論を検索する場合は、下記のリンクをクリックしてください。
全ての辞書から形式意味論 を検索
- 形式意味論のページへのリンク