Revision, Acceptability and Context Theoretical and Algorithmic Aspects / by Dov M. Gabbay, Odinaldo T. Rodrigues, Alessandra Russo.
An important aspect in the formalisation of common-sense reasoning is the construction of a model of what an agent believes the world to be like to help in her reasoning process. This model is often incomplete or inaccurate, but new information can be used to refine it. The study of techniques that...
Full description
Saved in: