@inconformistadesdeel67 @omoloc @macarty @function @fermin
Qué va, no usan la lógica proposicional. De hecho hay IAs que simplemente tienen un heurístico (una función que te dice si un estado es ventajoso o pernicioso) y se limita a ir probando combinaciones y quedarse con la mejor. Así funcionaban los primeros juegos de ajedrez electrónicos. Por fuerza bruta obtenían la mejor jugada contra ti.

Si te interesa, busca información sobre el algortimo minimax. Es fácil de entender.