מילון אונליין

  חיפוש ברשת      מילון      חיפוש בפורום

 

形式意味論 – מילון עברי-אנגלי

לצערנו, לא נמצאו תוצאות באנגלית עבור "形式意味論"
ウィキペディア日本語版 Wikipedia - フリー百科事典הורד מילון בבילון 9 למחשב שלך
形式意味論
形式意味論(formal semantics)とは、自然言語や、コンピュータプログラミング言語意味論プログラム意味論)において、その「意味」、たとえば自然言語であれば「全ての犬は黒い」「ある犬は黒い」「全ての犬は黒くない」「ある犬は黒くない」の各文にはそれぞれ対称的な意味があるわけだが、それを形式的(formal)にあらわさんとする、あるいはプログラミング言語においては、それで書かれたプログラムをコンピュータに実行させた結果どのようにコンピュータが動作するのか(「効果」などとも言う)を、形式的にあらわさんとしたものである。この記事では主として自然言語およびそれに近い分野のものについて述べる。プログラミング言語の意味論に関してはプログラム意味論の記事を参照のこと。

自然言語においては、自然言語を一種の形式的体系と捉え、文の意味はその構成要素から一定の手順に従って構成的に決定されると考える立場である。集合、論理記号など数学で用いる概念を理論に応用して自然言語の文の真理条件の規定や、前提含意矛盾などの論理的関係を記述することを目標とする。論理学者モンタギューの研究に端を発し、現在では多様な理論的枠組みが提案されている。自然言語処理にも応用されている。


Wikipedia.orgをもっと見ると…


c この記事はウィキペディアの内容を用いておりグニュー・フリー・ドキュメンテーション・ライセンス のライセンスのもとに提供されています そして テキストはクリエイティブ・コモンズ 表示-継承ライセンスの下で利用可能です

形式意味論 – מילון עברי-עברי

לצערנו, לא נמצאו תוצאות בעברית עבור "形式意味論"
ウィキペディア日本語版 Wikipedia - フリー百科事典הורד מילון בבילון 9 למחשב שלך
形式意味論
形式意味論(formal semantics)とは、自然言語や、コンピュータプログラミング言語意味論プログラム意味論)において、その「意味」、たとえば自然言語であれば「全ての犬は黒い」「ある犬は黒い」「全ての犬は黒くない」「ある犬は黒くない」の各文にはそれぞれ対称的な意味があるわけだが、それを形式的(formal)にあらわさんとする、あるいはプログラミング言語においては、それで書かれたプログラムをコンピュータに実行させた結果どのようにコンピュータが動作するのか(「効果」などとも言う)を、形式的にあらわさんとしたものである。この記事では主として自然言語およびそれに近い分野のものについて述べる。プログラミング言語の意味論に関してはプログラム意味論の記事を参照のこと。

自然言語においては、自然言語を一種の形式的体系と捉え、文の意味はその構成要素から一定の手順に従って構成的に決定されると考える立場である。集合、論理記号など数学で用いる概念を理論に応用して自然言語の文の真理条件の規定や、前提含意矛盾などの論理的関係を記述することを目標とする。論理学者モンタギューの研究に端を発し、現在では多様な理論的枠組みが提案されている。自然言語処理にも応用されている。


Wikipedia.orgをもっと見ると…


c この記事はウィキペディアの内容を用いておりグニュー・フリー・ドキュメンテーション・ライセンス のライセンスのもとに提供されています そして テキストはクリエイティブ・コモンズ 表示-継承ライセンスの下で利用可能です




© 2007 מילון G בבילון אונליין - נתמך ע"י מילון בבילון 9