Carregar apresentação
A apresentação está carregando. Por favor, espere
1
DI-UFPE Exercício: Banana, Leite e Furadeira incluindo cartão de crédito (CC) nModifique a definição de Buy para que o agente tenha de estar com seu cartão para comprar algo. Op(ACTION: Buy(x), PRECOND: At(Agent, store) ^ Sells(store, x) ^ Have(CC),EFFECT: Have(x)) nEscreva um operador PickUp que permita ao agente ter um objeto se este é portável e está no mesmo lugar do agente Op(ACTION: PickUp(x), PRECOND: Portable(x) ^ At(Agent, l) ^At(x,l), EFFECT: Have(x))
2
DI-UFPE Exercício nAssuma que o cartão de crédito está em casa mas que Have(CC) é inicialmente falso. Construa um plano de ordem parcial que alcança o objetivo comprar leite, mostrando as restrições de ordenamento e as ligações causais nExplique em detalhes o que acontece durante o processo de planejamento quando o agente explora um plano parcial no qual ele saiu de casa sem o cartão de crédito
3
DI-UFPE Exercício Sell(SM,Milk) Mesmo satisfazendo primeiro Go(SM) em vez de Have(CC), não é preciso fazer backtracking o ataque de Go à condição At(Agent,Home) é resolvido ordenando pick up antes do Go
Apresentações semelhantes
