Powered by OpenAIRE graph
Found an issue? Give us feedback
addClaim

Formalizing multiple-valued logics as institutions

Authors: Jaume Agustí-Cullell; Francesc Esteva; Pere Garcia; Lluís Godo;

Formalizing multiple-valued logics as institutions

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.

  • BIP!
    Impact byBIP!
    selected citations
    These citations are derived from selected sources.
    This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    6
    popularity
    This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
    Average
    influence
    This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    Average
    impulse
    This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
    Average
Powered by OpenAIRE graph
Found an issue? Give us feedback
selected citations
These citations are derived from selected sources.
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Citations provided by BIP!
popularity
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
6
Average
Average
Average
Upload OA version
Are you the author of this publication? Upload your Open Access version to Zenodo!
It’s fast and easy, just two clicks!