Logo del repository
  1. Home
 
Opzioni

Conway's Games, algebraically and coalgebraically

HONSELL, Furio
•
LENISA, Marina
2011
  • journal article

Periodico
LOGICAL METHODS IN COMPUTER SCIENCE
Abstract
Using \emph{coalgebraic methods}, we extend Conway's theory of games to possibly \emph{non-terminating}, \emph{i.e.} \emph{non-wellfounded games} (\emph{hypergames}). We take the view that a play which goes on forever is a \emph{draw}, and hence rather than focussing on winning strategies, we focus on \emph{non-losing strategies}. Hypergames are a fruitful metaphor for non-terminating processes, \emph{Conway's sum} being similar to \emph{shuffling}. We develop a theory of hypergames, which extends in a non-trivial way Conway's theory; in particular, we generalize Conway's results on game \emph{determinacy} and \emph{characterization} of strategies. Hypergames have a rather interesting theory, already in the case of \emph{impartial hypergames}, for which we give a \emph{compositional semantics}, in terms of a \emph{generalized Grundy-Sprague function} and a system of generalized \emph{Nim games}. \emph{Equivalences} and \emph{congruences} on games and hypergames are discussed. We indicate a number of intriguing directions for future work. We briefly compare hypergames with other notions of games used in computer science.
WOS
WOS:000301228300013
Archivio
http://hdl.handle.net/11390/1039358
info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-80355148317
Diritti
metadata only access
google-scholar
Get Involved!
  • Source Code
  • Documentation
  • Slack Channel
Make it your own

DSpace-CRIS can be extensively configured to meet your needs. Decide which information need to be collected and available with fine-grained security. Start updating the theme to match your nstitution's web identity.

Need professional help?

The original creators of DSpace-CRIS at 4Science can take your project to the next level, get in touch!

Realizzato con Software DSpace-CRIS - Estensione mantenuta e ottimizzata da 4Science

  • Impostazioni dei cookie
  • Informativa sulla privacy
  • Accordo con l'utente finale
  • Invia il tuo Feedback