Hybrid Probabilistic Programs
| dc.contributor.author | Dekhtyar, Alex | en_US |
| dc.contributor.author | Subrahmanian, V. S. | en_US |
| dc.date.accessioned | 2004-05-31T22:50:34Z | |
| dc.date.available | 2004-05-31T22:50:34Z | |
| dc.date.created | 1998-03 | en_US |
| dc.date.issued | 1998-10-15 | en_US |
| dc.description.abstract | The precise probability of a compound event (e.g. e1 v e2, e1 ^ e2) depends upon the known relationships (e.g. independence, mutual exclusion, ignorance of any relationship, etc.) between the primitive events that constitute the compound event. To date, most research on probabilistic logic programming [20, 19, 22, 23, 24] has assumed that we are ignorant of the relationship between primitive events. Likewise, most research in AI (e.g. Bayesian approaches) have assumed that primitive events are independent. In this paper, we propose a hybrid probabilistic logic programming language in which the user can explicitly associate, with any given probabilistic strategy, a conjunction and disjunction operator, and then write programs using these operators. We describe the syntax of hybrid probabilistic programs, and develop a model theory and fixpoint theory for such programs. Last, but not least, we develop three alternative procedures to answer queries, each of which is guaranteed to be sound and complete. (Also cross-referenced as UMIACS-TR-98-16) | en_US |
| dc.format.extent | 469405 bytes | |
| dc.format.mimetype | application/postscript | |
| dc.identifier.uri | http://hdl.handle.net/1903/944 | |
| dc.language.iso | en_US | |
| dc.relation.isAvailableAt | Digital Repository at the University of Maryland | en_US |
| dc.relation.isAvailableAt | University of Maryland (College Park, Md.) | en_US |
| dc.relation.isAvailableAt | Tech Reports in Computer Science and Engineering | en_US |
| dc.relation.isAvailableAt | UMIACS Technical Reports | en_US |
| dc.relation.ispartofseries | UM Computer Science Department; CS-TR-3883 | en_US |
| dc.relation.ispartofseries | UMIACS; UMIACS-TR-98-16 | en_US |
| dc.title | Hybrid Probabilistic Programs | en_US |
| dc.type | Technical Report | en_US |