𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Expressibility of Higher Order Logics

✍ Scribed by Lauri Hella; José M. Turull-Torres

Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
754 KB
Volume
84
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Higher-order logics for handling uncerta
Higher-order logics for handling uncertainty in expert systems
✍ E.H. Mamdani; H.J. Efstathiou 📂 Article 📅 1985 🏛 Elsevier Science ⚖ 665 KB

We argue that the current performance of expert systems is being limited by their capacity to cope with uncertainty. Probabilistic logics alone are not enough to cope with the many kinds of uncertainty that can occur. We show how modal and quantified logics have been devised to express different typ