Symbolic and Quantitative Approaches to Reasoning and Uncertainty : European Conference, ECSQARU '95, Fribourg, Switzerland, July 3-5, 1995. Proceedings. 1st ed. 1995

種類:

電子ブック

責任表示:

edited by Christine Froidevaux, Juerg Kohlas

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995

著者名:

• Froidevaux, Christine.
• Kohlas, Juerg.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Artificial Intelligence ; 946

ISBN:

9783540494386 [3540494383]    

注記:

For all typical -- A posteriori knowledge: from ambiguous knowledge and undefined information to knowledge -- Modeling uncertain relational knowledge: the AV-quantified production rules approach -- Multiple database logic -- A local approach to reasoning under inconsistency in stratified knowledge bases -- Quasi-classical logic: Non-trivializable classical reasoning from inconsistent information -- A cost bounded possibilistic ATMS -- A substructural connective for possibilistic logic -- Chain graphs: Semantics and expressiveness -- Axiomatic treatment of possibilistic independence -- Parametric structure of probabilities in Bayesian networks -- From non-monotonic syntax-based entailment to preference-based argumentation -- Non-monotonic syntax-based entailment: A classification of consequence relations -- Local Möbius transforms of monotone capacities -- Automated reasoning with merged contradictory information whose reliability depends on topics -- Linking transition-based update and base revision -- Priori
This volume constitutes the 48 full refereed research papers accepted for presentation at the Third European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU '95, held in Fribourg, Switzerland in July 1995 under the sponsorship of the DRUMS consortium (ESPRIT II BRA 6156). In recent years, it has become apparent that an important part of the theory of AI is concerned with reasoning on the basis of uncertain, vague, incomplete, or inconsistent information. A variety of nonclassical formalisms, both symbolic and numerical, have been developed and are addressed in this volume; among them are nonmonotonic and modal logics, fuzzy sets, possibility theory, believe functions, evidence theory, dynamic models, and Bayesian networks.

ローカル注記:

学内専用E-BOOKS (local access only)