Alfa-Beta Deduccion

La memoria tiene dos partes diferenciadas. En la primera se estudian las relaciones entre grafos y juegos.Se definen formalmente ambos conceptos, se estudian sus propiedades y se llega al resultado crucial de esta parte (teorema II.2.10) que nos afirma que en un juego existe una estrategia ganadora para un estado del juego, s y solamente s, en un grafo, asociado al juego, existe un g-camino desde el estado dado al conjunto de estados ganadores. La segunda parte trata de la aplicacin de estrategias para juegos a la deduccin. Se resuelve aqu el problema inverso (en cierto sentido) al anterior: dado un problema deductivo (y por tanto su grafo Y/O asociado), construimos un juego de forma que el teorema anterior se satisfaga. Se llega as al resultado de que el problema de deduccin propuesto se resuelve afirmativamente, s y solamente s, existe estrategia ganadora para el juego. Por ltimo, se aplica la tcnica alfa-beta para la determinacin de esa estrategia.