{"type":"ScholarlyArticle","title":"Logic meets Probability: Towards Explainable AI Systems for Uncertain Worlds","authors":[{"name":"Vaishak Belle","slug":"vaishak-belle","given":"Vaishak","family":"Belle","affiliation":"University of Edinburgh United Kingdom"}],"abstract":"Logical AI is concerned with formal languages to represent and reason with qualitative specifications; statistical AI is concerned with learning quantitative specifications from data. To combine the strengths of these two camps, there has been exciting recent progress on unifying logic and probability. We review the many guises for this union, while emphasizing the need for a formal language to represent a system's knowledge. Formal languages allow their internal properties to be robustly scrutinized, can be augmented by adding new knowledge, and are amenable to abstractions, all of which are vital to the design of intelligent systems that are explainable and interpretable.","doi":"10.24963/ijcai.2017/733","url":"https://ijcai.org/proceedings/2017/733","pdf":"https://ijcai.org/proceedings/2017/0733.pdf","markdown":"https://ijcai.org/proceedings/2017/733.md","bibtex":"https://ijcai.org/proceedings/2017/bibtex/733","volume":{"slug":"2017","title":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2017","url":"https://ijcai.org/proceedings/2017/","year":2017,"location":"Melbourne, Australia","dates":"19-25 August 2017","editors":"Carles Sierra","isbn":"978-0-9992411-0-3","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2017"},"section":"Early Career","track":"Early Career","number":733,"pages":{"first":5116,"last":5120},"keywords":["Uncertainty in AI: Relational Inference","Uncertainty in AI: Uncertainty in AI","Knowledge Representation, Reasoning, and Logic: Tractable languages and knowledge compilation","Knowledge Representation, Reasoning, and Logic: Knowledge Representation Languages"],"videos":[],"references":[{"position":1,"raw":"[Bacchus et al., 1999] F. Bacchus, J. Y. Halpern, and H. J. Levesque. Reasoning about noisy sensors and effectors in the situation calculus. Artificial Intelligence, 111(1-2):171 -208, 1999.","title":"Reasoning about noisy sensors and effectors in the situation calculus","authors":"F Bacchus, J Y Halpern, H J Levesque","year":"1999","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Bacchus, 1990] F. Bacchus. Representing and reasoning with probabilistic knowledge. MIT Press, 1990.","title":"Representing and reasoning with probabilistic knowledge","authors":"F Bacchus","year":"1990","venue":null,"doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Belle and Lakemeyer, 2011] V. Belle and G. Lakemeyer. On pro- gression and query evaluation in first-order knowledge bases with function symbols. In Proc. IJCAI, 2011.","title":"On progression and query evaluation in first-order knowledge bases with function symbols","authors":"V Belle, G Lakemeyer","year":"2011","venue":"Proc. IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2011/131"},{"position":4,"raw":"[Belle and Lakemeyer, 2014a] V. Belle and G. Lakemeyer. Multi- agent only knowing in dynamic systems. Journal of Artificial Intelligence Research, 49, 2014.","title":"Multiagent only knowing in dynamic systems","authors":"Belle, Lakemeyer, V Belle, G Lakemeyer","year":"2014","venue":"Journal of Artificial Intelligence Research","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Belle and Lakemeyer, 2014b] V. Belle and G. Lakemeyer. On the progression of knowledge in multiagent systems. In KR, 2014.","title":"On the progression of knowledge in multiagent systems","authors":"Belle, Lakemeyer, V Belle, G Lakemeyer","year":"2014","venue":null,"doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Belle and Lakemeyer, 2015] V. Belle and G. Lakemeyer. Seman- tical considerations on multiagent only knowing. Artif. Intell., 223:1-26, 2015.","title":"Semantical considerations on multiagent only knowing","authors":"V Belle, G Lakemeyer","year":"2015","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Belle and Lakemeyer, 2017] V. Belle and G. Lakemeyer. Reason- ing about probabilities in unbounded first-order dynamical do- mains. In IJCAI, 2017.","title":"Reasoning about probabilities in unbounded first-order dynamical domains","authors":"V Belle, G Lakemeyer","year":"2017","venue":"IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2017/115"},{"position":8,"raw":"[Belle and Levesque, 2013a] V. Belle and H. J. Levesque. Reason- ing about continuous uncertainty in the situation calculus. In Proc. IJCAI, 2013.","title":"Reasoning about continuous uncertainty in the situation calculus","authors":"Belle, Levesque, V Belle, H J Levesque","year":"2013","venue":"Proc. IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2013/115"},{"position":9,"raw":"[Belle and Levesque, 2013b] V. Belle and H. J. Levesque. Reason- ing about probabilities in dynamic systems using goal regression. In Proc. UAI, 2013.","title":"Reasoning about probabilities in dynamic systems using goal regression","authors":"Belle, Levesque, V Belle, H J Levesque","year":"2013","venue":"Proc. UAI","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Belle and Levesque, 2014a] V. Belle and H. J. Levesque. How to progress beliefs in continuous domains. In Proc. KR, 2014.","title":"How to progress beliefs in continuous domains","authors":"Belle, Levesque, V Belle, H J Levesque","year":"2014","venue":"Proc. KR","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Belle and Levesque, 2014b] V. Belle and H. J. Levesque. A logical theory of robot localization. In Proc. AAMAS, 2014.","title":"A logical theory of robot localization","authors":"Belle, Levesque, V Belle, H J Levesque","year":"2014","venue":"Proc. AAMAS","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Belle and Levesque, 2014c] V. Belle and H. J. Levesque. PREGO: An action language for belief-based cognitive robotics in contin- uous domains. In Proc. AAAI, 2014.","title":"PREGO: An action language for belief-based cognitive robotics in continuous domains","authors":"Belle, Levesque, V Belle, H J Levesque","year":"2014","venue":"Proc. AAAI","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Belle and Levesque, 2015a] V. Belle and H. J. Levesque. AL- LEGRO: Belief-based programming in stochastic dynamical do- mains. In IJCAI, 2015.","title":"AL-LEGRO: Belief-based programming in stochastic dynamical domains","authors":"Belle, Levesque, V Belle, H J Levesque","year":"2015","venue":"IJCAI","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Belle and Levesque, 2015b] V. Belle and H. J. Levesque. A logical theory of localization. In Studia Logica. 2015.","title":"A logical theory of localization","authors":"Belle, Levesque, V Belle, H J Levesque","year":"2015","venue":"Studia Logica","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Belle et al., 2015a] V. Belle, G. Van den Broeck, and A. Passerini. Hashing-based approximate probabilistic inference in hybrid do- mains. In UAI, 2015.","title":"Hashing-based approximate probabilistic inference in hybrid domains","authors":"Belle","year":"2015","venue":"UAI","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Belle et al., 2015b] V. Belle, A. Passerini, and G. Van den Broeck. Probabilistic inference in hybrid domains by weighted model in- tegration. In IJCAI, 2015.","title":"Probabilistic inference in hybrid domains by weighted model integration","authors":"Belle","year":"2015","venue":"IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2015/392"},{"position":17,"raw":"[Belle et al., 2016a] V. Belle, G. Lakemeyer, and H. J. Levesque. A first-order logic of probability and only knowing in unbounded domains. In Proc. AAAI, 2016.","title":"A first-order logic of probability and only knowing in unbounded domains","authors":"Belle","year":"2016","venue":"Proc. AAAI","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Belle et al., 2016b] V. Belle, A. Passerini, and G. Van den Broeck. Component caching in hybrid domains with piecewise polyno- mial densities. In AAAI, 2016.","title":"Component caching in hybrid domains with piecewise polynomial densities","authors":"Belle","year":"2016","venue":"AAAI","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Belle, 2017a] V. Belle. Open-universe weighted model counting. In AAAI, 2017.","title":"Open-universe weighted model counting","authors":"V Belle","year":"2017","venue":"AAAI","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Belle, 2017b] V. Belle. Weighted model counting with function symbols. In UAI, 2017.","title":"Weighted model counting with function symbols","authors":"V Belle","year":"2017","venue":"UAI","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Chavira and Darwiche, 2008] M. Chavira and A. Darwiche. On probabilistic inference by weighted model counting. Artif. Intell., 172(6-7):772-799, 2008.","title":"On probabilistic inference by weighted model counting","authors":"M Chavira, A Darwiche","year":"2008","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Davis, 2014] E. Davis. Representations of commonsense knowl- edge. Morgan Kaufmann, 2014.","title":"Representations of commonsense knowledge","authors":"E Davis","year":"2014","venue":null,"doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Dries et al., 2017] A. Dries, A. Kimmig, J. Davis, V. Belle, and L. De Raedt. Solving probability problems in natural language. In IJCAI, 2017.","title":"Solving probability problems in natural language","authors":"A Dries, A Kimmig, J Davis, V Belle, L De Raedt","year":"2017","venue":"IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2017/556"},{"position":24,"raw":"[Ermon et al., 2013] S. Ermon, C. P. Gomes, A. Sabharwal, and B. Selman. Embed and project: Discrete sampling with universal hashing. In NIPS, pages 2085-2093, 2013.","title":"Embed and project: Discrete sampling with universal hashing","authors":"S Ermon, C P Gomes, A Sabharwal, B Selman","year":"2013","venue":"NIPS","doi":null,"url":null,"internal_url":null},{"position":25,"raw":"[Fagin et al., 1995] R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about knowledge. MIT Press, 1995.","title":"Reasoning about knowledge","authors":"R Fagin, J Y Halpern, Y Moses, M Y Vardi","year":"1995","venue":null,"doi":null,"url":null,"internal_url":null},{"position":26,"raw":"[Getoor and Taskar, 2007] L. Getoor and B. Taskar, editors. An in- troduction to statistical relational learning. MIT Press, 2007.","title":"An introduction to statistical relational learning","authors":null,"year":"2007","venue":null,"doi":null,"url":null,"internal_url":null},{"position":27,"raw":"[Gunning, 2016] D. Gunning. Explainable artificial intelligence (xai). Technical report, DARPA/I20, 2016.","title":"Explainable artificial intelligence (xai)","authors":"D Gunning","year":"2016","venue":null,"doi":null,"url":null,"internal_url":null},{"position":28,"raw":"[Hajishirzi and Amir, 2010] H. Hajishirzi and E. Amir. Reasoning about deterministic actions with probabilistic prior and applica- tion to stochastic filtering. In Proc. KR, 2010.","title":"Reasoning about deterministic actions with probabilistic prior and application to stochastic filtering","authors":"H Hajishirzi, E Amir","year":"2010","venue":"Proc. KR","doi":null,"url":null,"internal_url":null},{"position":29,"raw":"[Hariri et al., 2013] B. B. Hariri, D. Calvanese, M. Montali, G. De Giacomo, R. De Masellis, and P. Felli. Description logic knowl- edge and action bases. JAIR, 46:651-686, 2013.","title":"Description logic knowledge and action bases","authors":"B B Hariri, D Calvanese, M Montali, G De Giacomo, R De, P Masellis, Felli","year":"2013","venue":"JAIR","doi":null,"url":null,"internal_url":null},{"position":30,"raw":"[Kaelbling and Lozano-Pérez, 2013] L. P. Kaelbling and T. Lozano-Pérez. Integrated task and motion planning in belief space. I. J. Robotic Res., 32(9-10):1194-1227, 2013.","title":"Integrated task and motion planning in belief space","authors":"Lozano-Pérez ; ] L P Kaelbling, T Kaelbling, Lozano-Pérez","year":"2013","venue":"I. J. Robotic Res","doi":null,"url":null,"internal_url":null},{"position":31,"raw":"[Kelly and Pearce, 2008] R. F. Kelly and A. R. Pearce. Complex epistemic modalities in the situation calculus. In KR, 2008.","title":"Complex epistemic modalities in the situation calculus","authors":"R F Kelly, A R Pearce","year":"2008","venue":null,"doi":null,"url":null,"internal_url":null},{"position":32,"raw":"[Lake et al., 2015] B. M. Lake, R. Salakhutdinov, and J. B. Tenen- baum. Human-level concept learning through probabilistic pro- gram induction. Science, 350(6266):1332-1338, 2015.","title":"Human-level concept learning through probabilistic program induction","authors":"B M Lake, R Salakhutdinov, J B Tenenbaum","year":"2015","venue":"Science","doi":null,"url":null,"internal_url":null},{"position":33,"raw":"[Lin and Reiter, 1997] F. Lin and R. Reiter. How to progress a database. Artificial Intelligence, 92(1-2):131-167, 1997.","title":"How to progress a database","authors":"Lin, Reiter, F Lin, R Reiter","year":"1997","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":34,"raw":"[Liu and Wen, 2011] Y. Liu and X. Wen. On the progression of knowledge in the situation calculus. In IJCAI, 2011.","title":"On the progression of knowledge in the situation calculus","authors":"Y Liu, X Wen","year":"2011","venue":"IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2011/168"},{"position":35,"raw":"[McCarthy and Hayes, 1969] J. McCarthy and P. J. Hayes. Some philosophical problems from the standpoint of artificial intelli- gence. In Machine Intelligence, pages 463-502, 1969.","title":"Some philosophical problems from the standpoint of artificial intelligence","authors":"J Mccarthy, P J Hayes","year":"1969","venue":"Machine Intelligence","doi":null,"url":null,"internal_url":null},{"position":36,"raw":"[McCarthy, 1958] J. McCarthy. Programs with common sense. In Proceedings of the Symposium on the Mechanization of Thought Processes, National Physiology Lab, Teddington, England, 1958.","title":"Programs with common sense","authors":"J Mccarthy","year":"1958","venue":"Proceedings of the Symposium on the Mechanization of Thought Processes","doi":null,"url":null,"internal_url":null},{"position":37,"raw":"[McIlraith and Son, 2002] S. A. McIlraith and T. C. Son. Adapting Golog for composition of semantic web services. In KR, pages 482-496, 2002.","title":"Adapting Golog for composition of semantic web services","authors":"S A Mcilraith, T C Son","year":"2002","venue":null,"doi":null,"url":null,"internal_url":null},{"position":38,"raw":"[Milch et al., 2005] B. Milch, B. Marthi, S. J. Russell, D. Sontag, D. L. Ong, and A. Kolobov. BLOG: Probabilistic models with unknown objects. In Proc. IJCAI, pages 1352-1359, 2005.","title":"BLOG: Probabilistic models with unknown objects","authors":"B Milch, B Marthi, S J Russell, D Sontag, D L Ong, A Kolobov","year":"2005","venue":"Proc. IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2005/203"},{"position":39,"raw":"[Mladenov et al., 2017] M. Mladenov, V. Belle, and K. Kersting. The symbolic interior point method. In AAAI, 2017.","title":"The symbolic interior point method","authors":"M Mladenov, V Belle, K Kersting","year":"2017","venue":"AAAI","doi":null,"url":null,"internal_url":null},{"position":40,"raw":"[Muise et al., 2015] C. Muise, V. Belle, P. Felli, S. McIlraith, T. Miller, A. Pearce, and L. Sonenberg. Planning over multi- agent epistemic states: A classical planning approach. In Proc. AAAI, 2015.","title":"Planning over multiagent epistemic states: A classical planning approach","authors":"C Muise, V Belle, P Felli, S Mcilraith, T Miller, A Pearce, L Sonenberg","year":"2015","venue":"Proc. AAAI","doi":null,"url":null,"internal_url":null},{"position":41,"raw":"[Murphy, 2012] K. Murphy. Machine learning: A probabilistic per- spective. The MIT Press, 2012.","title":"Machine learning: A probabilistic perspective","authors":"K Murphy","year":"2012","venue":null,"doi":null,"url":null,"internal_url":null},{"position":42,"raw":"[Nitti et al., 2015a] D. Nitti, V. Belle, T. De Laet, and L. De Raedt. Sample-based abstraction for hybrid relational MDPs. In Euro- pean Workshop on Reinforcement Learning, 2015.","title":"Sample-based abstraction for hybrid relational MDPs","authors":"Nitti","year":"2015","venue":"European Workshop on Reinforcement Learning","doi":null,"url":null,"internal_url":null},{"position":43,"raw":"[Nitti et al., 2015b] D. Nitti, V. Belle, and L. De Raedt. Planning in discrete and continuous Markov Decision Processes by proba- bilistic programming. In ECML, 2015.","title":"Planning in discrete and continuous Markov Decision Processes by probabilistic programming","authors":"Nitti","year":"2015","venue":"ECML","doi":null,"url":null,"internal_url":null},{"position":44,"raw":"[Pearl, 1988] J. Pearl. Probabilistic reasoning in intelligent sys- tems: Networks of plausible inference. Morgan Kaufmann, 1988.","title":"Probabilistic reasoning in intelligent systems: Networks of plausible inference","authors":"J Pearl","year":"1988","venue":null,"doi":null,"url":null,"internal_url":null},{"position":45,"raw":"[Raedt et al., 2007] L. De Raedt, A. Kimmig, and H. Toivonen. Problog: A probabilistic prolog and its application in link dis- covery. In Proc. IJCAI, pages 2462-2467, 2007.","title":"Problog: A probabilistic prolog and its application in link discovery","authors":"L De Raedt, A Kimmig, H Toivonen","year":"2007","venue":"Proc. IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2007/396"},{"position":46,"raw":"[Reiter, 2001] R. Reiter. Knowledge in action: Logical foundations for specifying and implementing dynamical systems. MIT Press, 2001.","title":"Knowledge in action: Logical foundations for specifying and implementing dynamical systems","authors":"R Reiter","year":"2001","venue":null,"doi":null,"url":null,"internal_url":null},{"position":47,"raw":"[Richardson and Domingos, 2006] M. Richardson and P. Domin- gos. Markov logic networks. Machine learning, 62(1):107-136, 2006.","title":"Markov logic networks","authors":"M Richardson, P Domingos","year":"2006","venue":"Machine learning","doi":null,"url":null,"internal_url":null},{"position":48,"raw":"[Russell, 2015] S. J. Russell. Unifying logic and probability. Com- mun. ACM, 58(7):88-97, 2015.","title":"Unifying logic and probability","authors":"S J Russell","year":"2015","venue":"Commun. ACM","doi":null,"url":null,"internal_url":null},{"position":49,"raw":"[Shafer, 1990] G. Shafer. Perspectives on the theory and practice of belief functions. International Journal of Approximate Reason- ing, 4(5-6):323 -362, 1990.","title":"Perspectives on the theory and practice of belief functions","authors":"G Shafer","year":"1990","venue":"International Journal of Approximate Reasoning","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}