About: Game semantics   Goto Sponge  NotDistinct  Permalink

An Entity of Type : dbo:Organisation, within Data Space : dbpedia.org associated with source document(s)

Game semantics (German: dialogische Logik, translated as dialogical logic) is an approach to formal semantics that grounds the concepts of truth or validity on game-theoretic concepts, such as the existence of a winning strategy for a player, somewhat resembling Socratic dialogues or medieval theory of Obligationes.

AttributesValues
rdf:type
rdfs:label
  • Game semantics
  • Dialogische Logik
  • Logique du dialogue
  • ゲーム意味論
  • Lógica do diálogo
  • 博弈语义
rdfs:comment
  • Game semantics (German: dialogische Logik, translated as dialogical logic) is an approach to formal semantics that grounds the concepts of truth or validity on game-theoretic concepts, such as the existence of a winning strategy for a player, somewhat resembling Socratic dialogues or medieval theory of Obligationes.
  • ゲーム意味論(ゲームいみろん、Game Semantics)とは、ゲーム理論的概念(プレイヤーの勝利戦略の存在など)に基づいた論理の意味論の手法である。1950年代後半にパウル・ローレンツェンが提唱した。その後、様々なゲーム意味論が研究されてきた。ゲーム意味論はプログラミング言語の形式意味論にも適用されてきた。
  • 博弈语义是一种基于博弈论定义真或有效性等逻辑概念的形式语义,比如游戏者的赢策略。保尔·洛伦茨首先在1950年代晚期为逻辑引入了博弈语义。此后在逻辑中已经研究了很多不同的博弈语义。博弈语义也已经应用于编程语言的形式语义。
  • Die dialogische Logik (engl.: game semantics) ist ein von den deutschen Logikern und Philosophen Kuno Lorenz und Paul Lorenzen entwickelter spieltheoretischer, semantiknaher Ansatz zur Logik. Die Motivation ist eine im Vergleich zum Ableiten in Logikkalkülen nähere Orientierung am menschlichen Argumentieren. Durch den Rahmen der Dialogischen Logik wird der Anspruch erhoben, dass die Beteiligten im Gespräch keinen externen Schiedsrichter benötigen, sondern in Freiheit die Geltung von Aussagen selbst prüfen.
  • La logique du dialogue (aussi connue comme logique dialogique et comme sémantique des jeux) est une approche des sémantiques de la logique fondée sur le concept de validité (logique dialogique) ou de vérité (sémantique des jeux) appartenant aux concepts des jeux théorétiques, tel que l'existence d'une stratégie de victoire pour les joueurs. Paul Lorenzen (Erlangen-Nürnberg-Universität) fut le premier à avoir introduit une sémantique des jeux pour la logique, à la fin des années 1950 (appelée dialogische Logik) et qui a été ensuite développée plus tard par Kuno Lorenz (Erlangen-Nürnberg-Universität, puis Saarland). Jaakko Hintikka (Helsinki, Boston) a développé presqu'au même moment que Lorenzen une approche modèle-théorétique connue aussi sous le nom de GTS.
  • Lógica do Diálogo (em alemão: dialogische Logik, traduzido como Lógica Dialógica) é uma abordagem para a semântica formal que fundamenta os conceitos de verdade e validade no escopo de teoria dos jogos, como a existência de uma estratégia de vitória para um jogador, que se assemelha, de certa forma, ao Diálogo socrático e à teoria das obligationes medieval. No final dos anos 50, Paul Lorenzen foi o primeiro a introduzir a Lógica do diálogo, posteriormente aprimorada por Kuno Lorenz. Quase ao mesmo tempo que Lorenzen, Jaakko Hintikka desenvolveu uma abordagel modelo-teórica conhecida na literatura como GTS.
sameAs
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Link from a Wikipage to an external page
Faceted Search & Find service v1.17_git21 as of Mar 09 2019


Alternative Linked Data Documents: PivotViewer | iSPARQL | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3230 as of May 1 2019, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (61 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2019 OpenLink Software