Active Sets and Unification

An active set is a unifying space being able to act as a "bridge" for transferring information, ideas and results between distinct types of uncertainties and different types of applications. An active set is a set of agents who independently deliver true or false values for a given proposition. An active set is not a simple vector of logic values for different propositions, the results are a vector but the set is not. The difference between an ordinary set and active set is that the ordinary set has passive elements with values of the attributes defined by an external agent, in the active set any element is an agent that internally defines the value of a given attribute for a passive element. In this paper we show the connection between classical, fuzzy, evidence theory and active sets. In conclusion at one external agent we substitute a set of experts or agents that evaluate in a conflicting way the logic value of a given proposition or attribute. Under the same meta level of active sets we can discover analogy and similarity among distinct theories of uncertainty and types of many valued logics.

[1]  Chris J. Hinde,et al.  Reasoning Consistently about Inconsistency , 2007, 2007 IEEE International Fuzzy Systems Conference.

[2]  J. Baldwin A calculus for mass assignments in evidential reasoning , 1994 .

[3]  Germano Resconi,et al.  Active sets, fuzzy sets and inconsistency , 2010, International Conference on Fuzzy Systems.

[4]  Germano Resconi,et al.  Agents in Quantum and Neural Uncertainty , 2011 .

[5]  Chris J. Hinde,et al.  Inconsistency and semantic unification , 2006, Fuzzy Sets Syst..

[6]  James F. Baldwin,et al.  A Theory of Mass Assignments for Artificial Intelligence , 1991, Fuzzy Logic and Fuzzy Control.

[7]  J. Kacprzyk,et al.  Advances in the Dempster-Shafer theory of evidence , 1994 .

[8]  Peter W. Eklund,et al.  Fuzzy Logic and Fuzzy Control , 1991, Lecture Notes in Computer Science.

[9]  Trevor P Martin,et al.  Fril- Fuzzy and Evidential Reasoning in Artificial Intelligence , 1995 .