Statistical relational artificial intelligence : logic, probability, and computation

Bibliographische Detailangaben

Titel
Statistical relational artificial intelligence logic, probability, and computation
verantwortlich
De Raedt, Luc (VerfasserIn); Poole, David L. (VerfasserIn); Kersting, Kristian (VerfasserIn); Natarajan, Sriraam (VerfasserIn)
Schriftenreihe
Synthesis lectures on artificial intelligence and machine learning ; #32
veröffentlicht
[San Rafael]: Morgan & Claypool, [2016]
© 2016

Erscheinungsjahr
2016
Teil von
Synthesis lectures on artificial intelligence and machine learning ; #32
Andere Ausgaben
Statistical relational artificial intelligence: logic, probability, and computation
Medientyp
E-Book
Datenquelle
K10plus Verbundkatalog
Tags
Tag hinzufügen

Zugang

Weitere Informationen sehen Sie, wenn Sie angemeldet sind. Noch keinen Account? Jetzt registrieren.

LEADER 08242cam a22009372 4500
001 183-868208760
003 DE-627
005 20230426135100.0
007 cr uuu---uuuuu
008 160919s2016 xxu|||||o 00| ||eng c
020 |a 1627058427  |c  : electronic bk.  |9 1-62705-842-7 
020 |a 9781627058421  |c  : electronic bk.  |9 978-1-62705-842-1 
035 |a (DE-627)868208760 
035 |a (DE-599)GBV868208760 
035 |a (OCoLC)1015212629 
035 |a (ZBM)1352.68005 
035 |a (ZBM)1352.68005 
035 |a (IEEE)7446017 
035 |a (EBP)063072637 
040 |a DE-627  |b ger  |c DE-627  |e rda 
041 |a eng 
044 |c XD-US 
050 0 |a Q336 
072 7 |a COM 000000  |2 bisacsh 
084 |a ST 300  |q BSZ  |2 rvk  |0 (DE-625)rvk/143650: 
084 |a *68-02  |2 msc 
084 |a 68-01  |2 msc 
084 |a 68Txx  |2 msc 
084 |a 54.72  |2 bkl 
084 |a 31.80  |2 bkl 
100 1 |a De Raedt, Luc  |d 1964-  |e VerfasserIn  |0 (DE-588)123106532  |0 (DE-627)501109072  |0 (DE-576)169930262  |4 aut 
245 1 0 |a Statistical relational artificial intelligence  |b logic, probability, and computation  |c Luc De Raedt (KU Leuven, Belgium), Kristian Kersting (Technical University of Dortmund, Germany), Sriraam Natarajan (Indiana University), David Poole (University of British Columbia) 
264 1 |a [San Rafael]  |b Morgan & Claypool  |c [2016] 
264 4 |c © 2016 
300 |a 1 Online-Ressource (xiv, 175 Seiten)  |b Illustrationen 
336 |a Text  |b txt  |2 rdacontent 
337 |a Computermedien  |b c  |2 rdamedia 
338 |a Online-Ressource  |b cr  |2 rdacarrier 
490 1 |a Synthesis lectures on artificial intelligence and machine learning  |v #32 
500 |a Includes bibliographical references (pages 139-167) and index 
506 |a Abstract freely available; full-text restricted to subscribers or individual document purchasers 
520 |a An intelligent agent interacting with the real world will encounter individual people, courses, test results, drugs prescriptions, chairs, boxes, etc., and needs to reason about properties of these individuals and relations among them as well as cope with uncertainty. Uncertainty has been studied in probability theory and graphical models, and relations have been studied in logic, in particular in the predicate calculus and its extensions. This book examines the foundations of combining logic and probability into what are called relational probabilistic models. It introduces representations, inference, and learning techniques for probability, logic, and their combinations. The book focuses on two representations in detail: Markov logic networks, a relational extension of undirected graphical models and weighted first-order predicate calculus formula, and Problog, a probabilistic extension of logic programs that can also be viewed as a Turing-complete relational extension of Bayesian networks 
520 |a 1. Motivation -- 1.1 Uncertainty in complex worlds -- 1.2 Challenges of understanding StarAI -- 1.3 The benefits of mastering StarAI -- 1.4 Applications of StarAI -- 1.5 Brief historical overview -- 
520 |a 10. Conclusions -- Bibliography -- Authors' biographies -- Index 
520 |a 3. Relational probabilistic representations -- 3.1 A general view: parameterized probabilistic models -- 3.2 Two example representations: Markov logic and ProbLog -- 3.2.1 Undirected relational model: Markov logic -- 3.2.2 Directed relational models: ProbLog -- 
520 |a 4. Representational issues -- 4.1 Knowledge representation formalisms -- 4.2 Objectives for representation language -- 4.3 Directed vs. undirected models -- 4.4 First-order logic vs. logic programs -- 4.5 Factors and formulae -- 4.6 Parameterizing atoms -- 4.7 Aggregators and combining rules -- 4.8 Open universe models -- 4.8.1 Identity uncertainty -- 4.8.2 Existence uncertainty -- 4.8.3 Ontologies -- 
520 |a 6. Inference in relational probabilistic models -- 6.1 Grounded inference for relational probabilistic models -- 6.1.1 Weighted model counting -- 6.1.2 WMC for Markov logic -- 6.1.3 WMC for ProbLog -- 6.1.4 Knowledge compilation -- 6.2 Lifted inference: exploiting symmetries -- 6.2.1 Exact lifted inference -- 6.3 (Lifted) approximate inference -- 
520 |a 8. Learning probabilistic relational models -- 8.1 Learning as inference -- 8.2 The learning problem -- 8.2.1 The data used -- 8.3 Parameter learning of relational models -- 8.3.1 Fully observable data -- 8.3.2 Partially observed data -- 8.3.3 Learning with latent variables -- 8.4 Structure learning of probabilistic relational models -- 8.4.1 A vanilla structure learning approach -- 8.4.2 Probabilistic relational models -- 8.4.3 Boosting -- 8.5 Bayesian learning -- Part IV. Beyond probabilities -- 
520 |a 9. Beyond basic probabilistic inference and learning -- 9.1 Lifted satisfiability -- 9.2 Acting in noisy relational worlds -- 9.3 Relational optimization -- 
520 |a Part III. Learning -- 7. Learning probabilistic and logical models -- 7.1 Learning probabilistic models -- 7.1.1 Fully observed data and known structure -- 7.1.2 Partially observed data with known structure -- 7.1.3 Unknown structure and parameters -- 7.2 Logical and relational learning -- 7.2.1 Two learning settings -- 7.2.2 The search space -- 7.2.3 Two algorithms: clausal discovery and FOIL -- 7.2.4 From propositional to first-order logic -- 7.2.5 An ILP example -- 
520 |a Part II. Inference -- 5. Inference in propositional models -- 5.1 Probabilistic inference -- 5.1.1 Variable elimination -- 5.1.2 Recursive conditioning -- 5.1.3 Belief propagation -- 5.2 Logical inference -- 5.2.1 Propositional logic, satisfiability, and weighted model counting -- 5.2.2 Semiring inference -- 5.2.3 The least Herbrand model -- 5.2.4 Grounding -- 5.2.5 Proving -- 
520 |a Part I. Representations -- 2. Statistical and relational AI representations -- 2.1 Probabilistic graphical models -- 2.1.1 Bayesian networks -- 2.1.2 Markov networks and factor graphs -- 2.2 First-order logic and logic programming -- 
530 |a Also available in print. 
533 |n Also available in print 
538 |a Mode of access: World Wide Web. 
538 |a System requirements: Adobe Acrobat Reader. 
650 0 |a Artificial intelligence  |x Computer simulation 
650 0 |a Logic  |x Computer simulation 
689 0 0 |D s  |0 (DE-588)4033447-8  |0 (DE-627)106257188  |0 (DE-576)209002050  |a Künstliche Intelligenz  |2 gnd 
689 0 1 |D s  |0 (DE-588)4193754-5  |0 (DE-627)105224782  |0 (DE-576)21008944X  |a Maschinelles Lernen  |2 gnd 
689 0 |5 (DE-627) 
700 1 |a Poole, David L.  |d 1958-  |e VerfasserIn  |0 (DE-588)141818018  |0 (DE-627)631818200  |0 (DE-576)326116028  |4 aut 
700 1 |a Kersting, Kristian  |d 1973-  |e VerfasserIn  |0 (DE-588)173912001  |0 (DE-627)698812786  |0 (DE-576)134749928  |4 aut 
700 1 |a Natarajan, Sriraam  |e VerfasserIn  |0 (DE-588)1105668657  |0 (DE-627)862738652  |0 (DE-576)473665638  |4 aut 
776 1 |z 9781627058414 
776 0 8 |i Print version  |z 9781627058414 
830 0 |a Synthesis lectures on artificial intelligence and machine learning  |v #32  |9 32  |w (DE-627)730722864  |w (DE-576)392696819  |w (DE-600)2693520-X  |7 ns 
856 4 0 |u http://ieeexplore.ieee.org/servlet/opac?bknumber=7446017  |x Verlag  |y Abstract with links to resource  |3 Volltext 
856 4 2 |u https://zbmath.org/?q=an:1352.68005  |m B:ZBM  |v 2021-04-12  |x Verlag  |y Zentralblatt MATH  |3 Inhaltstext 
912 |a ZDB-105-MCIA 
912 |a ZDB-105-MCS 
912 |a SSG-OLC-pha 
912 |a SSG-OPC-mat 
924 1 |a 3935339941  |b DE-18  |9 18  |c GBV  |d d  |k http://ieeexplore.ieee.org/servlet/opac?bknumber=7446017  |k http://emedien.sub.uni-hamburg.de/han/ieee/ieeexplore.ieee.org/servlet/opac?bknumber=7446017 
924 1 |a 1661230172  |b DE-89  |9 89  |c GBV  |d d  |k http://ieeexplore.ieee.org/servlet/opac?bknumber=7446017 
924 1 |a 4118493810  |b DE-517  |9 517  |c GBV  |d d  |k http://ieeexplore.ieee.org/servlet/opac?bknumber=7446017 
936 r v |a ST 300  |b Allgemeines  |k Informatik  |k Monografien  |k Künstliche Intelligenz  |k Allgemeines  |0 (DE-627)1271119005  |0 (DE-625)rvk/143650:  |0 (DE-576)201119005 
936 b k |a 54.72  |j Künstliche Intelligenz  |0 (DE-627)10641240X 
936 b k |a 31.80  |j Angewandte Mathematik  |0 (DE-627)106419005 
951 |a BO 
980 |a 868208760  |b 183  |c sid-183-col-kxpbbi 
openURL url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fkatalog.fid-bbi.de%3Agenerator&rft.title=Statistical+relational+artificial+intelligence%3A+logic%2C+probability%2C+and+computation&rft.date=%5B2016%5D&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Statistical+relational+artificial+intelligence%3A+logic%2C+probability%2C+and+computation&rft.series=Synthesis+lectures+on+artificial+intelligence+and+machine+learning%2C+%2332&rft.au=De+Raedt%2C+Luc&rft.pub=Morgan+%26+Claypool&rft.edition=&rft.isbn=1627058427
SOLR
_version_ 1795392478190239744
access_state_str Restricted Access
author De Raedt, Luc, Poole, David L., Kersting, Kristian, Natarajan, Sriraam
author_facet De Raedt, Luc, Poole, David L., Kersting, Kristian, Natarajan, Sriraam
author_role aut, aut, aut, aut
author_sort De Raedt, Luc 1964-
author_variant r l d rl rld, d l p dl dlp, k k kk, s n sn
building Library A
callnumber-first Q - Science
callnumber-label Q336
callnumber-raw Q336
callnumber-search Q336
callnumber-sort Q 3336
callnumber-subject Q - General Science
collection ZDB-105-MCIA, ZDB-105-MCS, SSG-OLC-pha, SSG-OPC-mat, sid-183-col-kxpbbi
contents An intelligent agent interacting with the real world will encounter individual people, courses, test results, drugs prescriptions, chairs, boxes, etc., and needs to reason about properties of these individuals and relations among them as well as cope with uncertainty. Uncertainty has been studied in probability theory and graphical models, and relations have been studied in logic, in particular in the predicate calculus and its extensions. This book examines the foundations of combining logic and probability into what are called relational probabilistic models. It introduces representations, inference, and learning techniques for probability, logic, and their combinations. The book focuses on two representations in detail: Markov logic networks, a relational extension of undirected graphical models and weighted first-order predicate calculus formula, and Problog, a probabilistic extension of logic programs that can also be viewed as a Turing-complete relational extension of Bayesian networks, 1. Motivation -- 1.1 Uncertainty in complex worlds -- 1.2 Challenges of understanding StarAI -- 1.3 The benefits of mastering StarAI -- 1.4 Applications of StarAI -- 1.5 Brief historical overview --, 10. Conclusions -- Bibliography -- Authors' biographies -- Index, 3. Relational probabilistic representations -- 3.1 A general view: parameterized probabilistic models -- 3.2 Two example representations: Markov logic and ProbLog -- 3.2.1 Undirected relational model: Markov logic -- 3.2.2 Directed relational models: ProbLog --, 4. Representational issues -- 4.1 Knowledge representation formalisms -- 4.2 Objectives for representation language -- 4.3 Directed vs. undirected models -- 4.4 First-order logic vs. logic programs -- 4.5 Factors and formulae -- 4.6 Parameterizing atoms -- 4.7 Aggregators and combining rules -- 4.8 Open universe models -- 4.8.1 Identity uncertainty -- 4.8.2 Existence uncertainty -- 4.8.3 Ontologies --, 6. Inference in relational probabilistic models -- 6.1 Grounded inference for relational probabilistic models -- 6.1.1 Weighted model counting -- 6.1.2 WMC for Markov logic -- 6.1.3 WMC for ProbLog -- 6.1.4 Knowledge compilation -- 6.2 Lifted inference: exploiting symmetries -- 6.2.1 Exact lifted inference -- 6.3 (Lifted) approximate inference --, 8. Learning probabilistic relational models -- 8.1 Learning as inference -- 8.2 The learning problem -- 8.2.1 The data used -- 8.3 Parameter learning of relational models -- 8.3.1 Fully observable data -- 8.3.2 Partially observed data -- 8.3.3 Learning with latent variables -- 8.4 Structure learning of probabilistic relational models -- 8.4.1 A vanilla structure learning approach -- 8.4.2 Probabilistic relational models -- 8.4.3 Boosting -- 8.5 Bayesian learning -- Part IV. Beyond probabilities --, 9. Beyond basic probabilistic inference and learning -- 9.1 Lifted satisfiability -- 9.2 Acting in noisy relational worlds -- 9.3 Relational optimization --, Part III. Learning -- 7. Learning probabilistic and logical models -- 7.1 Learning probabilistic models -- 7.1.1 Fully observed data and known structure -- 7.1.2 Partially observed data with known structure -- 7.1.3 Unknown structure and parameters -- 7.2 Logical and relational learning -- 7.2.1 Two learning settings -- 7.2.2 The search space -- 7.2.3 Two algorithms: clausal discovery and FOIL -- 7.2.4 From propositional to first-order logic -- 7.2.5 An ILP example --, Part II. Inference -- 5. Inference in propositional models -- 5.1 Probabilistic inference -- 5.1.1 Variable elimination -- 5.1.2 Recursive conditioning -- 5.1.3 Belief propagation -- 5.2 Logical inference -- 5.2.1 Propositional logic, satisfiability, and weighted model counting -- 5.2.2 Semiring inference -- 5.2.3 The least Herbrand model -- 5.2.4 Grounding -- 5.2.5 Proving --, Part I. Representations -- 2. Statistical and relational AI representations -- 2.1 Probabilistic graphical models -- 2.1.1 Bayesian networks -- 2.1.2 Markov networks and factor graphs -- 2.2 First-order logic and logic programming --
ctrlnum (DE-627)868208760, (DE-599)GBV868208760, (OCoLC)1015212629, (ZBM)1352.68005, (IEEE)7446017, (EBP)063072637
facet_912a ZDB-105-MCIA, ZDB-105-MCS, SSG-OLC-pha, SSG-OPC-mat
facet_avail Online
facet_local_del330 Künstliche Intelligenz, Maschinelles Lernen
finc_class_facet Informatik, Allgemeine Naturwissenschaft
fincclass_txtF_mv science-computerscience, science-mathematics
footnote Includes bibliographical references (pages 139-167) and index
format eBook
format_access_txtF_mv Book, E-Book
format_de105 Ebook
format_de14 Book, E-Book
format_de15 Book, E-Book
format_del152 Buch
format_detail_txtF_mv text-online-monograph-independent
format_dezi4 e-Book
format_finc Book, E-Book
format_legacy ElectronicBook
format_legacy_nrw Book, E-Book
format_nrw Book, E-Book
format_strict_txtF_mv E-Book
geogr_code not assigned
geogr_code_person not assigned
hierarchy_parent_id 183-730722864
hierarchy_parent_title Synthesis lectures on artificial intelligence and machine learning
hierarchy_sequence 32
hierarchy_top_id 183-730722864
hierarchy_top_title Synthesis lectures on artificial intelligence and machine learning
id 183-868208760
illustrated Not Illustrated
imprint [San Rafael], Morgan & Claypool, [2016]
imprint_str_mv [San Rafael]: Morgan & Claypool, [2016]
institution FID-BBI-DE-23
is_hierarchy_id 183-868208760
is_hierarchy_title Statistical relational artificial intelligence: logic, probability, and computation
isbn 1627058427, 9781627058421
isbn_isn_mv 9781627058414
language English
last_indexed 2024-04-04T08:34:53.171Z
marc_error [geogr_code]Unable to make public java.lang.AbstractStringBuilder java.lang.AbstractStringBuilder.append(java.lang.String) accessible: module java.base does not "opens java.lang" to unnamed module @289001a2
match_str deraedt2016statisticalrelationalartificialintelligencelogicprobabilityandcomputation
mega_collection K10plus Verbundkatalog
multipart_link 392696819
multipart_part (392696819)#32
oclc_num 1015212629
physical 1 Online-Ressource (xiv, 175 Seiten); Illustrationen
publishDate [2016], , © 2016
publishDateSort 2016
publishPlace [San Rafael],
publisher Morgan & Claypool,
record_format marcfinc
record_id 868208760
recordtype marcfinc
rvk_facet ST 300
rvk_label Informatik, Monografien, Künstliche Intelligenz, Allgemeines
rvk_path ST, SQ - SU, ST 300, ST 300 - ST 308
rvk_path_str_mv ST, SQ - SU, ST 300, ST 300 - ST 308
series Synthesis lectures on artificial intelligence and machine learning, #32
series2 Synthesis lectures on artificial intelligence and machine learning ; #32
source_id 183
spelling De Raedt, Luc 1964- VerfasserIn (DE-588)123106532 (DE-627)501109072 (DE-576)169930262 aut, Statistical relational artificial intelligence logic, probability, and computation Luc De Raedt (KU Leuven, Belgium), Kristian Kersting (Technical University of Dortmund, Germany), Sriraam Natarajan (Indiana University), David Poole (University of British Columbia), [San Rafael] Morgan & Claypool [2016], © 2016, 1 Online-Ressource (xiv, 175 Seiten) Illustrationen, Text txt rdacontent, Computermedien c rdamedia, Online-Ressource cr rdacarrier, Synthesis lectures on artificial intelligence and machine learning #32, Includes bibliographical references (pages 139-167) and index, Abstract freely available; full-text restricted to subscribers or individual document purchasers, An intelligent agent interacting with the real world will encounter individual people, courses, test results, drugs prescriptions, chairs, boxes, etc., and needs to reason about properties of these individuals and relations among them as well as cope with uncertainty. Uncertainty has been studied in probability theory and graphical models, and relations have been studied in logic, in particular in the predicate calculus and its extensions. This book examines the foundations of combining logic and probability into what are called relational probabilistic models. It introduces representations, inference, and learning techniques for probability, logic, and their combinations. The book focuses on two representations in detail: Markov logic networks, a relational extension of undirected graphical models and weighted first-order predicate calculus formula, and Problog, a probabilistic extension of logic programs that can also be viewed as a Turing-complete relational extension of Bayesian networks, 1. Motivation -- 1.1 Uncertainty in complex worlds -- 1.2 Challenges of understanding StarAI -- 1.3 The benefits of mastering StarAI -- 1.4 Applications of StarAI -- 1.5 Brief historical overview --, 10. Conclusions -- Bibliography -- Authors' biographies -- Index, 3. Relational probabilistic representations -- 3.1 A general view: parameterized probabilistic models -- 3.2 Two example representations: Markov logic and ProbLog -- 3.2.1 Undirected relational model: Markov logic -- 3.2.2 Directed relational models: ProbLog --, 4. Representational issues -- 4.1 Knowledge representation formalisms -- 4.2 Objectives for representation language -- 4.3 Directed vs. undirected models -- 4.4 First-order logic vs. logic programs -- 4.5 Factors and formulae -- 4.6 Parameterizing atoms -- 4.7 Aggregators and combining rules -- 4.8 Open universe models -- 4.8.1 Identity uncertainty -- 4.8.2 Existence uncertainty -- 4.8.3 Ontologies --, 6. Inference in relational probabilistic models -- 6.1 Grounded inference for relational probabilistic models -- 6.1.1 Weighted model counting -- 6.1.2 WMC for Markov logic -- 6.1.3 WMC for ProbLog -- 6.1.4 Knowledge compilation -- 6.2 Lifted inference: exploiting symmetries -- 6.2.1 Exact lifted inference -- 6.3 (Lifted) approximate inference --, 8. Learning probabilistic relational models -- 8.1 Learning as inference -- 8.2 The learning problem -- 8.2.1 The data used -- 8.3 Parameter learning of relational models -- 8.3.1 Fully observable data -- 8.3.2 Partially observed data -- 8.3.3 Learning with latent variables -- 8.4 Structure learning of probabilistic relational models -- 8.4.1 A vanilla structure learning approach -- 8.4.2 Probabilistic relational models -- 8.4.3 Boosting -- 8.5 Bayesian learning -- Part IV. Beyond probabilities --, 9. Beyond basic probabilistic inference and learning -- 9.1 Lifted satisfiability -- 9.2 Acting in noisy relational worlds -- 9.3 Relational optimization --, Part III. Learning -- 7. Learning probabilistic and logical models -- 7.1 Learning probabilistic models -- 7.1.1 Fully observed data and known structure -- 7.1.2 Partially observed data with known structure -- 7.1.3 Unknown structure and parameters -- 7.2 Logical and relational learning -- 7.2.1 Two learning settings -- 7.2.2 The search space -- 7.2.3 Two algorithms: clausal discovery and FOIL -- 7.2.4 From propositional to first-order logic -- 7.2.5 An ILP example --, Part II. Inference -- 5. Inference in propositional models -- 5.1 Probabilistic inference -- 5.1.1 Variable elimination -- 5.1.2 Recursive conditioning -- 5.1.3 Belief propagation -- 5.2 Logical inference -- 5.2.1 Propositional logic, satisfiability, and weighted model counting -- 5.2.2 Semiring inference -- 5.2.3 The least Herbrand model -- 5.2.4 Grounding -- 5.2.5 Proving --, Part I. Representations -- 2. Statistical and relational AI representations -- 2.1 Probabilistic graphical models -- 2.1.1 Bayesian networks -- 2.1.2 Markov networks and factor graphs -- 2.2 First-order logic and logic programming --, Also available in print., Also available in print, Mode of access: World Wide Web., System requirements: Adobe Acrobat Reader., Artificial intelligence Computer simulation, Logic Computer simulation, s (DE-588)4033447-8 (DE-627)106257188 (DE-576)209002050 Künstliche Intelligenz gnd, s (DE-588)4193754-5 (DE-627)105224782 (DE-576)21008944X Maschinelles Lernen gnd, (DE-627), Poole, David L. 1958- VerfasserIn (DE-588)141818018 (DE-627)631818200 (DE-576)326116028 aut, Kersting, Kristian 1973- VerfasserIn (DE-588)173912001 (DE-627)698812786 (DE-576)134749928 aut, Natarajan, Sriraam VerfasserIn (DE-588)1105668657 (DE-627)862738652 (DE-576)473665638 aut, 9781627058414, Print version 9781627058414, Synthesis lectures on artificial intelligence and machine learning #32 32 (DE-627)730722864 (DE-576)392696819 (DE-600)2693520-X ns, http://ieeexplore.ieee.org/servlet/opac?bknumber=7446017 Verlag Abstract with links to resource Volltext, https://zbmath.org/?q=an:1352.68005 B:ZBM 2021-04-12 Verlag Zentralblatt MATH Inhaltstext
spellingShingle De Raedt, Luc, Poole, David L., Kersting, Kristian, Natarajan, Sriraam, Statistical relational artificial intelligence: logic, probability, and computation, Synthesis lectures on artificial intelligence and machine learning, #32, An intelligent agent interacting with the real world will encounter individual people, courses, test results, drugs prescriptions, chairs, boxes, etc., and needs to reason about properties of these individuals and relations among them as well as cope with uncertainty. Uncertainty has been studied in probability theory and graphical models, and relations have been studied in logic, in particular in the predicate calculus and its extensions. This book examines the foundations of combining logic and probability into what are called relational probabilistic models. It introduces representations, inference, and learning techniques for probability, logic, and their combinations. The book focuses on two representations in detail: Markov logic networks, a relational extension of undirected graphical models and weighted first-order predicate calculus formula, and Problog, a probabilistic extension of logic programs that can also be viewed as a Turing-complete relational extension of Bayesian networks, 1. Motivation -- 1.1 Uncertainty in complex worlds -- 1.2 Challenges of understanding StarAI -- 1.3 The benefits of mastering StarAI -- 1.4 Applications of StarAI -- 1.5 Brief historical overview --, 10. Conclusions -- Bibliography -- Authors' biographies -- Index, 3. Relational probabilistic representations -- 3.1 A general view: parameterized probabilistic models -- 3.2 Two example representations: Markov logic and ProbLog -- 3.2.1 Undirected relational model: Markov logic -- 3.2.2 Directed relational models: ProbLog --, 4. Representational issues -- 4.1 Knowledge representation formalisms -- 4.2 Objectives for representation language -- 4.3 Directed vs. undirected models -- 4.4 First-order logic vs. logic programs -- 4.5 Factors and formulae -- 4.6 Parameterizing atoms -- 4.7 Aggregators and combining rules -- 4.8 Open universe models -- 4.8.1 Identity uncertainty -- 4.8.2 Existence uncertainty -- 4.8.3 Ontologies --, 6. Inference in relational probabilistic models -- 6.1 Grounded inference for relational probabilistic models -- 6.1.1 Weighted model counting -- 6.1.2 WMC for Markov logic -- 6.1.3 WMC for ProbLog -- 6.1.4 Knowledge compilation -- 6.2 Lifted inference: exploiting symmetries -- 6.2.1 Exact lifted inference -- 6.3 (Lifted) approximate inference --, 8. Learning probabilistic relational models -- 8.1 Learning as inference -- 8.2 The learning problem -- 8.2.1 The data used -- 8.3 Parameter learning of relational models -- 8.3.1 Fully observable data -- 8.3.2 Partially observed data -- 8.3.3 Learning with latent variables -- 8.4 Structure learning of probabilistic relational models -- 8.4.1 A vanilla structure learning approach -- 8.4.2 Probabilistic relational models -- 8.4.3 Boosting -- 8.5 Bayesian learning -- Part IV. Beyond probabilities --, 9. Beyond basic probabilistic inference and learning -- 9.1 Lifted satisfiability -- 9.2 Acting in noisy relational worlds -- 9.3 Relational optimization --, Part III. Learning -- 7. Learning probabilistic and logical models -- 7.1 Learning probabilistic models -- 7.1.1 Fully observed data and known structure -- 7.1.2 Partially observed data with known structure -- 7.1.3 Unknown structure and parameters -- 7.2 Logical and relational learning -- 7.2.1 Two learning settings -- 7.2.2 The search space -- 7.2.3 Two algorithms: clausal discovery and FOIL -- 7.2.4 From propositional to first-order logic -- 7.2.5 An ILP example --, Part II. Inference -- 5. Inference in propositional models -- 5.1 Probabilistic inference -- 5.1.1 Variable elimination -- 5.1.2 Recursive conditioning -- 5.1.3 Belief propagation -- 5.2 Logical inference -- 5.2.1 Propositional logic, satisfiability, and weighted model counting -- 5.2.2 Semiring inference -- 5.2.3 The least Herbrand model -- 5.2.4 Grounding -- 5.2.5 Proving --, Part I. Representations -- 2. Statistical and relational AI representations -- 2.1 Probabilistic graphical models -- 2.1.1 Bayesian networks -- 2.1.2 Markov networks and factor graphs -- 2.2 First-order logic and logic programming --, Artificial intelligence Computer simulation, Logic Computer simulation, Künstliche Intelligenz, Maschinelles Lernen
title Statistical relational artificial intelligence: logic, probability, and computation
title_auth Statistical relational artificial intelligence logic, probability, and computation
title_full Statistical relational artificial intelligence logic, probability, and computation Luc De Raedt (KU Leuven, Belgium), Kristian Kersting (Technical University of Dortmund, Germany), Sriraam Natarajan (Indiana University), David Poole (University of British Columbia)
title_fullStr Statistical relational artificial intelligence logic, probability, and computation Luc De Raedt (KU Leuven, Belgium), Kristian Kersting (Technical University of Dortmund, Germany), Sriraam Natarajan (Indiana University), David Poole (University of British Columbia)
title_full_unstemmed Statistical relational artificial intelligence logic, probability, and computation Luc De Raedt (KU Leuven, Belgium), Kristian Kersting (Technical University of Dortmund, Germany), Sriraam Natarajan (Indiana University), David Poole (University of British Columbia)
title_in_hierarchy #32. Statistical relational artificial intelligence: logic, probability, and computation ([2016])
title_short Statistical relational artificial intelligence
title_sort statistical relational artificial intelligence logic, probability, and computation
title_sub logic, probability, and computation
title_unstemmed Statistical relational artificial intelligence: logic, probability, and computation
topic Artificial intelligence Computer simulation, Logic Computer simulation, Künstliche Intelligenz, Maschinelles Lernen
topic_facet Artificial intelligence, Logic, Computer simulation, Künstliche Intelligenz, Maschinelles Lernen
url http://ieeexplore.ieee.org/servlet/opac?bknumber=7446017, https://zbmath.org/?q=an:1352.68005
work_keys_str_mv AT deraedtluc statisticalrelationalartificialintelligencelogicprobabilityandcomputation, AT pooledavidl statisticalrelationalartificialintelligencelogicprobabilityandcomputation, AT kerstingkristian statisticalrelationalartificialintelligencelogicprobabilityandcomputation, AT natarajansriraam statisticalrelationalartificialintelligencelogicprobabilityandcomputation