Probabilistic assertions and verifying them
US9646257B2 · kind B2 · utility
12Cited by
10References
22Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Sep 3, 2014 |
| Grant date | May 9, 2017 |
| Priority date | — |
| Expiry date | Sep 3, 2034 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06N5/048
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
Various techniques for evaluating probabilistic assertions are described herein. In one example, a method includes transforming a program, a probabilistic assertion, and an input into an intermediate representation, the intermediate representation including a Bayesian network of nodes representing distributions. The method further includes verifying a probabilistic assertion in the program using the intermediate representation.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.