Object association in the TBM framework, application to vehicle driving aid D. Mercier, E. Lefèvre, D. Jolly Univ. Lille Nord de France, F-59000 Lille,

Slides:



Advertisements
Similar presentations
Logical Abstract Interpretation Sumit Gulwani Microsoft Research, Redmond.
Advertisements

The geometry of of relative plausibilities
P, NP, NP-Complete Problems
Short Answer Response Practice Examples.
Linear Programming. Introduction: Linear Programming deals with the optimization (max. or min.) of a function of variables, known as ‘objective function’,
1 Inferences with Uncertainty Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson Copyright 1998, Prentice Hall, Upper Saddle.
1 University of Southern California Keep the Adversary Guessing: Agent Security by Policy Randomization Praveen Paruchuri University of Southern California.
Statistical Techniques I EXST7005 Sample Size Calculation.
Rulebase Expert System and Uncertainty. Rule-based ES Rules as a knowledge representation technique Type of rules :- relation, recommendation, directive,
DETC06: Uncertainty Workshop; Evidence & Possibility Theories Evidence and Possibility Theories in Engineering Design Zissimos P. Mourelatos Mechanical.
CmpE 104 SOFTWARE STATISTICAL TOOLS & METHODS MEASURING & ESTIMATING SOFTWARE SIZE AND RESOURCE & SCHEDULE ESTIMATING.
Yang Cai Oct 15, Interim Allocation rule aka. “REDUCED FORM” : Variables: Interim Allocation rule aka. “REDUCED FORM” : New Decision Variables j.
Introduction to Evidential Reasoning Belief Functions.
New Kind of Logic The first step to approch this questions consists of a new definition of logic operators able to explain the richness of the events happened.
Université de Lyon- CNRS-LAGEP, France Paper C-090 Model Predictive Control of the Primary Drying Stage of the Drying of Solutions.
Rough Sets Theory Speaker:Kun Hsiang.
20081COMMA08 – Toulouse, May 2008 The Computational Complexity of Ideal Semantics I Abstract Argumentation Frameworks Paul E. Dunne Dept. Of Computer Science.
Development of Dynamic Models Illustrative Example: A Blending Process
1 Lecture 26 Decision problems about regular languages –Basic problems are solvable halting, accepting, and emptiness problems –Solvability of other problems.
1 Trust Management and Theory Revision Ji Ma School of Computer and Information Science University of South Australia 24th September 2004, presented at.
PSU CS 370 – Artificial Intelligence Dr. Mohamed Tounsi Artificial Intelligence 1. Introduction Dr. M. Tounsi.
2-1 Sample Spaces and Events Conducting an experiment, in day-to-day repetitions of the measurement the results can differ slightly because of small.
KNAPSACK PROBLEM A dynamic approach. Knapsack Problem  Given a sack, able to hold K kg  Given a list of objects  Each has a weight and a value  Try.
2 EIGSI ( Engineering School ), La Rochelle - France 1 Laboratory L3I - University La Rochelle - France Jean-Marie Boussier 1,2 Michel Augeraud 1 Pascal.
RESEARCH A systematic quest for undiscovered truth A way of thinking
Coalition Formation between Self-Interested Heterogeneous Actors Arlette van Wissen Bart Kamphorst Virginia DignumKobi Gal.
A Unified Modeling Framework for Distributed Resource Allocation of General Fork and Join Processing Networks in ACM SIGMETRICS
Software Development using artificial markets of constructively egoistic agents Karl Lieberherr 1SD-F09.
On joint modelling of random uncertainty and fuzzy imprecision Olgierd Hryniewicz Systems Research Institute Warsaw.
Formal Specification of Intrusion Signatures and Detection Rules By Jean-Philippe Pouzol and Mireille Ducassé 15 th IEEE Computer Security Foundations.
Exact and heuristics algorithms
Lean Accounting and Productivity Measurement
Introduction to Earth Science Section 2 Section 2: Science as a Process Preview Key Ideas Behavior of Natural Systems Scientific Methods Scientific Measurements.
Uncertainty Management in Rule-based Expert Systems
Finding Solutions in Goal Models: An Interactive Backward Reasoning Approach Jennifer Horkoff 1 Eric Yu 2 Department of Computer Science 1 Faculty of Information.
Logical Agents Chapter 7. Outline Knowledge-based agents Logic in general Propositional (Boolean) logic Equivalence, validity, satisfiability.
A Generalized Version Space Learning Algorithm for Noisy and Uncertain Data T.-P. Hong, S.-S. Tseng IEEE Transactions on Knowledge and Data Engineering,
Chapter 2 Logic 2.1 Statements 2.2 The Negation of a Statement 2.3 The Disjunction and Conjunction of Statements 2.4 The Implication 2.5 More on Implications.
SCALABLE INFORMATION-DRIVEN SENSOR QUERYING AND ROUTING FOR AD HOC HETEROGENEOUS SENSOR NETWORKS Paper By: Maurice Chu, Horst Haussecker, Feng Zhao Presented.
Using the knowledge framework to examine the arts.
© ACTS-MoMuSys All Rights Reserved. VOGUE The Video Object Generator with User Environment Ecole Nationale Supérieure des Mines de Paris, France.
Machine Learning Concept Learning General-to Specific Ordering
Scientific Method -A Review-. What is the Scientific Method? The Scientific Method involves a series of steps that are used to investigate a natural occurrence.
1 Eventual Leader Election in Evolving Mobile Networks Luciana Arantes 1, Fabiola Greve 2, Véronique Simon 1, and Pierre Sens 1 1 Université de Paris 6.
Goal of Learning Algorithms  The early learning algorithms were designed to find such an accurate fit to the data.  A classifier is said to be consistent.
What is Artificial Intelligence?
THE RESEARCH PROCESS: ELEMENTS OF RESEARCH DESIGN.
Probabilistic Model-Driven Recovery in Distributed Systems Kaustubh R. Joshi, Matti A. Hiltunen, William H. Sanders, and Richard D. Schlichting May 2,
A Brief Maximum Entropy Tutorial Presenter: Davidson Date: 2009/02/04 Original Author: Adam Berger, 1996/07/05
Chapter 1 Section 2 Scientific Methods. What are Scientific Methods What do Scientists use scientific methods for? To answer questions and to solve problems.
Analysis of Uncertain Data: Tools for Representation and Processing Bin Fu Eugene Fink Jaime G. Carbonell.
Does air have mass? Consider the experiment we did yesterday. Write a paragraph answering the question above. Be sure to support your claim with evidence.
Chapter 19 Statistical Decision Theory ©. Framework for a Decision Problem action i.Decision maker has available K possible courses of action : a 1, a.
Credal semantics of Bayesian transformations Fabio Cuzzolin, Department of Computing, Oxford Brookes University 6 th INTERNATIONAL SYMPOSIUM ON IMPRECISE.
Consistent approximations of belief functions Fabio Cuzzolin, Department of Computing, Oxford Brookes University 6 th INTERNATIONAL SYMPOSIUM ON IMPRECISE.
The Scientific Method 7M Science.
Keep the Adversary Guessing: Agent Security by Policy Randomization
CHAPTER 5 Handling Uncertainty BIC 3337 EXPERT SYSTEM.
CS b659: Intelligent Robotics
Inexact Reasoning 1 Session 9
Section 2: Science as a Process
6.5 Stochastic Prog. and Benders’ decomposition
Mechanical Engineering Department
Machine Learning: Lecture 6
Machine Learning: UNIT-3 CHAPTER-1
6.5 Stochastic Prog. and Benders’ decomposition
Recursively Enumerable Sets
Artificial Intelligence
Partial Fraction.
Presentation transcript:

