Edinburgh Research Explorer

Automated Reasoning with Uncertainties

Research output: Chapter in Book/Report/Conference proceedingChapter

Related Edinburgh Organisations

Original languageEnglish
Title of host publicationKnowledge Representation and Reasoning Under Uncertainty
Subtitle of host publicationLogic at Work
EditorsM. Masuch, L. Polos
PublisherSpringer-Verlag GmbH
Pages57-79
Number of pages23
ISBN (Print)978-3-540-58095-9
DOIs
Publication statusPublished - 1 Dec 1994

Publication series

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

Abstract

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.

ID: 3504687