𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The mathematics of non-monotonic reasoning

✍ Scribed by Martin Davis

Publisher
Elsevier Science
Year
1980
Tongue
English
Weight
553 KB
Volume
13
Category
Article
ISSN
0004-3702

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Non-monotonic fuzzy reasoning
Non-monotonic fuzzy reasoning
✍ J.L. Castro; E. Trillas; J.M. Zurita πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 598 KB

Fuzzy reasoning can provide techniques both for representing and managing the imprecision in commonsense reasoning. But, like human reasoning, it conduces to inconsistencies (inherent to the imprecise or incomplete knowledge) that might be solved in the frame of fuzzy logic, simulating human behavio

Executable Temporal Logic for Non-monoto
Executable Temporal Logic for Non-monotonic Reasoning
✍ JOERI ENGELFRIET; JAN TREUR πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 454 KB

In this paper we view non-monotonic reasoning as a (special kind of) process. As temporal logic is a common formalism to specify and derive properties of processes, we introduce a variant of temporal logic as a general specification language for reasoning processes. We show that it is possible to ex

Issues in parallel execution of non-mono
Issues in parallel execution of non-monotonic reasoning systems
✍ Marcello Balduccini; Enrico Pontelli; Omar Elkhatib; Hung Le πŸ“‚ Article πŸ“… 2005 πŸ› Elsevier Science 🌐 English βš– 463 KB

We explore the major issues involved in the automatic exploitation of parallelism from the execution models of logic-based non-monotonic reasoning systems. We describe orthogonal techniques to parallelize the computation of models of non-monotonic logic theories, and demonstrate the effectiveness of

A framework to incorporate non-monotonic
A framework to incorporate non-monotonic reasoning into constraint logic programming
✍ JΓΌrgen Dix; Frieder Stolzenburg πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 230 KB

Impressive work has been done in the last years concerning the meaning of negation and disjunction in logic programs, but most of this research concentrated on propositional programs only. While it suces to consider the propositional case for investigating general properties and the overall behavior