Object association in the TBM framework, application to vehicle driving aid D. Mercier, E. Lefèvre, D. Jolly Univ. Lille Nord de France, F Lille, France UArtois, LGI2A, F Béthune, France Prospects Object association algorithm TBM in a nutshell Example Input: Objects (vehicles) detected at time step t Objects (vehicles) detected at time step t +1 X i : a perceived object Y1 Y2 Y3 Y4 Y5 Y j : a known object X1 X2 X3 X4 Modeling in the belief function framework (Transferable Belief Model – TBM -) Association problem description Objective: Example: Object X 1 cor- responds to object Y 2 with some degree of belief… Find the best possible association between perceived objects {X 1, X 2, …, X N,*} and known objects {Y 1, Y 2, …, Y M,*} under the following constraints:  each perceived object X i is associated with at most one known object;  each known object Y j is associated with at most one perceived object;  object * can be associated with any objects. Object “*” means: “an object not present in the scene”. Contribution: Uncertain and imprecise information regarding the association of each object X i and with each object Y j. Where do perceived objects X i come from? What are known objects Y j become? Questions to be solved Framework for reasoning with partial (imprecise, uncertain) knowledge. Two levels: Credal level: information represented by belief functions to be manipulated. Decision level: probability transformation when a decision has to be made.  m   BetP  and the expected utility is maximized 1 perceived object X 1 and 2 known objects Y 1, Y 2 Frames of discernment involved:   i,j = {y i,j, n i,j }: the two possible answers (yes or no) to the question “Is the perceived object X i associated with the known object Y j ?”;   Xi = { Y 1, Y 2, …, Y M, *} = {1, …, M, *}: answers to the question “Which known object is associated with the perceived object X i ?”   Yj = {X 1, X 2, …, X N, *} = {1, …, N, *}: answers to the question “Which perceived object is associated with the known object Y j ?” N×M belief mass functions m  i,j = m i,j regarding each association (X i, Y j ) Input Algorithm:  Express each piece of information m  i,j on a common frame  Xi (or  Yj ): m  i,j  Xi (vacuous extension operation)  Combine conjunctively BBAs m  i,j  Xi = m j  Xi. Let us denote m  Xi this result.  Chosen decision = the association maximizing the probability BetP  X 1 ×  X 2 × … ×  X N and verifying the constraints expressed in the objective section. Refining  i,j allowing one to transport the information m  i,j on  Xi Vacuous extension Pignistic transformation  Investigation on conflicting decisions between perceived and known objects points of view.  Decomposition of the BBAs (cf Denœux’s works).  Introducing information from the tracking of the vehicles. By expressing this information on  X1 (X 1 point of view: with which known object Y j, the perceived object X 1 is associated?): CISIT project (Campus International pour la Sécurité et l'Intermodalité des Transports). These works have been financed by the French region Nord-Pas de Calais. The conjunctive combination m  X 1 of m 1  X 1 and m 2  X 1, and the pignistic probability BetP  X 1 are given by: Conclusion from X 1 point of view: 1.The singleton maximizing BetP  X 1 is {2}, so X 1 is associated with Y Y 1 is not associated, Y 1 has disappeared (or is hidden). On the other hand, it is also possible to express the available information on  Y1 and  Y2 : As there is only one perceived object X 1, no combination is necessary: (Y 1, Y 2 ) is then associated with (*,1): Y 1 has disappeared and Y 2 is associated with X 1. The decision coming from X 1 and the decision coming from Y 1 and Y 2 are the same. Unfortunately this not always the case… (in practice a reduce number of cases) Conclusion from Y 1 and Y 2 points of view:   = {  1, …,  K }: finite set of the possible answers to a given question Q of interest (frame of discernment)  Information held by a rational agent regarding the answer to question Q can be quantified by a mass function or BBA m  such that m  : 2   [0,1] and:  m(A) represents the part of the unit mass allocated to the hypothesis: “ The answer to question Q is in the subset A of  ”.