mediKanren: A System for Bio-medical Reasoning
We introduce \emph{mediKanren}, a combination of miniKanren, a database describing relationships between medical concepts, and a graphical user interface (GUI) to simplify data exploration and common queries. All features of the faster-miniKanren implementation are available for queries, including typical constructs like run
, conde
, fresh
, various constraints, and (potentially recursive) user-defined relations. We provide the database as a set of miniKanren relations. To make queries fast, we represent the data backing these relations as specially formatted files on disk, with indexes for fast retrieval. We use the miniKanren project
syntax to write Racket code that interfaces with this representation. Performance is sufficient for the GUI to support low latency querying in the common case.
In this paper we provide an overview of mediKanren, give examples of queries in low-level and medium-level query languages, and give an example of how query results have resulted in treatment for a patient with a rare genetic disease.
Thu 27 Aug Times are displayed in time zone: Eastern Time (US & Canada) change
15:30 - 17:10: Afternoon SessionminiKanren at miniKanren Chair(s): Nada AminHarvard University, Weixi MaIndiana University | |||
15:30 - 15:50 Talk | mediKanren: A System for Bio-medical Reasoning miniKanren Michael PattonUniversity of Alabama at Birmingham, Gregory RosenblattUniversity of Alabama at Birmingham, USA, William E. ByrdUniversity of Alabama at Birmingham, USA, Matthew MightUniversity of Alabama at Birmingham | Harvard Medical School Pre-print | ||
15:50 - 16:10 Talk | Relational Synthesis for Pattern Matching miniKanren Dmitrii KosarevJetBrains Research, Saint Petersburg State University, Dmitri BoulytchevSt. Petersburg State University, St. Petersburg, Russia Pre-print | ||
16:10 - 16:30 Talk | Some Novel miniKanren Synthesis Tasks miniKanren Pre-print | ||
16:30 - 16:50 Talk | A Relational Interpreter for Synthesizing JavaScript miniKanren Artem ChirkovUniversity of Toronto Mississauga, Gregory RosenblattUniversity of Alabama at Birmingham, USA, Matthew MightUniversity of Alabama at Birmingham | Harvard Medical School, Lisa ZhangUniversity of Toronto Mississauga Pre-print | ||
16:50 - 17:10 Talk | dxo: A System for Relational Algebra and Differentiation miniKanren Pre-print |