Edinburgh Research Explorer

Automated Reasoning about an Uncertain Domain

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Related Edinburgh Organisations

Original languageEnglish
Title of host publicationSymbolic and Quantitative Approaches to Uncertainty
Subtitle of host publicationEuropean Conference ECSQAU Marseille, France, October 15–17, 1991 Proceedings
PublisherSpringer-Verlag GmbH
Pages141-145
Number of pages5
ISBN (Print)978-3-540-54659-7
DOIs
Publication statusPublished - 1 Oct 1991

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
Volume548
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

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. An extended version of this paper can be found in [3].

ID: 3504655