pydavid is a simple Python interface of Open-David (version 1.73), an abductive reasoner written in C++.

pydavid is a frontend of Open-David and does not include Open-David. Please install Open-David , and then install pydavid by the following command.

$ pip install pydavid

The following is a sample code. Before run, please set approapriate path to an executable file of Open-David in your computer, download toy.dav in this repository, and place it in your current working directly.

from pydavid    import OpenDavid
from dhgraph    import DirectedHypergraph

# PLEASE MODIFY PATH ACCORDING TO YOUR ENVIRONMENT.
OpenDavid.set_david_path("/usr/local/bin/david")
with open("toy.dav", mode="r") as f:
    data = f.read()
    OpenDavid.set_knowledge_base(data)

observation_list = ["police(John)", "die(E1)", "subj(E1, Mary)",\
    "arrest(E2)", "subj(E2, x)", "obj(E2, Bob)"]
required_atom_list = ["(x = John)"]
OpenDavid.set_problem(observation_list, required_atom_list)
json_str = OpenDavid.run() # Wait until it terminates if interpreter is used.

# json is converted to a directed hypergraph.
g = OpenDavid.build_proofgraph(json_str) 
# "sample.png" will be generated in your cwd.
g.render(filename="sample", format="png")

NOTE: toy.dav distributed in this repository was obtained from Open-David , but a problem field was deleted, because pydavid separately sets knowledge base data and a problem data.

Please see dhgraph for usage of dhgraph.

Please report bugs and requests from GitHub Issues , and ask questions from GitHub Discussions .

Please see LICENSE .