Prolog is a programming language based on a restricted subset of classical first order predicate logic. In order to overcome some problems of classical logic to handle imperfect human knowledge, we provide a formal framework for a Lukasiewicz logic based Prolog system. The use of Lukasiewicz logic with its connection to Ulam games enables us to deal with partial inconsistencies by interpreting the truth values as relative distance to contradiction. We also present the software tool LULOG which is...
Surface quality analysis of exterior car body panels was still character ized by manual detection of local form deviations and subjective evaluation by experts. The approach presented in this paper is based on 3-D image processing A major step towards automated quality control of produced panels is the classification of the different kinds of surface form deviations. In previous studies we compared the performance of different soft computing techniques for the detection of surface defect types....
A lot of research in graphical models has been devoted to developing correct and efficient evidence propagation methods, like join tree propagation or bucket elimination. With these methods it is possible to condition the represented probability distribution on given evidence, a reasoning process that is sometimes also called focusing. In practice, however, there is the additional need to revise the represented probability distribution in order to reflect some knowledge changes by satisfying new...
Download Results (CSV)