La teoría del cambio de creencias modela la dinámica del conocimiento, es decir, el estado de las creencias de un agente luego de recibir información externa. Uno de los principales modelos de cambio que existen en la teoría de cambio de creencias es el modelo AGM, donde la nueva información tiene prioridad sobre la existente, aunque existen diversidad de modelos alternativos que tratan de remediar esto.
El presente trabajo trata acerca de la implementación del modelo de cambio utilizado en operaciones de cambio priorizadas y no-priorizadas. Dicho modelo toma como referencia el modelo AGM y otras operaciones no clásicas, además de conceptos de diferentes autores para definir los mecanismos de inferencia utilizados en la implementación.