Multivalued Default Logic for Identity Maintenance in Visual Surveillance
نویسندگان
چکیده
Recognition of complex activities from surveillance video requires detection and temporal ordering of its constituent “atomic” events. It also requires the capacity to robustly track individuals and maintain their identities across single as well as multiple camera views. Identity maintenance is a primary source of uncertainty for activity recognition and has been traditionally addressed via different appearance matching approaches. However these approaches, by themselves, are inadequate. In this paper, we propose a prioritized, multivalued, default logic based framework that allows reasoning about the identities of individuals. This is achieved by augmenting traditional appearance matching with contextual information about the environment and self identifying traits of certain actions. This framework also encodes qualitative confidence measures for the identity decisions it takes and finally, uses this information to reason about the occurrence of certain predefined activities in video. ? We thank the U.S.Government for supporting the research described in this paper.
منابع مشابه
Default Reasoning for Forensic Visual Surveillance based on Subjective Logic and Its Comparison with L-Fuzzy Set Based Approaches
Default reasoning can provide a means of deriving plausible semantic conclusion under imprecise and contradictory information in forensic visual surveillance. In such reasoning under uncertainty, proper uncertainty handling formalism is required. A discrete species of Bilattice for multivalued default logic demonstrated default reasoning in visual surveillance. In this article, the authors pres...
متن کاملMultivalued Logics: A Uniform Approach to Inference in Arti cial Intelligence
This paper describes a uniform formalization of much of the current work in AI on inference systems. We show that many of these systems, including rst-order theorem provers, assumption-based truth maintenance systems (atms's) and unimplemented formal systems such as default logic or circumscription can be subsumed under a single general framework. We begin by deening this framework, which is ba...
متن کاملApproximate Inference in Default
We propose a technique for dealing with the high complexity of reasoning under propositional default logic and circumscription. The technique is based on the notion of approximation: A logical consequence relation is computed by means of sound and progressively \more complete" relations, as well as complete and progressively \more sound" ones. Both sequences generated in this way converge to th...
متن کاملDefault Reasoning in CHR∨
CHR∨ has emerged as a versatile knowledge representation language, usable for an unparalleled variety of automated reasoning tasks: constraint solving, optimization, classification, subsumption, classical deduction, abduction, truth-maintenance, belief revision, belief update and planning. In this paper, we add default reasoning to this list, by showing how to represent default logic theories i...
متن کاملExtended Well-Founded Semantics in Bilattices
One of the most used assumptions in logic programming and deductive databases is the so-called Closed World Assumption (CWA), according to which the atoms that cannot be inferred from the programs are considered to be false (i.e. a pessimistic assumption). One of the most successful semantics of conventional logic programs based on the CWA is the well-founded semantics. However, the CWA is not ...
متن کامل