Results 1  10
of
246
Bilattices and the Semantics of Logic Programming
, 1989
"... Bilattices, due to M. Ginsberg, are a family of truth value spaces that allow elegantly for missing or conflicting information. The simplest example is Belnap's fourvalued logic, based on classical twovalued logic. Among other examples are those based on finite manyvalued logics, and on prob ..."
Abstract

Cited by 446 (13 self)
 Add to MetaCart
Bilattices, due to M. Ginsberg, are a family of truth value spaces that allow elegantly for missing or conflicting information. The simplest example is Belnap's fourvalued logic, based on classical twovalued logic. Among other examples are those based on finite manyvalued logics
Reasoning with Logical Bilattices
, 1995
"... . The notion of bilattice was introduced by Ginsberg, and further examined by Fitting, as a general framework for many applications. In the present paper we develop proof systems, which correspond to bilattices in an essential way. For this goal we introduce the notion of logical bilattices. We als ..."
Abstract

Cited by 70 (13 self)
 Add to MetaCart
. The notion of bilattice was introduced by Ginsberg, and further examined by Fitting, as a general framework for many applications. In the present paper we develop proof systems, which correspond to bilattices in an essential way. For this goal we introduce the notion of logical bilattices. We
Bilattices In Logic Programming
, 1990
"... Bilattices, introduced by M. Ginsberg, constitute an elegant family of multiplevalued logics. Those meeting certain natural conditions have provided the basis for the semantics of a family of logic programming languages. Now we consider further restrictions on bilattices, to narrow things down to l ..."
Abstract

Cited by 51 (4 self)
 Add to MetaCart
Bilattices, introduced by M. Ginsberg, constitute an elegant family of multiplevalued logics. Those meeting certain natural conditions have provided the basis for the semantics of a family of logic programming languages. Now we consider further restrictions on bilattices, to narrow things down
Bilattices and Paraconsistency
, 1997
"... Bilattices are algebraic structures that were introduced by Ginsberg, and further examined by Fitting, as a general framework for many applications in computer science. In this paper we consider their applicability for computerized reasoning in general, and for reasoning with inconsistent data in pa ..."
Abstract

Cited by 19 (7 self)
 Add to MetaCart
Bilattices are algebraic structures that were introduced by Ginsberg, and further examined by Fitting, as a general framework for many applications in computer science. In this paper we consider their applicability for computerized reasoning in general, and for reasoning with inconsistent data
Bilattices and Modal Operators
 Journal of Logic and Computation
, 1990
"... A bilattice is a set equipped with two partial orders and a negation operation that inverts one of them while leaving the other unchanged; it has been suggested that the truth values used by inference systems should be chosen from such a structure instead of the twopoint set ft; fg. Given such a ch ..."
Abstract

Cited by 34 (4 self)
 Add to MetaCart
choice, we redefine a modal operator to be a function on the bilattice selected. We show that this definition generalizes both Kripke's possible worlds approach and Moore's autoepistemic logic, and also use recent developments in the formalization of logic programs to construct a procedure
Evidential Bilattice Logic and Lexical Inference
, 1994
"... This paper presents the current state of the logic that I am using to analyse entailment, implicature and presupposition in natural language. The logic is very finegrained and is able to make distinctions that are outside the scope of classical logic. It is independently motivated by certain proper ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
properties of natural human reasoning, namely partiality, paraconsistency, relevance, and defeasibility: once these are accounted for, the data on implicature and presupposition comes quite naturally. The logic is based on the family of semantic spaces known as bilattices, originally proposed by Ginsberg
The Logical Role of the FourValued Bilattice
 Proc. LICS'98
, 1998
"... In his wellknown paper "How computer should think" ([Be77b]) Belnap argues that fourvalued semantics is a very suitable setting for computerized reasoning. In this paper we vindicate this thesis by showing that the logical role that the fourvalued structure has among Ginsberg's we ..."
Abstract

Cited by 6 (1 self)
 Add to MetaCart
's wellknown bilattices is similar to the role that the twovalued algebra has among Boolean algebras. 1 Introduction In [Be77a, Be77b] Belnap introduced a logic for dealing in a useful way with inconsistent and incomplete information. This logic is based on a structure called FOUR, which has four
The Structure of Interlaced Bilattices
 Journal of Mathematical Structures in Computer Science, Vol.6
, 1996
"... Bilattices were introduced and applied by Ginsberg and Fitting for a diversity of applications, such as truth maintenance systems, default inferences and logic programming. In this paper we investigate the structure and properties of a particularly important class of bilattices called interlaced bil ..."
Abstract

Cited by 20 (5 self)
 Add to MetaCart
Bilattices were introduced and applied by Ginsberg and Fitting for a diversity of applications, such as truth maintenance systems, default inferences and logic programming. In this paper we investigate the structure and properties of a particularly important class of bilattices called interlaced
Bilatticebased Logical Reasoning for Human Detection. CVPR
, 2007
"... The capacity to robustly detect humans in video is a critical component of automated visual surveillance systems. This paper describes a bilattice based logical reasoning approach that exploits contextual information and knowledge about interactions between humans, and augments it with the output of ..."
Abstract

Cited by 45 (7 self)
 Add to MetaCart
The capacity to robustly detect humans in video is a critical component of automated visual surveillance systems. This paper describes a bilattice based logical reasoning approach that exploits contextual information and knowledge about interactions between humans, and augments it with the output
Kripke semantics for modal bilattice logic
"... Abstract—We employ the welldeveloped and powerful techniques of algebraic semantics and Priestley duality to set up a Kripke semantics for a modal expansion of Arieli and Avron’s bilattice logic, itself based on Belnap’s fourvalued logic. We obtain soundness and completeness of a Hilbertstyle der ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
Abstract—We employ the welldeveloped and powerful techniques of algebraic semantics and Priestley duality to set up a Kripke semantics for a modal expansion of Arieli and Avron’s bilattice logic, itself based on Belnap’s fourvalued logic. We obtain soundness and completeness of a Hilbert
Results 1  10
of
246