Handbook of Defeasible Reasoning and Uncertainty Management Systems: Algorithms for Uncertainty and Defeasible Reasoning: 5 - Rilegato

 
9780792366720: Handbook of Defeasible Reasoning and Uncertainty Management Systems: Algorithms for Uncertainty and Defeasible Reasoning: 5

Sinossi

This handbook surveys the computational and algorithmic problems of systems of applied reasoning. The various theoretical and modelling aspects of defeasible reasoning were dealt with in the first four volumes, and this volume now turns to the algorithmic aspect. Topics covered include: Computation in valuation algebras; consequence finding algorithms; possibilistic logic; probabilistic argumentation systems, networks and satisfiability; algorithms for imprecise probabilities, for Dempster-Shafer, and network based decisions.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

Volume Introduction; J. Kohlas, S. Moral. Part I: Fundamentals. Computation in Valuation Algebras; J. Kohlas, P.P. Shenoy. Consequence Finding Algorithms; P. Marquis. Part II: Algorithms for Logical Formalisms. Computing Specificity in Default Reasoning; S. Benferhat. Possibilistic Logic: Complexity and Algorithms; J. Lang. Probabilistic Argumentation Systems; R. Haenni, J. Kohlas, N. Lehmann. Part III: Algorithms for Numerical Formalisms. Probabilistic Networks; F.V. Jensen, S.L. Lauritzen. Probabilistic Satisfiability; P. Hansen, B. Jaumard. Algorithms for Imprecise Probabilities; A. Cano, S. Moral. Algorithms for Dempster-Shafer Theory; N. Wilson. Network-based Decision Algorithms; Hong Xu. Index.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo

9789048156030: Handbook of Defeasible Reasoning and Uncertainty Management Systems: Algorithms for Uncertainty and Defeasible Reasoning: 5

Edizione in evidenza

ISBN 10:  9048156033 ISBN 13:  9789048156030
Casa editrice: Springer, 2010
Brossura