A Bilattice-Based Framework for Handling Graded Truth and Imprecision

Logics which allow Degrees of Truth and Degrees of Validity: a way of handling graded truth assessment and graded trust assessment within a single framework

Poset-based Triangle: An Improved Alternative for Bilattice-based Triangle

Bilattice-based triangle provides elegant algebraic structure for reasoning with vague and uncertain information. But the truth and knowledge ordering of intervals in bilattice-based triangle can not deal with nonmonotonic reasoning and are not always intuitive. In this work, we construct an alternative algebraic structure, namely poset-based triangle and we provide with proper logical connecti...

A Distributed Coordination Framework for Adaptive Sensor Uncertainty Handling

The evaluation and management of sensor uncertainty is particularly necessary in a noisy multi-sensor context. In this paper, focusing on the potential of distributed coordination among sensor nodes based on the built-in association between wireless sensor networks and multi-agent systems, meanwhile in a rough set technique sense of uncertainty, we show how an adaptive distributed coordination ...

A Note on Bilattices and Open Constraint Programming

We propose to use bilattice as a constraint valuation structure in order to represent truth and belief at the same time. A bilattice is a set which owns two lattices orderings. They have been used in Artificial Intelligence in order to model incomplete information. We present a framework for Bilattice-valued Constraint Programming which allows to represent incomplete or conflicting information ...

A bilattice for contextual reasoning

Bilattices, introduced by Ginsberg [1] as a uniform framework for inference in Artificial Intelligence, are algebraic structures that proved useful in many fields, but have never been applied to contextual reasoning so far. My aim is to sketch one such possible application. The basic idea is to treat contexts as “truth values” that form a bilattice, that is a lattice with two partial orders. We...