Résumé: Autoepistemic logic of beliefs, AEB, is a non-monotomic knowledge representation framework. Theories in AEB are called autoepistemic belief theories. Every belief theory T is shown to have at least static expansion T- which is computed by iterating a natural monotonic belief closure operator <PSI>T starting from T. This way, the least static expansion T- of any belief theory provides its natural non-monotonic semantics which is called the static semantics.

Langue: Anglais