Towards a Rough Mereology-Based Logic for Approximate Solution Synthesis. Part 1

Studia Logica 58 (1):143-184 (1997)
  Copy   BIBTEX

Abstract

We are concerned with formal models of reasoning under uncertainty. Many approaches to this problem are known in the literature e.g. Dempster-Shafer theory [29], [42], bayesian-based reasoning [21], [29], belief networks [29], many-valued logics and fuzzy logics [6], non-monotonic logics [29], neural network logics [14]. We propose rough mereology developed by the last two authors [22-25] as a foundation for approximate reasoning about complex objects. Our notion of a complex object includes, among others, proofs understood as schemes constructed in order to support within our knowledge assertions/hypotheses about reality described by our knowledge incompletely.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Analytics

Added to PP
2017-02-21

Downloads
12 (#1,115,280)

6 months
5 (#710,311)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations