Default Reasoning for Forensic Visual Surveillance Based on Subjective Logic and its Comparison with L-Fuzzy Set Based Approaches

Author(s):  
Seunghan Han ◽  
Walter Stechele

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 present an approach to default reasoning using subjective logic that acts in a continuous space. As an uncertainty representation and handling formalism, subjective logic bridges Dempster Shafer belief theory and second order Bayesian, thereby making it attractive tool for artificial reasoning. For the verification of the proposed approach, the authors extend the inference scheme on the bilattice for multivalued default logic to L-fuzzy set based logics that can be modeled with continuous species of bilattice structures. The authors present some illustrative case studies in visual surveillance scenarios to contrast the proposed approach with L-fuzzy set based approaches.

Author(s):  
Seunghan Han ◽  
Walter Stechele

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 present an approach to default reasoning using subjective logic that acts in a continuous space. As an uncertainty representation and handling formalism, subjective logic bridges Dempster Shafer belief theory and second order Bayesian, thereby making it attractive tool for artificial reasoning. For the verification of the proposed approach, the authors extend the inference scheme on the bilattice for multivalued default logic to L-fuzzy set based logics that can be modeled with continuous species of bilattice structures. The authors present some illustrative case studies in visual surveillance scenarios to contrast the proposed approach with L-fuzzy set based approaches.


1992 ◽  
Vol 17 (1-2) ◽  
pp. 99-116
Author(s):  
V. Wiktor Marek ◽  
Miroslaw Truszczynski

Investigations of default logic have been so far mostly concerned with the notion of an extension of a default theory. It turns out, however, that default logic is much richer. Namely, there are other natural classes of objects that might be associated with default reasoning. We study two such classes of objects with emphasis on their relations with modal nonmonotonic formalisms. First, we introduce the concept of a weak extension and study its properties. It has long been suspected that there are close connections between default and autoepistemic logics. The notion of weak extension allows us to precisely describe the relationship between these two formalisms. In particular, we show that default logic with weak extensions is essentially equivalent to autoepistemic logic, that is, nonmonotonic logic KD45. In the paper we also study the notion of a set of formulas closed under a default theory. These objects are shown to correspond to stable theories and to modal logic S5. In particular, we show that skeptical reasoning with sets closed under default theories is closely related with provability in S5. As an application of our results we determine the complexity of reasoning with weak extensions and sets closed under default theories.


2013 ◽  
Vol 651 ◽  
pp. 943-948
Author(s):  
Zhi Ling Hong ◽  
Mei Hong Wu

In multi-agent systems, a number of autonomous pieces of software (the agents) interact in order to execute complex tasks. This paper proposes a logic framework portrays agent’s communication protocols in the multi-agent systems and a dynamic negotiation model based on epistemic default logic was introduced in this framework. In this paper, we use the constrained default rules to investigate the extension of dynamic epistemic logic, and constrained epistemic extension construct an efficient negotiation strategy via constrained epistemic default reasoning, which guarantees the important natures of extension existence and semi-monotonicity. We also specify characteristic of the dynamic updating when agent learn new knowledge in the logical framework. The method for the information sharing signify the usefulness of logical tools carried out in the dynamic process of information acquisition, and the distributed intelligent information processing show the effectiveness of reasoning default logic in the dynamic epistemic logic theory.


Author(s):  
Vern R. Walker

In modern legal systems, a large number of autonomous agents can achieve reasonably fair and accurate decisions in tens of thousands of legal cases. In many of those cases, the issues are complicated, the evidence is extensive, and the reasoning is complex. The decision-making process also integrates legal rules and policies with expert and non-expert evidence. This chapter discusses two major types of reasoning that have emerged to help bring about this remarkable social achievement: systems of rule-based deductions and patterns of evidence evaluation. In addition to those emergent structures, second-order reasoning about legal reasoning itself not only coordinates the decision-making, but also promotes the emergence of new reasoning structures. The chapter analyzes these types of reasoning structures using a many-valued, predicate, default logic – the Default-Logic (D-L) Framework. This framework is able to represent legal knowledge and reasoning in actual cases, to integrate and help evaluate expert and non-expert evidence, to coordinate agents working on different legal problems, and to guide the evolution of the knowledge model over time. The D-L Framework is also useful in automating portions of legal reasoning, as evidenced by the Legal Apprenticetm software. The framework therefore facilitates the interaction of human and non-human agents in legal decision- making, and makes it possible for non-human agents to participate in the evolution of legal reasoning in the future. Finally, because the D-L Framework itself is grounded in logic and not on theories peculiar to the legal domain, it is applicable to other knowledge domains that have a complexity similar to that of law and solve problems through default reasoning.


2001 ◽  
Vol 10 (04) ◽  
pp. 503-523 ◽  
Author(s):  
PASCAL NICOLAS ◽  
FRÉDÉRIC SAUBION ◽  
IGOR STÉPHAN

In Artificial Intelligence, Default Logic is recognized as a powerful framework for knowledge representation when one has to deal with incomplete information. Its expressive power is suitable for non monotonic reasoning, but the counterpart is its very high level of theoretical complexity. Today, some operational systems are able to deal with real world applications. However, finding a default logic extension in a practical way is not yet possible in whole generality. This paper which is an extended version of18 shows how heuristics such as Genetic Algorithms and Local Search techniques can be used and combined to build an automated default reasoning system. We give a general description of the required basic components and we exhibit experimental results.


2001 ◽  
Vol 01 (02) ◽  
pp. 169-195 ◽  
Author(s):  
SANKAR K. PAL

Image processing and analysis in fuzzy set theoretic framework is addressed. Various uncertainties involved in these problems and the relevance of fuzzy set theory in handling them are explained. Different image ambiguity measures based on fuzzy entropy and fuzzy geometry of image subsets are mentioned. A discussion is made on the flexibility in choosing membership functions. Illustrations of commonly used fuzzy image processing operations such as enhancement, edge detection segmentation, skeleton extraction, feature extraction are then provided, along with their significance and characteristics. Their applications to some real life problems, e.g., motion frame analysis, remotely sensed image analysis, modeling face images are finally described. An extensive bibliography is also provided.


Sign in / Sign up

Export Citation Format

Share Document