Abstract
Introduction: This paper describes a structure called chain set for representing knowledge with negations and AND, OR, and IF THEN connectives; and for inferences or the answering of questions concerning this knowledge. The answers are represented in the form of a number in the interval value [0,1], where l≤yes and 0≤no.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
William S. Hatcher. The Logical Foundations of Mathematics. PWS-Kent Publishing Company, Boston, 1989.
E. Hisdal. Are grades of membership probabilities? Fuzzy Sets and Systems, 25:325–348, 1988.
E. Hisdal. A flexible classification structure. In M.M. Gupta and T. Yamakawa, editors, Fuzzy Logic in Knowledge-Based Systems, Decision and Control, pages 11–67. Elsevier, North Holland, 1988.
E. Hisdal. Infinite-valued logic based on two-valued logic and probability, parts 1.3, 1.4. “The TEE model” and “Reference experiments and label sets”. Research Reports 147, 148, Institute of Informatics, University of Oslo, Box 1080 Blindern, 0316 Oslo 3, Norway, 1988,1990. ISBN 82-7368-054-1, and 053-3.
E. Hisdal. Naturalized logic and chain sets. Information Sciences, 57-58:31–77, 1991. Special number on’ Information Sciences — Past, Present, Future’.
S.C. Kleene. Mathematical Logic. John Wiley, New York, London, 1968.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Hisdal, E. (1993). A Logical Structure for a Knowledge Base. In: Lowen, R., Roubens, M. (eds) Fuzzy Logic. Theory and Decision Library, vol 12. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-2014-2_21
Download citation
DOI: https://doi.org/10.1007/978-94-011-2014-2_21
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-4890-3
Online ISBN: 978-94-011-2014-2
eBook Packages: Springer Book Archive