Mi experiencia con el ajedrez informático es que tuve la suerte de haber estado en un departamento de informática en EE. UU., Donde el profesor Robert Hyatt, el creador de Crayblitz, 5 veces campeón mundial de ajedrez en los años 80, era miembro de la facultad y el equipo USM de ganaron campeonatos mundiales tantas veces usando este programa que crearon entonces. No estoy seguro de si batieron este récord mundial hasta ahora del largo campeonato mundial de ajedrez reinante.
Lo que solían hacer era hacer algo como programación adaptativa o programas auto modificables que solo podían hacer en esos días. Solían enseñar a los estudiantes de ese departamento esos días. Lo que hace es aprender a medida que avanza el juego y escribir programas a medida que avanza el juego, dependiendo de cómo está sucediendo el juego, en tiempo real.
En otros lugares, uno como Carnegie Mellon, que eran competidores, tenían un método llamado Piling, donde usaban algo como almacenar movimientos, supongo, en forma de pilas diferentes, y probablemente algunos algoritmos sofisticados podrían haber estado optimizando los movimientos como el el juego progresa manipulando estas pilas. Este fue el trabajo de un profesor Kannan del equipo CM entonces.
Hubo algunos equipos con redes neuronales también esos días de otros campus y algunos de todo el mundo.
- ¿Cuántas personas pueden resolver un cubo de Rubik en menos de un minuto?
- ¿Qué pasaría si no resuelves el acertijo de feliz cumpleaños en Resident Evil 7?
- ¿Cuál es el mejor cubo de rubics 3 × 3 por debajo de 1500 Rs.?
- ¿Qué parte de tu cerebro es útil para resolver problemas y acertijos?
- ¿Cuál es el siguiente número en la secuencia 7, 2, 0, 7, 8, 4, 3?
La lógica formal juega en la elección de direcciones que el programa elige a medida que la ejecución está en progreso, como if-then, if-then-else, case o construcciones en bucle, etc. Entonces, las abstracciones mencionadas anteriormente usan la lógica formal dependiendo de cómo procede el algoritmo.