|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ ー ： [ちょうおん] (n) long vowel mark (usually only used in katakana) ・ 意味 ： [いみ] 1. (n,vs) meaning 2. significance ・ 意味論 ： [いみろん] 【名詞】 1. semantics 2. the study of meaning ・ 味 ： [あじ] 1. (adj-na,n) flavor 2. flavour 3. taste ・ 論 ： [ろん] 【名詞】 1. (1) argument 2. discussion 3. dispute 4. controversy 5. discourse 6. debate 7. (2) theory 8. doctrine 9. (3) essay 10. treatise 1 1. comment
ゲーム意味論（ゲームいみろん、Game Semantics）とは、ゲーム理論的概念（プレイヤーの勝利戦略の存在など）に基づいた論理の意味論の手法である。1950年代後半にパウル・ローレンツェンが提唱した。その後、様々なゲーム意味論が研究されてきた。ゲーム意味論はプログラミング言語の形式意味論にも適用されてきた。 ==古典論理== 最も単純なゲーム意味論の応用として、命題論理への適用がある。各論理式を2人のプレイヤーの間で行われるゲームに見立てる。プレイヤーは「立証者; Verifier」と「偽証者; Falsifier」と呼ばれる。立証者はその論理式内の全ての論理和の「所有権」を有し、偽証者は同様に全ての論理積を所有する。このゲームの「手」で行うことは、論理演算子を所有するプレイヤーがその演算子の一方の枝を選ぶことである。ゲームはその選ばれた部分論理式について続行され、その論理式を制御している演算子を所有するプレイヤーが次の手を行うことができる（全体が論理和なら立証者が一方の枝を選ぶ）。こうして、論理和も論理積も含まれない単純な式となるまで続ける。ここで、その式が真であれば立証者の勝ちで、偽であれば偽証者の勝ちである。立証者が勝利戦略を持つ場合、元の論理式も真であると見なされ、逆に偽証者に勝利戦略があれば、偽と見なされる。 論理式に否定や含意が含まれる場合、もっと複雑な技法が使われる。例えば、否定は否定する対象が偽であれば真となるので、2人のプレイヤーの役割を逆転させる効果がある。 より一般化して、ゲーム意味論は述語論理にも適用される。新たなルールとして、支配的な量化子をその所有者（立証者は存在記号を所有し、偽証者は全称記号を所有する）が削除でき、その際に束縛変項の全ての出現をプレイヤーの選んだ任意の定項で置き換える。このとき、全称量化では1つの反例で偽となり、存在量化では1つの例で真となることに注意されたい。 このようなゲームは全て完全情報ゲームである。2人のプレイヤーは論理式を構成する各項の真理値を知っており、常に先を読む。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「ゲーム意味論」の詳細全文を読む スポンサード リンク
|