ATPS Compiladores

1-) Dado o Jogo de Damas a seguir, e o seu PEAS definido.

.Performance: eliminar todas as peça dos adversário com o menor número de jogadas possível.
.Ambiente: tabuleiro 8 x 8 com 2 jogadores e 12 peças cada.
.Sensores:
o Movimento do oponente. o Peça do oponente no tabuleiro.
. Atuadores: movimento das peças e o Mover para casa vazia: uma peça comum pode se movimentar para uma casa vazia à frente: superior ou nas diagonais esquerda e direita. Uma peça dama pode se movimentar para uma casa vazia na fileira em que ele está: horizontalmente, verticalmente ou diagonalmente até uma casa vazia disponível. o Comer peça adversária: uma peça comum pode se movimentar para uma casa ocupada com uma peça do adversário: superior ou nas diagonais superiores esquerda e direita, eliminando tal peça. Uma peça dama pode se movimentar para uma casa ocupada com uma peça do adversário na fileira que ele está: horizontalmente, verticalmente ou diagonalmente até uma casa disponível ocupada com um adversário. o Transformar peça comum em dama: quando uma peça comum se movimentar até a última casa do adversário, ela se transformará de peça comum para peça dama.

a-) Faça o mapeamento através de lógica proposicional dos movimentos do jogador vermelho das peças nas respectivas casas: A2, B3, C2, e C8 para a situação dada pela figura a seguir.
(((~(TemPeca(B1, Minha)) ^ (C(A2) --> C(B1))) v (~(TemPeca(B2, Minha)) ^ (C(A2) --> C(B2))) v
(~(TemPeca(B3, Minha)) ^ (C(A2) --> C(B3)))) ^ ((~(TemPeca(C2, Minha)) ^ (C(B3) --> C(C2))) v
(~(TemPeca(C3, Minha)) ^ (C(B3) --> C(C3))) v (~(TemPeca(C4, Minha)) ^ (C(B3) --> C(C4)))) ^
((~(TemPeca(D1, Minha)) ^ (C(C2) --> C(D1))) v (~(TemPeca(D2, Minha)) ^ (C(C2) --> C(D2))) v
(~(TemPeca(D3, Minha)) ^ (C(C2) --> C(D3)))) ^ ((~(TemPeca(D8, Minha)) ^ (C(C8) --> C(D8))) v
(~(TemPeca(D7, Minha)) ^ (C(C8) --> C(D7)))))

b-) Faça o mapeamento através de lógica proposicional dos movimentos do jogador