Symbolic and Quantitative Approaches to Reasoning and Uncertainty : European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993. Proceedings. 1st ed. 1993

種類:

電子ブック

責任表示:

edited by Michael Clarke, Rudolf Kruse, Serafin Moral

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993

著者名:

• Clarke, Michael.
• Kruse, Rudolf.
• Moral, Serafin.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 747

ISBN:

9783540481300 [3540481303]    

注記:

$$¥mathcal{R}¥mathcal{E}¥mathcal{S}$$ : A formalism for reasoning with relative-strength defaults -- A semantics for open normal defaults via a modified preferential approach -- Possibilistic logic: From nonmonotonicity to logic programming -- Learning membership functions -- The use of possibilistic logic PL1 in a customizable tool for the generation of production-rule based systems -- Probabilistic network construction using the minimum description length principle -- IDAGs: A perfect map for any distribution -- Learning non probabilistic belief networks -- A practical system for defeasible reasoning and belief revision -- Influence of granularity level in fuzzy functional dependencies -- A logic for reasoning about safety in decision support systems -- Acceptability of arguments as ‘logical uncertainty’ -- A temporal model theory for default logic -- Uncertainty in constraint satisfaction problems: A probabilistic approach -- Interference logic = conditional logic + frame axiom -- A unifying logical framew
In recent years it has become apparent that an important part of the theory of artificial intelligence is concerned with reasoning on the basis of uncertain, incomplete, or inconsistent information. A variety of formalisms have been developed, including nonmonotonic logic, fuzzy sets, possibility theory, belief functions, and dynamic models of reasoning such as belief revision and Bayesian networks. Several European research projects have been formed in the area and the first European conference was held in 1991. This volume contains the papers accepted for presentation at ECSQARU-93, the European Conference on Symbolicand Quantitative Approaches to Reasoning and Uncertainty, held at the University of Granada, Spain, November 8-10, 1993.

ローカル注記:

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