Qualitative and quantitative practical reasoning : first international joint conference on qualitative and quantitative practical reasoning, ECSQARU-FAPR '97, Bad Honnef, Germany, june 9-12, 1997, proceeding s

This Book Constitutes The Refereed Proceedings Of The First International Joint Conference On Qualitative And Quantitative Practical Reasoning, Ecsqaru-fapr'97, Held In Bad Honnef, Germany, In June 1997. The Volume Presents 33 Revised Full Papers Carefully Selected For Inclusion In The Book By The Program Committee As Well As 12 Invited Contributions. Among The Various Aspects Of Human Practical Reasoning Addressed In The Papers Are Nonmonotonic Logics, Default Reasoning, Modal Logics, Belief Function Theory, Bayesian Networks, Fuzzy Logic, Possibility Theory, Inference Algorithms, Dynamic Reasoning With Partial Models, And User Modeling Approaches. Multisensor Data Fusion In Situation Assessment Processes / Alain Appriou -- Dependency Mining In Relational Databases / Siegfried Bell -- Syntactic Combination Of Uncertain Information: A Possibilistic Approach / Salem Benferhat, Didier Dubois And Henri Prade -- A Coherence-based Approach To Default Reasoning / Salem Benferhat And Laurent Garcia -- A Syntactical Approach To Data Fusion / Paolo Bison, Gaetano Chemello And Claudio Sossai [and Others] -- Some Experimental Results On Learning Probabilistic And Possibilistic Networks With Different Evaluation Measures / Christian Borgelt And Rudolf Kruse -- Information Fusion In Logic: A Brief Overview / Laurence Cholvy And Anthony Hunter -- Focusing Vs. Belief Revision: A Fundamental Distinction When Dealing With Generic Knowledge / Didier Dubois And Henri Prade -- Background And Perspectives Of Possibilistic Graphical Models / Jorg Gebhardt And Rudolf Kruse. Dov Gabbay ... [et Al.] (eds.). Includes Bibliographical References And Index. Multisensor data fusion in situation assessment processes....Pages 1-15 Dependency mining in relational databases....Pages 16-29 Syntactic combination of uncertain information: A possibilistic approach....Pages 30-42 A coherence-based approach to default reasoning....Pages 43-57 A syntactical approach to data fusion....Pages 58-70 Some experimental results on learning probabilistic and possibilistic networks with different evaluation measures....Pages 71-85 Information fusion in logic: A brief overview....Pages 86-95 Focusing vs. belief revision: A fundamental distinction when dealing with generic knowledge....Pages 96-107 Background and perspectives of possibilistic graphical models....Pages 108-121 Checking several forms of consistency in nonmonotonic knowledge-bases....Pages 122-130 The α-junctions: Combination operators applicable to belief functions....Pages 131-153 Just how stupid is postmodernism?....Pages 154-158 Integrating preference orderings into argument-based reasoning....Pages 159-170 Assumption-based modeling using ABEL....Pages 171-182 Propositional quantification for conditional logic....Pages 183-197 Fast-division architecture for Dempster-Shafer belief functions....Pages 198-209 Graduality by means of analogical reasoning....Pages 210-222 Reasoning about unpredicted change and explicit time....Pages 223-236 Non-elementary speed-ups in default reasoning....Pages 237-251 A compositional reasoning system for executing nonmonotonic theories of reasoning....Pages 252-266 Structured belief bases: A practical approach to prioritised base revision....Pages 267-281 Entrenchment relations: A uniform approach to nonmonotonicity....Pages 282-297 A modal logic for reasoning about knowledge and time on binary subset trees....Pages 298-310 How to change factual beliefs using laws and dependence information....Pages 311-321 Using default logic for lexical knowledge....Pages 322-335 A layered, any time approach to sensor validation....Pages 336-349 TreeNets: A framework for anytime evaluation of belief networks....Pages 350-364 A logically sound method for uncertain reasoning with quantified conditionals....Pages 365-379 Belief functions with nonstandard values....Pages 380-391 Error tolerance method in multiple-valued logic....Pages 392-405 Representing and reasoning with events from natural language....Pages 406-420 Reasoning about security: A logic and a decision method for role-based access control....Pages 421-435 Process modeling with different qualities of knowledge....Pages 436-450 A Fuzzy analysis of linguistic negation of nuanced property in Knowledge-Based systems....Pages 451-465 Normative argumentation and qualitative probability....Pages 466-480 Towards a formalization of narratives: Actions with duration, concurrent actions and qualifications....Pages 481-495 Multiple subarguments in logic, argumentation, rhetoric and text generation....Pages 496-510 Cactus: A branching-time logic programming language....Pages 511-524 Creating prototypes for fast classification in Dempster-Shafer clustering....Pages 525-535 Probabilistic default logic based on irrelevance and relevance assumptions....Pages 536-553 Logic for two: The semantics of distributive substructural logics....Pages 554-567 Multivalued extension of conditional belief functions....Pages 568-573 Combining evidence under partial ignorance....Pages 574-588 Rational Default Quantifier Logic....Pages 589-599 Disjunctive update, minimal change, and default reasoning....Pages 600-613 Toward a uniform logical representation of different kinds of integrity constraints....Pages 614-620 Moreover, the disparity of the data delivered by the various sensors, which is intended to remedy the individual insufficiencies of each, requires a detailed evaluation of each of them, based on any exogenous information that might characterize their pertinence to the problem at hand and the context investigated, while such information is itself often very subjective and imprecise. Presents the refereed proceedings of the First International Joint Conference on Qualitative and Quantitative Practical Reasoning. The aspects of human practical reasoning addressed in the text include: nonmonotonic logics, default reasoning, modal logics, belief function theory and fuzzy logic.