𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Executable Temporal Logic for Non-monotonic Reasoning

✍ Scribed by JOERI ENGELFRIET; JAN TREUR

Publisher
Elsevier Science
Year
1996
Tongue
English
Weight
454 KB
Volume
22
Category
Article
ISSN
0747-7171

No coin nor oath required. For personal study only.

✦ Synopsis

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 execute finite specifications in this language, which leads to executability of a large class of finite non-monotonic reasoning processes.

πŸ“œ SIMILAR VOLUMES

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

An application of fuzzy logic reasoning
An application of fuzzy logic reasoning for GIS temporal modeling of dynamic processes
✍ Suzana Dragicevic; Danielle J. Marceau πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 717 KB

The analysis and modeling of dynamic processes require the consideration of both spatial and temporal attributes of data and their integration into a GIS database. However, current GIS raster databases have severe limitations related to the temporal component of data. Data are generally stored throu