A rough set approach to reasoning under uncertainty

Simon Parsons, Miroslav Kubat, Mirko Dohnal

Research output: Contribution to journalArticle

14 Citations (Scopus)

Abstract

Reasoning with uncertain information is a problem of key importance when dealing with information about the real world. Obtaining the precise numbers required by many uncertainty handling formalisms can be a problem. The theory of rough sets makes it possible to handle uncertainty without the need for precise numbers, and so has some advantages in such situations. This paper presents an introduction to various forms of reasoning under uncertainty that are based on rough sets. In particular, a number of sets of numerical and symbolic truth values which may be used to augment propositional logic are developed, and a semantics for these values is provided based upon the notion of possible worlds. Methods of combining the truth values are developed so that they may be propagated when augmented logic formulae are combined, and their use is demonstrated in theorem proving.

Original languageEnglish (US)
Pages (from-to)175-193
Number of pages19
JournalJournal of Experimental and Theoretical Artificial Intelligence
Volume7
Issue number2
DOIs
StatePublished - 1995
Externally publishedYes

Fingerprint

Reasoning under Uncertainty
Rough Set
Uncertainty
Theorem proving
Theorem Proving
Propositional Logic
Reasoning
Semantics
Logic
Truth

Keywords

  • Automated reasoning
  • Evidence theory
  • Propositional logic
  • Rough sets
  • Uncertainty

ASJC Scopus subject areas

  • Software
  • Theoretical Computer Science
  • Artificial Intelligence

Cite this

A rough set approach to reasoning under uncertainty. / Parsons, Simon; Kubat, Miroslav; Dohnal, Mirko.

In: Journal of Experimental and Theoretical Artificial Intelligence, Vol. 7, No. 2, 1995, p. 175-193.

Research output: Contribution to journalArticle

@article{b410e78758744bcb862725edac1a9c7a,
title = "A rough set approach to reasoning under uncertainty",
abstract = "Reasoning with uncertain information is a problem of key importance when dealing with information about the real world. Obtaining the precise numbers required by many uncertainty handling formalisms can be a problem. The theory of rough sets makes it possible to handle uncertainty without the need for precise numbers, and so has some advantages in such situations. This paper presents an introduction to various forms of reasoning under uncertainty that are based on rough sets. In particular, a number of sets of numerical and symbolic truth values which may be used to augment propositional logic are developed, and a semantics for these values is provided based upon the notion of possible worlds. Methods of combining the truth values are developed so that they may be propagated when augmented logic formulae are combined, and their use is demonstrated in theorem proving.",
keywords = "Automated reasoning, Evidence theory, Propositional logic, Rough sets, Uncertainty",
author = "Simon Parsons and Miroslav Kubat and Mirko Dohnal",
year = "1995",
doi = "10.1080/09528139508953805",
language = "English (US)",
volume = "7",
pages = "175--193",
journal = "Journal of Experimental and Theoretical Artificial Intelligence",
issn = "0952-813X",
publisher = "Taylor and Francis Ltd.",
number = "2",

}

TY - JOUR

T1 - A rough set approach to reasoning under uncertainty

AU - Parsons, Simon

AU - Kubat, Miroslav

AU - Dohnal, Mirko

PY - 1995

Y1 - 1995

N2 - Reasoning with uncertain information is a problem of key importance when dealing with information about the real world. Obtaining the precise numbers required by many uncertainty handling formalisms can be a problem. The theory of rough sets makes it possible to handle uncertainty without the need for precise numbers, and so has some advantages in such situations. This paper presents an introduction to various forms of reasoning under uncertainty that are based on rough sets. In particular, a number of sets of numerical and symbolic truth values which may be used to augment propositional logic are developed, and a semantics for these values is provided based upon the notion of possible worlds. Methods of combining the truth values are developed so that they may be propagated when augmented logic formulae are combined, and their use is demonstrated in theorem proving.

AB - Reasoning with uncertain information is a problem of key importance when dealing with information about the real world. Obtaining the precise numbers required by many uncertainty handling formalisms can be a problem. The theory of rough sets makes it possible to handle uncertainty without the need for precise numbers, and so has some advantages in such situations. This paper presents an introduction to various forms of reasoning under uncertainty that are based on rough sets. In particular, a number of sets of numerical and symbolic truth values which may be used to augment propositional logic are developed, and a semantics for these values is provided based upon the notion of possible worlds. Methods of combining the truth values are developed so that they may be propagated when augmented logic formulae are combined, and their use is demonstrated in theorem proving.

KW - Automated reasoning

KW - Evidence theory

KW - Propositional logic

KW - Rough sets

KW - Uncertainty

UR - http://www.scopus.com/inward/record.url?scp=21844499866&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=21844499866&partnerID=8YFLogxK

U2 - 10.1080/09528139508953805

DO - 10.1080/09528139508953805

M3 - Article

VL - 7

SP - 175

EP - 193

JO - Journal of Experimental and Theoretical Artificial Intelligence

JF - Journal of Experimental and Theoretical Artificial Intelligence

SN - 0952-813X

IS - 2

ER -