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....

How to reason with uncertain knowledge

In this paper two kinds of uncertainty, general and specific uncertainty, are distinguished. General uncertainty denotes an uncertainty about which objects of a class belong to a relation. Sentences in which it occurs can be view as describing incomplete knowledge. An example of such a sentence is: "Most humans have brown eyes". Specific...

Report 88-25 (Reviewed) TUD Faculty of Technical Mathematics and Informatics Heuristic reasoning

In this paper a model for heuristic reasoning with uncertain knowledge is presented. This model is a generalisation of the approach proposed by Clancey (Cla-84, Cla-85). We offer a clear semantics for the model, showing that the heuristic reasoning process can be given a clear probabilistic interpretation.