An analysis of formal logics as inference mechanisms in expert systems
โ Scribed by E.H. Mamdani; Janet Efstathiou
- Publisher
- Elsevier Science
- Year
- 1984
- Weight
- 954 KB
- Volume
- 21
- Category
- Article
- ISSN
- 0020-7373
No coin nor oath required. For personal study only.
โฆ Synopsis
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 mechanizability. It is concluded that the existing logics are limited in their applicability and that a much closer analysis of the semantics of logic is required, with respect to computational feasibility and power of meaning representation.
๐ SIMILAR VOLUMES
Different criteria are compared for the selection of optimal wavelengths in the U.V. spectrophotometry of pharmaceutical samples. The effect of over-determination on the precision and accuracy of the results is evaluated. It is concluded that for the commercial samples of tablets containing two acti