𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Formal systems for mechanized statistical inference

✍ Scribed by Tomáš Havránek


Book ID
108332362
Publisher
Elsevier Science
Year
1981
Weight
991 KB
Volume
15
Category
Article
ISSN
0020-7373

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


An analysis of formal logics as inferenc
✍ E.H. Mamdani; Janet Efstathiou 📂 Article 📅 1984 🏛 Elsevier Science ⚖ 954 KB

Logic plays an important role within expert systems of enabling inference and representing meaning. We analyse and compare several logics in terms of their topic-neutral items, emphasizing the importance of semantic, as well as syntactic, validity. Fuzzy logic and PRUF are assessed for mechanizabili