Symbolic and Quantitative Approaches to Reasoning With Uncertainty: 6th European Conference, Ecsqaru 2001, Toulouse, France, September 19-21, 2001 Proceedings

by European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (6th : 2001 : Toulouse, France)

• ISBN13: 9783540424642
• ISBN10: 3540424644
• Format: Paperback
• Copyright: 2001-09-01
• Publisher: Springer-Verlag New York Inc

Summary

This book constitutes the refereed proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2001, held in Toulouse, France in September 2001.The 68 revised full papers presented together with three invited papers were carefully reviewed and selected from over a hundred submissions. The book offers topical sections on decision theory, partially observable Markov decision processes, decision-making, coherent probabilities, Bayesian networks, learning causal networks, graphical representation of uncertainty, imprecise probabilities, belief functions, fuzzy sets and rough sets, possibility theory, merging, belief revision and preferences, inconsistency handling, default logic, logic programming, etc.

Table of Contents

Invited Papers
Graphical Models as Languages for Computer Assisted Diagnosis and Decision Making	1	(15)
Finn Verner Jensen
Planning with Uncertainty and Incomplete Information	16	(1)
Hector Geffner
What's Your Preference? And How to Express and Implement It in Logic Programming!	17	(1)
Trosten Schaub
Contributed Papers
Decision Theory
On Preference Representation on an Ordinal Scale	18	(11)
Michel Grabisch
Rule-Based Decision Support in Multicriteria Choice and Ranking	29	(19)
Salvatore Greco
Benedetto Matarazzo
Roman Slowinski
Propositional Distances and Preference Representation	48	(12)
Celine Lafage
Jerome Lang
Partially Observable Markov Decision Processes
Value Iteration over Belief Subspace	60	(12)
Weihong Zhang
Space-Progressive Value Iteration: An Anytime Algorithm for a Class of POMDPs	72	(12)
Nevin L. Zhang
Weihong Zhang
Decision-Making
Reasoning about Intentions in Uncertain Domains	84	(12)
Martijn Schut
Michael Wooldridge
Simon Parsons
Troubleshooting with Simultaneous Models	96	(12)
Jiri Vomlel
Clause Skaanning
A Rational Conditional Utility Model in a Coherent Framework	108	(12)
Silvia Bernardi
Giulianella Coletti
Coherent Probabilities
Probabilistic Reasoning as a General Unifying Tool	120	(12)
Giulianella Coletti
Romano Scozzafava
Barbara Vantaggi
An Operational View of Coherent Conditional Previsions	132	(12)
Andrea Capotorti
Tania Paneni
Bayesian Networks
Decomposition of Influence Diagrams	144	(12)
Thomas D. Nielsen
Mixtures of Truncated Exponentials in Hybrid Bayesian Networks	156	(12)
Serafin Moral
Rafael Rumi
Antonio Salmeron
Importance Sampling in Bayesian Networks Using Antithetic Variables	168	(12)
Antonio Salmeron
Serafin Moral
Using Recursive Decomposition to Construct Elimination Orders, Join Trees, and Dtrees	180	(12)
Adnan Darmiche
Mark Hopkins
Caveats for Causal Reasoning with Equilibrium Models	192	(12)
Denver Dash
Marek J. Druzdzel
Learning Causal Networks
Supporting Changes in Structure in Causal Model Construction	204	(12)
Tsai-Ching Lu
Marek J. Druzdzel
The Search of Causal Orderings: A Short Cut for Learning Belief Networks	216	(12)
Silvia Acid
Luis M. de Campos
Juan F. Huete
Stochastic Local Algorithms for Learning Belief Networks: Searching in the Space of the Orderings	228	(12)
Luis M. de Campos
J. Miguel Puerta
An Empirical Investigation of the K2 Metric	240	(12)
Christian Borgelt
Rudolf Kruse
Graphical Representations of Uncertainty
Sequential Valuation Networks: A New Graphical Technique for Asymmetric Decision Problems	252	(14)
Riza Demirer
Prakash P. Shenoy
A Two-Steps Algorithm for Min-Based Possibilistic Causal Networks	266	(12)
Nahla Ben Amor
Salem Benferhat
Khaled Mellouli
Imprecise Probabilities
Computing Intervals of Probabilities with Simulated Annealing and Probability Trees	278	(12)
Andres Cano
Serafin Moral
Probabilistic Logic under Coherence, Model, Theoretic Probabilistic Logic, and Default Reasoning	290	(13)
Veronica Biazzo
Angelo Gilio
Thomas Lukasiewicz
Giuseppe Sanfilippo
Belief Functions
Belief Functions with Partially Ordered Values	303	(13)
Ivan Kramosil
Dempster Specialization Matrices and the Combination of Belief Functions	316	(12)
Paul-Andre Monney
On the Conceptual Status of Belief Functions with Respect to Coherent Lower Probabilities	328	(12)
Pietro Baroni
Paolo Vicig
About Conditional Belief Function Independence	340	(10)
Boutheina Ben Yaghlane
Philippe Smets
Khaled Mellouli
The Evaluation of Sensors' Reliability and Their Tuning for Multisensor Data Fusion within the Transferable Belief Model	350	(12)
Zied Elouedi
Khaled Mellouli
Philippe Smets
Coarsening Approximations of Belief Functions	362	(12)
Amel Ben Yaghlane
Thierry Denaeux
Khaled Mellouli
Fuzzy Sets and Rough Sets
Label Semantics: A Formal Framework for Modeling with Words	374	(11)
Jonathan Lawry
Reasoning about Knowledge Using Rough Sets	385	(13)
Weiru Liu
Possibility Theory
The Capacity of a Possibilistic Channel	398	(12)
Andrea Sgarro
New Semantics of Quantitative Possibility Theory	410	(12)
Didier Dubois
Henri Prade
Philippe Smets
Bridging Logical, Comparative, and Graphical Possibilistic Representation frameworks	422	(10)
Salem Benferhat
Didier Dubois
Souhila Kaci
Henri Prade
Applications
Ellipse Fitting with Uncertainty and Fuzzy Decision Stage for Detection. Application in Videomicroscopy	432	(12)
Franck Dufrenois
Probabilistic Modelling for Software Quality Control	444	(10)
Norman Fenton
Paul Krause
Martin Neil
Spatial Information Revision: A Comparison between 3 Approaches	454	(12)
Eric Wurbel
Robert Jeansoulin
Odile Papini
Merging
Social Choice, Merging, and Elections	466	(12)
Thomas Meyer
Aditya Ghose
Samir Chopra
Data Merging: Theory of Evidence vs. Knowledge-Bases Merging Operators	478	(10)
Laurence Cholvy
Belief Revision and Preferences
A Priori Revision	488	(10)
Florence Dupin de Saint-Cyr
Beatrice Duval
Stephane Loiseau
Some Operators for Iterated Revision	498	(12)
Sebastien Konieczny
Ramon Pino Perez
On Computing Solutions to Belief Change Scenarios	510	(12)
James P. Delgrande
Torsten Schaub
Hans Tompits
Stefan Woltran
`Not Impossible' vs. `Guaranteed Possible' in Fusion and Revision	522	(10)
Didier Dubois
Henri Prade
Philippe Smets
General Preferential Entailments as Circumscriptions	532	(12)
Yves Moinard
Inconsistency Handling
A Semantic Tableau Version of First-Order Quasi-Classical Logic	544	(12)
Anthony Hunter
On Anytime Coherence-Based Reasoning	556	(12)
Frederic Koriche
Resolving Conflicts between Beliefs, Obligations, Intentions, and Desires	568	(12)
Jan Broersen
Mehdi Dastani
Leendert van der Torre
Default Logic
Comparing a Pair-Wise Compatibility Heuristic and Relaxed Stratification: Some Preliminary Results	580	(12)
Robert E. Mercer
Lionel Forget
Vincent Risch
How to Reason Credulously and Skeptically within a Single Extension	592	(12)
James P. Delgrande
Torsten Schaub
Conditional Default Reasoning
Handling Conditionals Adequately in Uncertain Reasoning	604	(12)
Gabriele Kern-Isberner
Rankings We Prefer - A Minimal Construction Semantics for Default Reasoning	616	(12)
Emil Weydert
Models of Uncertainty from the Psychology Viewpoint
Formalizing Human Uncertain Reasoning with Default Rules: A Psychological Conundrum and a Pragmatic Suggestion	628	(7)
Jean-Francois Bonnefon
Denis J. Hilton
Statistical Information, Uncertainty, and Bayes' Theorem: Some Applications in Experimental Psychology	635	(12)
Donald Laming
Polymorphism of Human Judgment under Uncertainty	647	(12)
Rui Da Silva Neves
Eric Raufaste
How to Doubt about a Conditional	659	(9)
Guy Politzer
Argumentation Systems and ATMSs
Dialectical Proof Theories for the Credulous Preferred Semantics of Argumentation Frameworks	668	(12)
Claudette Cayrol
Sylvie Doutre
Jerome Mengin
Argumentation and Qualitative Probabilistic Reasoning Using the Kappa Calculus	680	(12)
Valentina Tamma
Simon Parsons
Causality, Events, Explanations
Importance Measures from Reliability Theory for Probabilistic Assumption-Based Reasoning	692	(12)
Bernhard Anrig
Ramification in the Normative Method of Causality	704	(10)
Mahat Khelfallah
Aicha Mokhtari
Simultaneous Events: Conflicts and Preferences	714	(12)
John Bell
Orthogonal Relations for Reasoning about Abstract Events	726	(10)
Ajay Kshemkalyani
Roshan Kamath
Logic Programming
Explanatory Relations Based on Mathematical Morphology	736	(12)
Isabelle Bloch
Ramon Pino-Perez
Carlos Uzcategui
Monotonic and Residuated Logic Programs	748	(12)
Carlos Viegas Damasio
Luis Moniz Pereira
Modal Logics for Information Systems
A Proof Procedure for Possibilistic Logic Programming with Fuzzy Constants	760	(12)
Teresa Alsinet
Lluis Godo
First-Order Characterization and Modal Analysis of Indiscernibility and Complementarity in Information Systems	772	(10)
Philippe Balbiani
Dimiter Vakarelov
Satisfiability
Complete and Incomplete Knowledge in Logical Information Systems	782	(10)
Sebastien Ferre
Extending Polynomiality to a Class of Non-clausal Many-Valued Horn-Like Formulas	792	(13)
E. Altamirano
G. Escalada-Imaz
A Genetic Algorithm for Satisfiability Problem in a Probabilistic Logic: A First Report	805	(12)
Zoran Ognjanovic
Jozef Kratica
Milos Milovanovic
Author Index	817