𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A framework for default logic with case reasoning

✍ Scribed by Mingyi Zhang; Dan Zhang

Publisher
SP Science China Press
Year
1998
Tongue
English
Weight
575 KB
Volume
41
Category
Article
ISSN
1006-9321

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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