No full text
Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Generic Solution Construction in Valuation-Based Systems
Pouly, Marc
2011In Butz, Cory; Lingras, Pawan (Eds.) Advances in Artificial Intelligence
 

Files


Full Text
No document available.

Send to



Details



Abstract :
[en] Valuation algebras abstract a large number of formalisms for automated reasoning and enable the definition of generic inference procedures. Many of these formalisms provide some notions of solutions. Typical examples are satisfying assignments in constraint systems, models in logics or solutions to linear equation systems. Contrary to inference, there is no general algorithm to compute solutions in arbitrary valuation algebras. This paper states formal requirements for the presence of solutions and proposes a generic algorithm for solution construction based on the results of a previously executed inference scheme. We study the application of generic solution construction to semiring constraint systems, sparse linear systems and algebraic path problems and show that the proposed method generalizes various existing approaches for specific formalisms in the literature.
Disciplines :
Engineering, computing & technology: Multidisciplinary, general & others
Computer science
Identifiers :
UNILU:UL-CONFERENCE-2011-191
Author, co-author :
Pouly, Marc ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SnT)
Language :
English
Title :
Generic Solution Construction in Valuation-Based Systems
Publication date :
2011
Event name :
24th Canadian Conference on Artificial Intelligence
Event place :
St. John's, NL, Canada
Event date :
25-27 May 2011
Main work title :
Advances in Artificial Intelligence
Editor :
Butz, Cory
Lingras, Pawan
Publisher :
Springer
ISBN/EAN :
978-3-642-21042-6
Collection name :
Lecture Notes in Computer Science, 6657
Pages :
335 - 346
Available on ORBilu :
since 12 March 2014

Statistics


Number of views
74 (1 by Unilu)
Number of downloads
0 (0 by Unilu)

Scopus citations®
 
3
Scopus citations®
without self-citations
1
OpenCitations
 
1

Bibliography


Similar publications



Contact ORBilu