๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A base logic for default reasoning

โœ Scribed by Beihai Zhou; Yi Mao

Book ID
107378573
Publisher
Higher Education Press and Springer
Year
2006
Tongue
English
Weight
454 KB
Volume
1
Category
Article
ISSN
1673-3436

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