𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Rules for Reasoning from Knowledge and Lack of Knowledge

✍ Scribed by Douglas Walton

Publisher
Springer
Year
2006
Tongue
English
Weight
362 KB
Volume
34
Category
Article
ISSN
0048-3893

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Three-valued logic for reasoning from an
Three-valued logic for reasoning from an inconsistent knowledge base
✍ Ikuo Tahara; Shiho Nobesawa πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 271 KB

## Abstract Nontrivial reasoning under inconsistency, called paraconsistent reasoning, has been discussed mainly in two frameworks; one is the classical logic (consistency‐based) framework and the other is the three‐valued logic framework. In this paper, we propose a new entailment relation based o

Generic tasks for knowledge-based reason
Generic tasks for knowledge-based reasoning: the β€œright” level of abstraction for knowledge acquisition
✍ Tom Bylander; B. Chandrasekaran πŸ“‚ Article πŸ“… 1987 πŸ› Elsevier Science βš– 818 KB

Our research strategy has been to identify generic tasks--basic combinations of knowledge structures and inference strategies that are powerful for solving certain kinds of problems. Our strategy is best understood by considering the "interaction problem", that representing knowledge for the purpose