Dialogue Game Semantics for Fuzzy Logics

01.04.2006 - 31.03.2008
Forschungsförderungsprojekt
Vagueness is a ubiquitous and pervasive phenomenon in information processing. Most experts agree that modeling vagueness triggers reference to degrees of truth. Fuzzy Logics are based on the extension of the two classical truth values by infinitely many intermediary degrees of truth. So far formal deduction systems for specific fuzzy logics are hardly ever explicitly related to models of correct reasoning with vague information. We address the challenge to derive inference systems for fuzzy logics from first principles about approximate reasoning by a method that refers to important early results by Robin Giles. We argue that Lorenzen/Giles-style dialogue games provide a general key for connecting proof systems with semantic models of approximate reasoning. We tackle the outlined research programme via a list of rather concrete research aims, which can be categorized as follows: (1) Design of analytic systems and dialogue games. (2) Investigation of variations of Giles¿s game. (3) Connecting game based semantics of fuzzy logic and theories of vagueness. Moreover, we implement a web-based tool that allows the exploration of various relevant dialogue games in action.

Personen

Projektleiter_in

Projektmitarbeiter_innen

Institut

Grant funds

  • FWF - Österr. Wissenschaftsfonds (National) Austrian Science Fund (FWF)

Forschungsschwerpunkte

  • Computational Intelligence: 100%

Schlagwörter

DeutschEnglisch
Fuzzy-Logikenfuzzy logics
analytische Beweissystemeanalytic proof systems
Dialogspieledialogue games
Spielsemantikgame based semantics
Theorien der Vagheittheories of vagueness

Publikationen