Sangam: A Confluence of Knowledge Streams

A Unifying Framework for Disjunctive Data Constraints with Applications to Reasoning under Uncertainty

Show simple item record

dc.contributor Van Gucht, Dirk
dc.creator Niepert, Mathias
dc.date 2010-06-16T15:11:43Z
dc.date 2011-05-14T12:10:12Z
dc.date 2010-06-16T15:11:43Z
dc.date 2009
dc.date.accessioned 2023-02-21T11:17:37Z
dc.date.available 2023-02-21T11:17:37Z
dc.identifier http://hdl.handle.net/2022/8676
dc.identifier.uri http://localhost:8080/xmlui/handle/CUHPOERS/252875
dc.description Thesis (Ph.D.) - Indiana University, Computer Sciences, 2009
dc.description Constraints on different manifestations of data are a central concept in numerous areas of computer science. Examples include mathematical logic, database systems (functional and multivalued dependencies), data mining (association rules), and reasoning under uncertainty (conditional independence statements). One is often interested in a process that derives all or most of the constraints that are entailed by a set of known ones, without the expense and error-proneness of repeatedly analyzing the data. This is what is generally known as the implication problem for data constraints. We present a theoretical framework for disjunctive data constraints and the associated implication problems based on the observation that many instances can be reduced to an implication problem for additive constraints on specific classes of real-valued functions. Furthermore, we provide inference systems and testable properties of classes of real-valued functions which imply the soundness and completeness of these systems. We also derive properties of classes of functions that imply the non-existence of finite, complete axiomatizations. The theoretical framework is applied to derive novel results in the areas of uncertain reasoning and graphical models.
dc.language EN
dc.publisher [Bloomington, Ind.] : Indiana University
dc.subject conditional independence
dc.subject constraints
dc.subject disjunctive statements
dc.subject lattice
dc.subject real-valued functions
dc.subject reasoning under uncertainty
dc.subject Computer Science
dc.title A Unifying Framework for Disjunctive Data Constraints with Applications to Reasoning under Uncertainty
dc.type Doctoral Dissertation


Files in this item

Files Size Format View
Niepert_indiana_0093A_10235.pdf 786.3Kb application/pdf View/Open

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Advanced Search

Browse