Symbolic and quantitative approaches to reasoning and uncertainty : European conference, ECSQARU'99, London, UK, July 5-9, 1999, proceedings / / Anthony Hunter, Simon Parsons, editors

• Record Nr.: UNISA996465732903316
• Pubbl/distr/stampa: Berlin : , : Springer, , [1999]; ©1999
• ISBN: 3-540-48747-6
• Edizione: [1st ed. 1999.]
• Descrizione fisica: 1 online resource (IX, 402 p.)
• Collana: Lecture Notes in Artificial Intelligence ; ; 1638
• Disciplina: 006.3
• Soggetti: Artificial intelligence; Reasoning; Uncertainty (Information theory)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: On the Dynamics of Default Reasoning -- Nonmonotonic and Paraconsistent Reasoning: From Basic Entailments to Plausible Relations -- A Comparison of Systematic and Local Search Algorithms for Regular CNF Formulas -- Query-answering in Prioritized Default Logic -- Updating Directed Belief Networks -- Inferring Causal Explanations -- A Critique of Inductive Causation -- Connecting Lexicographic with Maximum Entropy Entailment -- Avoiding Non-Ground Variables -- Anchoring Symbols to Vision Data by Fuzzy Logic -- Filtering vs Revision and Update: let us Debate! -- Irrelevance and Independence Axioms in Quasi-Bayesian Theory -- Assessing the value of a candidate -- Learning Default Theories -- Knowledge Representation for Inductive Learning -- Handling Inconsistency Efficiently in the Incremental Construction of Stratified Belief Bases -- Rough Knowledge Discovery and Applications -- Gradient Descent Training of Bayesian Networks -- Open Default Theories over Closed Domains -- Shopbot Economics -- Optimized Algorithm for Learning Bayesian Network from Data -- Merging with Integrity Constraints -- Boolean-like Interpretation of Sugeno Integral -- An Alternative to Outward Propagation for Dempster-Shafer Belief Functions -- On bottom-up pre-processing techniques for automated default reasoning -- ; Probabilisitc Logic Programming under Maximum Entropy -- Lazy Propagation and Independence of Causal Influence -- A Monte Carlo Algorithm for Combining Dempster-Shafer Belief Based on Approximate Pre-Computation -- An Extension of a lInguistic Negation Model allowing us to Deny Nuanced Property Combinations -- Argumentation and Qualitative Decision Making -- Handling Different Forms of Uncertainty in Regression Analysis: A Fuzzy Belief Structure Approach -- State Recognition in Discrete Dynamical Systems using Petri Nets and Evidence Theory -- Robot Navigation and Map Building with the Event Calculus -- Information Fusion in the Context of Stock Index Prediction -- Defeasible Goals -- Logical Deduction using the Local Computation Framework.