𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Reasoning with Sets of Defaults in Default Logic

✍ Scribed by James P. Delgrande; Torsten Schaub

Book ID
110754419
Publisher
John Wiley and Sons
Year
2004
Tongue
English
Weight
261 KB
Volume
20
Category
Article
ISSN
0824-7935

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A base logic for default reasoning
A base logic for default reasoning
✍ Beihai Zhou; Yi Mao πŸ“‚ Article πŸ“… 2006 πŸ› Higher Education Press and Springer 🌐 English βš– 454 KB
Reasoning with vague default
Reasoning with vague default
✍ Swapan Raha; Kumar S. Ray πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 849 KB

Motivated by the recognized inadequacy of conventional techniques for the representation and manipulation of defaults which allow vague concepts as well, in this paper we present a theoretical study of an approach to default reasoning with vague default based on fuzzy logic. Zadeh's theory of possib

Computing with default logic
Computing with default logic
✍ PawelΜ΅ CholewiΕ„ski; Victor W. Marek; MiroslΜ΅aw TruszczyΕ„ski; Artur Mikitiuk πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 508 KB

Default logic was proposed by Reiter as a knowledge representation tool. In this paper, we present our work on the Default Reasoning System, DeReS, the first comprehensive and optimized implementation of default logic. While knowledge representation remains the main application area for default logi

A modal logic for subjective default rea
A modal logic for subjective default reasoning
✍ Shai Ben-David; Rachel Ben-Eliyahu-Zohary πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 168 KB

In this paper we introduce DML: Default Modal Logic. DML is a logic endowed with a two-place modal connective that has the intended meaning of "If Ξ±, then normally Ξ²". On top of providing a well-defined tool for analyzing common default reasoning, DML allows nesting of the default operator. We prese