Abstract
Many of the uncertainty management systems used in the Knowledge Based Systems technology can be considered as the set of mechanisms that a certain underlying multiple-valued logic supplies: certainty values, numeric or linguistic, would be the truth-values of that logic, a knowledge base would be a set of axioms, and the mechanisms of uncertainty combination and propagation would be the inference rules of the deduction system. In this communication we formalize multiple-valued logics inside the institutional framework. We structure multiple-valued logics as families of institutions, each one being indexed by a class of truth-values algebras, in such a way that each morphism between truth-values algebras determines a corresponding morphism of institutions. These institution morphisms are a basic mechanism in modular Expert System languages in order to build uncertainty management systems that deal with different logics in different modules.
Research partially supported by the SPES project, CICYT id. 880j382, and by the ESPRIT-II Basic Research Action DRUMS.
Preview
Unable to display preview. Download preview PDF.
References
AGUSTI-CULLEL J., SIERRA C. (1989) ‘Adding Generic Modules to Flat Rule-Based Languages: a low cost approach'. Methodologies for Intelligent Systems, pp. 43–52, North Holland.
ALSINA C., TRILLAS E., VALVERDE L. (1983) ‘On some logical connectives for Fuzzy Set Theory'. Journal of Mathematical Analysis and Applications, 93, pp. 15–26.
GARCIA P., VALVERDE L. (1989) ‘Isomorphisms between De Morgan Triplets’ Fuzzy sets and Systems Vol. 30, No 1. pp. 27–36. North-Holland
GODO L. (1990) ‘Contribució a l'estudi de models d'inferència en els sistemes possibilístics', Ph. D. Universitat Politècnica de Catalunya. Barcelona.
GODO L., LOPEZ DE MANTARAS R., SIERRA C., VERDAGUER A. (1989) ‘MILORD:The architecture and management of linguistically expressed uncertainty'. Int. Journal of Intelligent System Vol. 4 no 4, pp. 471–501.
GOGUEN J., BURSTALL R.M. (1983) ‘Introducing Institutions’ Proc. Workshop on Logics of Programs, Carnegie-Mellon University. Springer LNCS 64, pp. 221–256.
HARPER R., SANNELLA D., TARLECKI A. (1989) ‘Structure and Representation in LF’ Proc.4th. IEEE Symposium on Logic of Computer Science.
MESEGUER J. (1989) ‘General Logics'. In H.D. Ebbinghaus et al. (eds) Proc. Logic Colloquium '87. North-Holland.RASIOWA H., (1974) ‘An algebraic approach to non-classical logics’ North Holland.
RESCHER N. (1969) ‘Many-valued Logic’ Mc Graw-Hill.
SIERRA C. (1989) ‘MILORD: Arquitectura multi-nivell per a sistemes experts en classificació’ Ph. D. Universitat Politècnica de Catalunya. Barcelona.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Agustí-Cullell, J., Esteva, F., Garcia, P., Godo, L. (1991). Formalizing multiple-valued logics as institutions. In: Bouchon-Meunier, B., Yager, R.R., Zadeh, L.A. (eds) Uncertainty in Knowledge Bases. IPMU 1990. Lecture Notes in Computer Science, vol 521. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0028112
Download citation
DOI: https://doi.org/10.1007/BFb0028112
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54346-6
Online ISBN: 978-3-540-47580-4
eBook Packages: Springer Book Archive