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.
Author(s): Alain Appriou (auth.), Dov M. Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans Jürgen Ohlbach (eds.)
Series: Lecture Notes in Computer Science 1244 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1997
Language: English
Pages: 626
Tags: Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages
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
