Automated Reasoning with Uncertainties

F. Correa da Silva, D. Robertson, J. Hesketh

Research output: Chapter in Book/Report/Conference proceedingChapter

Abstract / Description of output

In this work we assume that uncertainty is a multifaceted concept and present a system for automated reasoning with multiple representations of uncertainty.

We present a case study on developing a computational language for reasoning with uncertainty, starting with a semantically sound and computationally tractable language and gradually extending it with specialised syntactic constructs to represent measures of uncertainty, while preserving its unambiguous semantic characterization and computability properties. Our initial language is the language of normal clauses with SLDNF as the inference rule, and we select three specific facets of uncertainty for our study: vagueness, statistics and degrees of belief.

The resulting language is semantically sound and computationally tracable. It also admits relatively efficient implementations employing α⋅β pruning and caching.
Original languageEnglish
Title of host publicationKnowledge Representation and Reasoning Under Uncertainty
Subtitle of host publicationLogic at Work
EditorsM. Masuch, L. Polos
PublisherSpringer-Verlag GmbH
Number of pages23
ISBN (Print)978-3-540-58095-9
Publication statusPublished - 1 Dec 1994

Publication series

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


Dive into the research topics of 'Automated Reasoning with Uncertainties'. Together they form a unique fingerprint.

Cite this