Marcus Aurelius [Book]

em breve corrigirá todos os problemas por enquanto

Reason Maintenance[1][2] é uma abordagem de representação de conhecimento para manipulação eficiente de informações inferidas que são armazenadas explicitamente. A manutenção da razão distingue entre fatos básicos, que podem ser anulados, e fatos derivados. Como tal, difere da revisão de crenças que, em sua forma básica, assume que todos os fatos são igualmente importantes. A manutenção do motivo foi originalmente desenvolvida como uma técnica para implementar solucionadores de problemas.[2] Ele engloba uma variedade de técnicas que compartilham uma arquitetura comum:[3] dois componentes—um raciocinador e um sistema de manutenção de razão—comunicam-se entre si por meio de uma interface. O raciocinador usa o sistema de manutenção de razões para registrar suas inferências e justificativas de ("motivos" para) as inferências. O raciocinador também informa ao sistema de manutenção de motivos quais são os fatos de base (suposições) atualmente válidos. O sistema de manutenção de motivos usa as informações para calcular o valor de verdade dos fatos derivados armazenados e para restaurar a consistência se uma inconsistência for derivada.

Um sistema de manutenção da verdade, ou TMS, é um método de representação de conhecimento para representar crenças e suas dependências e um algoritmo chamado "algoritmo de manutenção da verdade" que manipula e mantém as dependências. O nome manutenção da verdade se deve à capacidade desses sistemas de restaurar a consistência.