Excursions in first-order logic and probability: infinitely many random variables, continuous distributions, recursive programs and beyond

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

The unification of the first-order logic and probability has been seen as a long-standing concern in philosophy, AI and mathematics. In this talk, I will briefly review our recent results on revisiting that unification. Although there are plenty of approaches in communities such as statistical relational learning, automated planning, and neuro-symbolic AI that leverage and develop languages with logical and probabilistic aspects, they almost always restrict the representation as well as the semantic framework in various ways that does not fully explain how to combine first-order logic and probability theory in a general way. In many cases, this restriction is justified because it may be necessary to focus on practicality and efficiency. However, the search for a restriction-free mathematical theory remains ongoing. In this article, we discuss our recent results regarding the development of languages that support arbitrary quantification, possibly infinitely many ran- dom variables, both discrete and continuous distributions, as well as programming languages built on top of such features to include recursion and branching control.
Original languageEnglish
Title of host publicationLogics in Artificial Intelligence
Subtitle of host publication18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings
PublisherSpringer
Pages35-46
Number of pages12
ISBN (Electronic)9783031436192
ISBN (Print)9783031436185
DOIs
Publication statusPublished - 24 Sept 2023
Event18th Edition of the European Conference on Logics in Artificial Intelligence - Dresden, Germany
Duration: 20 Sept 202322 Sept 2023
https://jelia2023.inf.tu-dresden.de/

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference18th Edition of the European Conference on Logics in Artificial Intelligence
Abbreviated titleJELIA 2023
Country/TerritoryGermany
CityDresden
Period20/09/2322/09/23
Internet address

Keywords / Materials (for Non-textual outputs)

  • first-order logic
  • probabilistic logic
  • programs

Fingerprint

Dive into the research topics of 'Excursions in first-order logic and probability: infinitely many random variables, continuous distributions, recursive programs and beyond'. Together they form a unique fingerprint.

Cite this