The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge

Research Paper #546

Title:Automated Reasoning About an Uncertain Domain
Authors:Correa da Silva,FS
Date: 1991
Presented:Accepted for the European Conference on Symbolic and Qualitative Aspects of Uncertainty, Marseilles, October, 1991
Abstract: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.

[Search These Pages] [DAI Home Page] [Comment]