University of Illinois Urbana-Champaign

Possible worlds explorer: Combining declarative programming with user-friendly Jupyter Notebooks

Gupta, Sahil

Content Files
GUPTA-THESIS-2020.pdf

Permalink

https://hdl.handle.net/2142/108018

Description

Title
Possible worlds explorer: Combining declarative programming with user-friendly Jupyter Notebooks
Author(s)
Gupta, Sahil
Issue Date
2020-05-11
Director of Research (if dissertation) or Advisor (if thesis)
Ludäscher, Bertram
Department of Study
Computer Science
Discipline
Computer Science
Degree Granting Institution
University of Illinois at Urbana-Champaign
Degree Name
M.S.
Degree Level
Thesis
Date of Ingest
2020-08-26T21:57:58Z
Keyword(s)
  • Datalog
  • Answer Set Programming
  • ASP
  • Clingo
  • DLV
  • Stable Model
  • Well-founded
  • Python
  • Tool
  • Open source
  • Possible Worlds
  • Possible Worlds Explorer
  • Jupyter
  • Notebook
  • Jupyter Notebook
  • IPython
  • Visualizations
  • Framework
  • PWE Framework
  • PWE-NB-Extension
  • Declarative Programming
  • Provenance
  • Datalog Debugging
  • Euler
  • LeanEuler
  • Taxonomy Alignment
  • TAP
  • CleanTax
  • Education
  • WODB
Abstract
"Datalog and Answer Set Programming (ASP) are powerful languages for rule-based database querying and constraint solving, respectively. Similarly, Python is a popular and powerful procedural programming language with applications in many domains including data science. I have developed a problem solving framework called ""Possible Worlds Exploration"" which is based on combining the two programming paradigms to enable new exploration and problem solving capabilities for a wide audience of users. The primary component of this framework is the Possible Worlds Explorer (PWE), an open source Python-based toolkit that employs Jupyter Notebooks to make working with Datalog and ASP systems easier and more productive. PWE can parse output from different ASP reasoners (Clingo and DLV) and then run analytical queries over all answer sets or ""possible worlds"" (PWs), e.g., to calculate relative frequencies of atoms across PWs or to hierarchically cluster PWs based on user-defined complexity and similarity measures. PWE also has support for the three-valued well-founded semantics of Datalog programs (via DLV) and temporal models that use a special state argument. Using simple Python functions, generic as well as user-definable presentation and visualization formats can be easily created, e.g., to display all PWs (world views), the unique three-valued well founded model (partial views), and temporal models (timelines and time series). We have illustrated several examples, both theoretical and application-based, to showcase the abilities of PWE. We provide containerized versions of PWE that can be run in the cloud or locally. In this way the Possible Worlds Explorer makes Datalog and ASP more accessible for a wider audience."
Graduation Semester
2020-05
Type of Resource
Thesis
Permalink
http://hdl.handle.net/2142/108018
Copyright and License Information
Copyright 2020 Sahil Gupta

Owning Collections

Graduate Dissertations and Theses at Illinois PRIMARY
Graduate Theses and Dissertations at Illinois
Dissertations and Theses - Computer Science
Dissertations and Theses from the Siebel School of Computer Science