Abstract
In this paper, some aspects of the human reasoning process, such as commonsense knowledge, uncertainty and approximate reasoning are discussed. A new way to approach these concepts — the point of view of agreement — and the relationships among them are addressed. It is shown that the concept of agreement provides a framework for the development of a formal and sound explanation for concepts (e.g. fuzzy sets) which lack formal semantics. Based on the notion of agreement, a multi-valued logic — logic of agreement — that has been proved to be sound, is then presented.
Preview
Unable to display preview. Download preview PDF.
References
Custódio, L., Pinto-Ferreira, C: Logic of Agreement. Technical Report ISR/IST 10–95 (1995)
Dubois, D., Prade, H.: Fuzzy Sets and Systems: Theory and Applications. Academy Press (1980)
Dubois, D., Prade, H.: An Introduction to Possibilistic and Fuzzy Logics. in: Smets et.al. (eds), Non-Standard Logics for Automated Reasoning. Academic Press (1988)
Elkan, C.: The Paradoxical Success of Fuzzy Logic. Proceedings of the National Conference on Artificial Intelligence, The MIT and AAAI Press (1993) 698–703
Gardenfors, P.: Knowledge in Flux: Modeling the Dynamics of Epistemic States. The MIT Press (1988)
Hayes, P.: Some Problems and Non-Problems in Representation Theory. In: Brachman, R., Levesque, H. (eds), Readings in Knowledge Representation. Morgan Kaufmann (1985) 3–22
Laviolette, M., Seaman, J.: The Efficacy of Fuzzy Representations of Uncertainty. IEEE Trans. on Fuzzy Systems, 2-1 (1994) 4–15
McCarthy, J.: Programs with Common Sense. Proceedings of the Teddington Conference on the Mechanization of Thought Processes (1959)
Omar, R.: Artificial Intelligence through Logic. AICOM, 7-3/4 (1994)
Yager, R.: Expert Systems Using Fuzzy Logic. in: Yager et.al. (eds), An Introduction to Fuzzy Logic Applications in Intelligent Systems. Kluwer Academic Publishers (1992)
Zadeh, L.: Fuzzy Sets. Information and Control, 8 (1965) 338–353
Zimmermann, H.: Fuzzy Set Theory and its Applications. Kluwer-Nijhoff Publishing (1985)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gustódio, L.M.M., Pinto-Ferreira, C.A. (1995). Agreement: A logical approach to approximate reasoning. In: Pinto-Ferreira, C., Mamede, N.J. (eds) Progress in Artificial Intelligence. EPIA 1995. Lecture Notes in Computer Science, vol 990. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60428-6_37
Download citation
DOI: https://doi.org/10.1007/3-540-60428-6_37
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60428-0
Online ISBN: 978-3-540-45595-0
eBook Packages: Springer Book Archive