The search session has expired. Please query the service again.
In this paper we describe the language . The description is made in terms of computer language concepts and not in terms of the logical semantics underlying it. In this sense the paper complements others in which the focus of the description has been either the object level multi-valued language description, or the reflective component of the architecture, or even the several applications built using it. All the necessary elements to understand how a system programmed in executes have room in this...
Multiple-valued logics are useful for dealing with uncertainty and imprecision in Knowledge-Based Systems. Different problems can require different logics. Then we need mechanisms to translate the information exchanged between two problems with different logics. In this paper, we introduce the logical foundations of such logics and the communication mechanisms that preserve some deductive properties. We also describe a tool to assist users in the declaration of logics and their communication mechanisms....
Download Results (CSV)