Research Paper #546
|Automated Reasoning About an Uncertain Domain
|Correa da Silva,FS
|Accepted for the European Conference on Symbolic and Qualitative Aspects of Uncertainty, Marseilles, October, 1991
|In this paper we introduce a resolution-based logic programming language that handles probabilities and fuzzy events. The language can be viewed as a simple knowledge representation formalism, with the features of being operational and presenting a complete declarative semantics.
|NO ONLINE COPY