What is on the machine's mind? Models for reasoning with incomplete and uncertain knowledge

In this thesis, which consists of two parts, two different subjects are discussed. In the first part of the thesis a logic for reasoning with inconsistent knowledge will be described. The second part of the thesis contains a proposal for to view a reasoning process as a process of constructing a partial model of the world we are reasoning about....