Mi sono appena interessato a questo dominio, quindi scusa se non sto utilizzando i termini corretti.
Quello che voglio è il seguente: Dire che ho un insieme di regole (o vincoli), voglio ricavare alcune implicazioni di quelle regole.
Ad esempio, in Conway's Game of Life , ci sono 4 regole base. Da queste regole, possiamo vedere alcuni modelli emergere. Voglio un sistema in cui posso inserire le regole (in un linguaggio formale) e produrrebbe almeno alcuni di questi pattern. Inoltre, se apporto una modifica a qualsiasi regola, o aggiungo una nuova regola, dovrebbe mostrarmi le implicazioni di questo cambiamento (o dovrei essere in grado di derivare me stesso dal confronto dei due output).
Questo dovrebbe idealmente applicarsi a qualsiasi gioco che abbia una serie di regole. Per esempio negli scacchi, dovrebbe dire che il cavaliere può muovere due quadrati di fronte eseguendo due mosse L. Nelle pedine potrebbe essere che avere un pezzo dietro l'altro impedisce all'altro di giocare prendendo quel pezzo.
È mai stato realizzato qualcosa del genere? È anche fattibile? Potete consigliare corsi o libri in cui potrei iniziare la (ri) ricerca?
Tutto quello che ho trovato finora sono Automated Theorem Provers, ma da quello che posso dire finora sono troppo generici e orientati matematicamente (mirano a risolvere qualsiasi teoria in matematica, che ha un sacco di regole, io lo voglio solo per giochi semplici con un piccolo numero di regole).