Loading...
Please wait, while we are loading the content...
Similar Documents
Products of weighted logic programs
| Content Provider | Scilit |
|---|---|
| Author | Cohen, Shay B. Simmons, Robert J. Smith, Noah A. |
| Copyright Year | 2011 |
| Description | Weighted logic programming, a generalization of bottom-up logic programming, is a well-suited framework for specifying dynamic programming algorithms. In this setting, proofs correspond to the algorithm's output space, such as a path through a graph or a grammatical derivation, and are given a real-valued score (often interpreted as a probability) that depends on the real weights of the base axioms used in the proof. The desired output is a function over all possible proofs, such as a sum of scores or an optimal score. We describe the product transformation, which can merge two weighted logic programs into a new one. The resulting program optimizes a product of proof scores from the original programs, constituting a scoring function known in machine learning as a “product of experts.” Through the addition of intuitive constraining side conditions, we show that several important dynamic programming algorithms can be derived by applying product to weighted logic programs corresponding to simpler weighted logic programs. In addition, we show how the computation of Kullback–Leibler divergence, an information-theoretic measure, can be interpreted using product. |
| Related Links | http://arxiv.org/pdf/1006.3035 http://arxiv.org/abs/1006.3035 https://www.cambridge.org/core/services/aop-cambridge-core/content/view/5E2207BED192B119DC0034BE15B242E1/S1471068410000529a.pdf/div-class-title-products-of-weighted-logic-programs-div.pdf |
| Ending Page | 296 |
| Page Count | 34 |
| Starting Page | 263 |
| ISSN | 14710684 |
| e-ISSN | 14753081 |
| DOI | 10.1017/s1471068410000529 |
| Journal | Theory and Practice of Logic Programming |
| Issue Number | 2-3 |
| Volume Number | 11 |
| Language | English |
| Publisher | Cambridge University Press (CUP) |
| Publisher Date | 2011-03-01 |
| Access Restriction | Open |
| Subject Keyword | Theory and Practice of Logic Programming History and Philosophy of Science Weighted Logic Programming Program Transformations Natural Language Processing |
| Content Type | Text |
| Resource Type | Article |
| Subject | Artificial Intelligence Theoretical Computer Science Computational Theory and Mathematics Hardware and Architecture Software |
