ATTENTION: The software behind KU ScholarWorks is being upgraded to a new version. Starting July 15th, users will not be able to log in to the system, add items, nor make any changes until the new version is in place at the end of July. Searching for articles and opening files will continue to work while the system is being updated.
If you have any questions, please contact Marianne Reed at mreed@ku.edu .
Computation in Valuation Algebras
dc.contributor.author | Kohlas, Jürg | |
dc.contributor.author | Shenoy, Prakash P. | |
dc.date.accessioned | 2004-12-17T22:57:01Z | |
dc.date.available | 2004-12-17T22:57:01Z | |
dc.date.issued | 2000 | |
dc.identifier.citation | Kohlas, J. and P. P. Shenoy, "Computation in Valuation Algebras," in D. M. Gabbay and P. Smets (eds.), Handbook of Defeasible Reasoning and Uncertainty Management Systems: Algorithms for Uncertainty and Defeasible Reasoning, Vol. 5, pp. 5--39, Kluwer Academic Publishers, Dordrecht. | |
dc.identifier.isbn | 0-7923-6672-7 | |
dc.identifier.uri | http://hdl.handle.net/1808/165 | |
dc.description.abstract | Many different formalisms for treating uncertainty or, more generally, information and knowledge, have a common underlying algebraic structure. The essential algebraic operations are combination, which corresponds to aggregation of knowledge, and marginalization, which corresponds to focusing of knowledge. This structure is called a valuation algebra. Besides managing uncertainty in expert systems, valuation algebras can also be used to to represent constraint satisfaction problems, propositional logic, and discrete optimization problems. This chapter presents an axiomatic approach to valuation algebras. Based on this algebraic structure, different inference mechanisms that use local computations are described. These include the fusion algorithm and, derived from it, the Shenoy-Shafer architecture. As a particular case, computation in idempotent valuation algebras, also called information algebras, is discussed. The additional notion of continuers is introduced and, based on it, two more computational architectures, the Lauritzen-Spiegelhalter and the HUGIN architecture, are presented. Finally, different models of valuation algebras are considered. These include probability functions, Dempster-Shafer belief functions, Spohnian disbelief functions, and possibility functions. As further examples, linear manifolds and systems of linear equations, convex polyhedra and linear inequalities, propositional logic and information systems, and discrete optimization are mentioned. | |
dc.format.extent | 317185 bytes | |
dc.format.mimetype | application/pdf | |
dc.language.iso | en | |
dc.publisher | Kluwer Academic Publishers | |
dc.relation.ispartofseries | Handbook of Defeasible Reasoning and Uncertainty Management Systems;Vol. 5 | |
dc.subject | Valuation networks | |
dc.subject | Valuation-based systems | |
dc.subject | Local computation | |
dc.title | Computation in Valuation Algebras | |
dc.type | Book chapter | |
kusw.oastatus | na | |
dc.identifier.orcid | https://orcid.org/0000-0002-8425-896X | |
kusw.oapolicy | This item does not meet KU Open Access policy criteria. | |
dc.rights.accessrights | openAccess |