Probabilistic reasoning with incomplete and inconsistent beliefs:
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis Book |
| Language: | English |
| Published: |
Heidelberg
AKA [u.a.]
2012
|
| Series: | Dissertationen zur künstlichen Intelligenz
336 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XIII, 336 S. graph. Darst. |
| ISBN: | 9783898383363 9781607509608 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV039786167 | ||
| 003 | DE-604 | ||
| 005 | 20140602 | ||
| 007 | t | ||
| 008 | 120104s2012 d||| m||| 00||| eng d | ||
| 020 | |a 9783898383363 |c (AKA) kart. : EUR 60.00 (DE), EUR 61.70 (AT) |9 978-3-89838-336-3 | ||
| 020 | |a 9781607509608 |c (IOS Press) kart. |9 978-1-60750-960-8 | ||
| 035 | |a (OCoLC)775074961 | ||
| 035 | |a (DE-599)BVBBV039786167 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-473 |a DE-355 | ||
| 084 | |a ST 302 |0 (DE-625)143652: |2 rvk | ||
| 084 | |a DAT 703d |2 stub | ||
| 100 | 1 | |a Thimm, Matthias |e Verfasser |0 (DE-588)139224459 |4 aut | |
| 245 | 1 | 0 | |a Probabilistic reasoning with incomplete and inconsistent beliefs |c Matthias Thimm |
| 264 | 1 | |a Heidelberg |b AKA [u.a.] |c 2012 | |
| 300 | |a XIII, 336 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Dissertationen zur künstlichen Intelligenz |v 336 | |
| 502 | |a Zugl.: Koblenz, Univ., Diss., 2011 | ||
| 650 | 0 | 7 | |a Inkonsistenz |0 (DE-588)4226191-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Probabilistisches Schließen |0 (DE-588)4674411-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Unvollkommene Information |0 (DE-588)4140474-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Probabilistisches Schließen |0 (DE-588)4674411-3 |D s |
| 689 | 0 | 1 | |a Inkonsistenz |0 (DE-588)4226191-0 |D s |
| 689 | 0 | 2 | |a Unvollkommene Information |0 (DE-588)4140474-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Dissertationen zur künstlichen Intelligenz |v 336 |w (DE-604)BV005345280 |9 336 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024646916&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-024646916 | ||
Record in the Search Index
| _version_ | 1804148708501094400 |
|---|---|
| adam_text | IMAGE 1
CONTENTS
CHAPTER 1. INTRODUCTION 1.1 CONTEXT AND MOTIVATION 1.2 RESEARCH
QUESTIONS AND CONTRIBUTIONS 1.2.1
1.2.2 1.2.3
1.2.4
1.2.5
MEASURING INCONSISTENCY IN PROBABILISTIC CONDI- TIONAL LOGIC SOLVING
INCONSISTENCIES NOVEL SEMANTICAL APPROACHES TO RELATIONAL PROB-
ABILISTIC CONDITIONAL LOGIC INFERENCE IN RELATIONAL PROBABILISTIC
CONDITIONAL LOGIC LIFTED INFERENCE IN RELATIONAL PROBABILISTIC CON-
DITIONAL LOGIC
1 1 4
6 6
6
6
7
1.3 OUTLINE 7
CHAPTER 2. LOGICAL BACKGROUND AND PROBABILISTIC REASONING 9 2.1
CLASSICAL LOGIC 9
2.1.1 PREPOSITIONAL LOGIC 10
2.1.2 FIRST-ORDER LOGIC 13
2.1.3 BEYOND CLASSICAL LOGICS 20
2.2 PROBABILITY THEORY AND PROBABILISTIC NETWORKS 21 2.2.1 FOUNDATIONS
OF PROBABILITY THEORY 21
2.2.2 BAYESIAN NETWORKS 25
2.2.3 MARKOV NETS 27
2.3 PROBABILISTIC CONDITIONAL LOGIC AND MAXIMUM ENTROPY 29 2.4
RELATIONAL PROBABILISTIC REASONING 36
2.4.1 BAYESIAN LOGIC PROGRAMS 38
2.4.2 MARKOV LOGIC NETWORKS 43
2.5 SUMMARY 47
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1017777195
DIGITALISIERT DURCH
IMAGE 2
XUE CONTENTS
CHAPTER 3. MEASURING INCONSISTENCY 49
3.1 INCONSISTENCIES IN PROBABILISTIC CONDITIONAL LOGIC 50 3.2 DESIRABLE
PROPERTIES FOR AN INCONSISTENCY MEASURE 53 3.3 TRADITIONAL APPROACHES
FOR MEASURING INCONSISTENCY 60 3.4 MEASURING INCONSISTENCY BY DISTANCE
MINIMIZATION 69
3.4.1 THE GENERAL APPROACH 69
3.4.2 APPROXIMATING DISTANCE MINIMIZATION 78 3.4.3 EXTENSIONS 84
3.5 RELATED WORK 90
3.5.1 ^-CONSISTENCY 91
3.5.2 AN INCONSISTENCY MEASURE BASED ON GENERALIZED DIVERGENCE 93
3.5.3 CANDIDACY DEGREES OF BEST CANDIDATES 97
3.6 SUMMARY AND DISCUSSION 100
CHAPTER 4. SOLVING CONFLICTS USING INCONSISTENCY MEASURES 103 4.1
CULPABILITY MEASURES 105
4.1.1 SHAPLEY CULPABILITY MEASURE 108
4.1.2 MEAN DISTANCE CULPABILITY MEASURE 113
4.2 PRINCIPLED CONSISTENCY RESTORING 117
4.3 SOLVING CONFLICTS BY PENALIZING CULPABILITIES 125 4.3.1 UNBIASED
CREEPING 125
4.3.2 PENALIZED CREEPING 128
4.3.3 SMOOTHED PENALIZED CREEPING 133
4.4 SOLVING CONFLICTS BY BALANCED DISTANCE MINIMIZATION 137 4.5 RELATED
WORK 140
4.5.1 CULPABILITIES AND CANDIDACY DEGREES 141
4.5.2 QUALITATIVE MODIFICATION AND GENERALIZED DIVER- GENCE 143
4.5.3 HEUREKA 144
4.6 SUMMARY AND DISCUSSION 145
CHAPTER 5. RELATIONAL PROBABILISTIC CONDITIONAL LOGIC 147 5.1 RELATIONAL
PROBABILISTIC MODELS AND NMR 149
5.2 SYNTAX OF RPCL 152
5.3 SEMANTICS OF RPCL 153
5.3.1 AVERAGING SEMANTICS 155
5.3.2 AGGREGATING SEMANTICS 160
5.4 PROPERTIES AND ANALYSIS 164
5.5 RELATED WORK 167
IMAGE 3
CONTENTS XIII
5.5.1 GROUNDING SEMANTICS FOR RPCL 168
5.5.2 FIRST-ORDER PROBABILISTIC LOGIC 174
5.6 SUMMARY AND DISCUSSION 180
CHAPTER 6. REASONING AT MAXIMUM ENTROPY IN RPCL 183 6.1 PROBABILISTIC
REASONING AND DESIRABLE PROPERTIES 184 6.2 PROBABILISTIC INFERENCE BY
MAXIMIZING ENTROPY 192 6.2.1 AVERAGING INFERENCE 194
6.2.2 AGGREGATING INFERENCE 200
6.3 ANALYSIS AND COMPARISON 204
6.4 RELATED WORK 209
6.4.1 GROUNDING SEMANTICS AND MAXIMUM ENTROPY 209 6.4.2 FIRST-ORDER
PROBABILISTIC LOGIC AND RANDOM WORLDS 213 6.4.3 STATISTICAL RELATIONAL
LEARNING 218
6.5 SUMMARY AND DISCUSSION 220
CHAPTER 7. LIFTED INFERENCE IN RPCL 7.1 LIFTED INFERENCE 7.1.1 CONDENSED
PROBABILITY FUNCTIONS 7.1.2 LIFTED INFERENCE AND MAXIMUM ENTROPY 7.2
ANALYSIS 7.3 GENERALIZING LIFTED INFERENCE 7.4 RELATED WORK 7.5 SUMMARY
AND DISCUSSION
CHAPTER 8. SUMMARY AND FINAL REMARKS 8.1 SUMMARY 8.2 FURTHER AND FUTURE
WORK 8.3 CONCLUSION
CHAPTER A. PROOFS OF TECHNICAL RESULTS
CHAPTER B. EXAMPLES-PCL
BIBLIOGRAPHY
NOTATIONS
INDEX
223 224 228 237 241 247 249
252
255 255 257 259
261
293
311
325
333
|
| any_adam_object | 1 |
| author | Thimm, Matthias |
| author_GND | (DE-588)139224459 |
| author_facet | Thimm, Matthias |
| author_role | aut |
| author_sort | Thimm, Matthias |
| author_variant | m t mt |
| building | Verbundindex |
| bvnumber | BV039786167 |
| classification_rvk | ST 302 |
| classification_tum | DAT 703d |
| ctrlnum | (OCoLC)775074961 (DE-599)BVBBV039786167 |
| discipline | Informatik |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01908nam a2200433 cb4500</leader><controlfield tag="001">BV039786167</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140602 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">120104s2012 d||| m||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783898383363</subfield><subfield code="c">(AKA) kart. : EUR 60.00 (DE), EUR 61.70 (AT)</subfield><subfield code="9">978-3-89838-336-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781607509608</subfield><subfield code="c">(IOS Press) kart.</subfield><subfield code="9">978-1-60750-960-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)775074961</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV039786167</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 302</subfield><subfield code="0">(DE-625)143652:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 703d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Thimm, Matthias</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)139224459</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Probabilistic reasoning with incomplete and inconsistent beliefs</subfield><subfield code="c">Matthias Thimm</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Heidelberg</subfield><subfield code="b">AKA [u.a.]</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 336 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Dissertationen zur künstlichen Intelligenz</subfield><subfield code="v">336</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Koblenz, Univ., Diss., 2011</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Inkonsistenz</subfield><subfield code="0">(DE-588)4226191-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Probabilistisches Schließen</subfield><subfield code="0">(DE-588)4674411-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Unvollkommene Information</subfield><subfield code="0">(DE-588)4140474-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Probabilistisches Schließen</subfield><subfield code="0">(DE-588)4674411-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Inkonsistenz</subfield><subfield code="0">(DE-588)4226191-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Unvollkommene Information</subfield><subfield code="0">(DE-588)4140474-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Dissertationen zur künstlichen Intelligenz</subfield><subfield code="v">336</subfield><subfield code="w">(DE-604)BV005345280</subfield><subfield code="9">336</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024646916&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-024646916</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV039786167 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T00:11:26Z |
| institution | BVB |
| isbn | 9783898383363 9781607509608 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024646916 |
| oclc_num | 775074961 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-473 DE-BY-UBG DE-355 DE-BY-UBR |
| owner_facet | DE-91G DE-BY-TUM DE-473 DE-BY-UBG DE-355 DE-BY-UBR |
| physical | XIII, 336 S. graph. Darst. |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | AKA [u.a.] |
| record_format | marc |
| series | Dissertationen zur künstlichen Intelligenz |
| series2 | Dissertationen zur künstlichen Intelligenz |
| spelling | Thimm, Matthias Verfasser (DE-588)139224459 aut Probabilistic reasoning with incomplete and inconsistent beliefs Matthias Thimm Heidelberg AKA [u.a.] 2012 XIII, 336 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Dissertationen zur künstlichen Intelligenz 336 Zugl.: Koblenz, Univ., Diss., 2011 Inkonsistenz (DE-588)4226191-0 gnd rswk-swf Probabilistisches Schließen (DE-588)4674411-3 gnd rswk-swf Unvollkommene Information (DE-588)4140474-9 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Probabilistisches Schließen (DE-588)4674411-3 s Inkonsistenz (DE-588)4226191-0 s Unvollkommene Information (DE-588)4140474-9 s DE-604 Dissertationen zur künstlichen Intelligenz 336 (DE-604)BV005345280 336 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024646916&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Thimm, Matthias Probabilistic reasoning with incomplete and inconsistent beliefs Dissertationen zur künstlichen Intelligenz Inkonsistenz (DE-588)4226191-0 gnd Probabilistisches Schließen (DE-588)4674411-3 gnd Unvollkommene Information (DE-588)4140474-9 gnd |
| subject_GND | (DE-588)4226191-0 (DE-588)4674411-3 (DE-588)4140474-9 (DE-588)4113937-9 |
| title | Probabilistic reasoning with incomplete and inconsistent beliefs |
| title_auth | Probabilistic reasoning with incomplete and inconsistent beliefs |
| title_exact_search | Probabilistic reasoning with incomplete and inconsistent beliefs |
| title_full | Probabilistic reasoning with incomplete and inconsistent beliefs Matthias Thimm |
| title_fullStr | Probabilistic reasoning with incomplete and inconsistent beliefs Matthias Thimm |
| title_full_unstemmed | Probabilistic reasoning with incomplete and inconsistent beliefs Matthias Thimm |
| title_short | Probabilistic reasoning with incomplete and inconsistent beliefs |
| title_sort | probabilistic reasoning with incomplete and inconsistent beliefs |
| topic | Inkonsistenz (DE-588)4226191-0 gnd Probabilistisches Schließen (DE-588)4674411-3 gnd Unvollkommene Information (DE-588)4140474-9 gnd |
| topic_facet | Inkonsistenz Probabilistisches Schließen Unvollkommene Information Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024646916&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV005345280 |
| work_keys_str_mv | AT thimmmatthias probabilisticreasoningwithincompleteandinconsistentbeliefs |