Probabilistic Logic Programming under Inheritance with Overriding
<p>We present probabilistic logic programming under inheritance with overriding. This approach is based on new notions of entailment for reasoning with conditional constraints, which are obtained from the classical notion of logical entailment by adding inheritance with overriding. This is don...
| Main Author: | |
|---|---|
| Format: | Conference item |
| Published: |
Morgan Kaufmann
2001
|
| _version_ | 1826279284326531072 |
|---|---|
| author | Lukasiewicz, T |
| author_facet | Lukasiewicz, T |
| author_sort | Lukasiewicz, T |
| collection | OXFORD |
| description | <p>We present probabilistic logic programming under inheritance with overriding. This approach is based on new notions of entailment for reasoning with conditional constraints, which are obtained from the classical notion of logical entailment by adding inheritance with overriding. This is done by using recent approaches to probabilistic default reasoning with conditional constraints. We analyze the semantic properties of the new entailment relations. We also present algorithms for probabilistic logic programming under inheritance with overriding, and we analyze its complexity in the propositional case.</p> |
| first_indexed | 2024-03-06T23:56:26Z |
| format | Conference item |
| id | oxford-uuid:74605dde-7f2c-44db-bb7b-9bd50295689e |
| institution | University of Oxford |
| last_indexed | 2024-03-06T23:56:26Z |
| publishDate | 2001 |
| publisher | Morgan Kaufmann |
| record_format | dspace |
| spelling | oxford-uuid:74605dde-7f2c-44db-bb7b-9bd50295689e2022-03-26T20:02:18ZProbabilistic Logic Programming under Inheritance with OverridingConference itemhttp://purl.org/coar/resource_type/c_5794uuid:74605dde-7f2c-44db-bb7b-9bd50295689eDepartment of Computer ScienceMorgan Kaufmann2001Lukasiewicz, T<p>We present probabilistic logic programming under inheritance with overriding. This approach is based on new notions of entailment for reasoning with conditional constraints, which are obtained from the classical notion of logical entailment by adding inheritance with overriding. This is done by using recent approaches to probabilistic default reasoning with conditional constraints. We analyze the semantic properties of the new entailment relations. We also present algorithms for probabilistic logic programming under inheritance with overriding, and we analyze its complexity in the propositional case.</p> |
| spellingShingle | Lukasiewicz, T Probabilistic Logic Programming under Inheritance with Overriding |
| title | Probabilistic Logic Programming under Inheritance with Overriding |
| title_full | Probabilistic Logic Programming under Inheritance with Overriding |
| title_fullStr | Probabilistic Logic Programming under Inheritance with Overriding |
| title_full_unstemmed | Probabilistic Logic Programming under Inheritance with Overriding |
| title_short | Probabilistic Logic Programming under Inheritance with Overriding |
| title_sort | probabilistic logic programming under inheritance with overriding |
| work_keys_str_mv | AT lukasiewiczt probabilisticlogicprogrammingunderinheritancewithoverriding |