Lottery Semantics: A Compositional Semantics for Probabilistic First-Order Logic with Imperfect Information |
| |
| Authors: | Pietro Galliani Allen L. Mann |
| |
| Affiliation: | 1. FNWI, ILLC, Universiteit van Amsterdam, P.O. Box 94242, 1090 GE, Amsterdam, The Netherlands
2. Department of Mathematics, Colgate University, 13 Oak Drive, Hamilton, NY, 13346, USA
|
| |
| Abstract: | We present a compositional semantics for first-order logic with imperfect information that is equivalent to Sevenster and Sandu’s equilibrium semantics (under which the truth value of a sentence in a finite model is equal to the minimax value of its semantic game). Our semantics is a generalization of an earlier semantics developed by the first author that was based on behavioral strategies, rather than mixed strategies. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
