Os Agentes Autônomos – AA e os Sistemas Multiagentes – SMA realizam suas tarefas baseados num planejamento e a sua complexidade vai depender de qual ambiente esteja envolvido, principalmente quando este ambiente é dinâmico ...

A revisão de modelos é uma técnica baseada na teoria de revisão de crenças, que tem como princípio modificar minimamente os modelos de forma a satisfazer uma dada propriedade. A revisão de modelos pode ser combinada com ...