Tyche: A library for probabilistic reasoning and belief modelling in Python

08/21/2022
by   Padraig X. Lamont, et al.
1

This paper presents Tyche, a Python library to facilitate probabilistic reasoning in uncertain worlds through the construction, querying, and learning of belief models. Tyche uses aleatoric description logic (ADL), which provides computational advantages in its evaluation over other description logics. Tyche belief models can be succinctly created by defining classes of individuals, the probabilistic beliefs about them (concepts), and the probabilistic relationships between them (roles). We also introduce a method of observation propagation to facilitate learning from complex ADL observations. A demonstration of Tyche to predict the author of anonymised messages, and to extract author writing tendencies from anonymised messages, is provided. Tyche has the potential to assist in the development of expert systems, knowledge extraction systems, and agents to play games with incomplete and probabilistic information.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/27/2013

Directed Cycles in Belief Networks

The most difficult task in probabilistic reasoning may be handling direc...
research
07/27/2017

Anytime Exact Belief Propagation

Statistical Relational Models and, more recently, Probabilistic Programm...
research
10/02/2020

A Framework for Reasoning on Probabilistic Description Logics

While there exist several reasoners for Description Logics, very few of ...
research
06/30/2016

Probabilistic Reasoning in the Description Logic ALCP with the Principle of Maximum Entropy (Full Version)

A central question for knowledge representation is how to encode and han...
research
11/09/2015

Toward Biochemical Probabilistic Computation

Living organisms survive and multiply even though they have uncertain an...
research
03/27/2013

A Probabilistic Reasoning Environment

A framework is presented for a computational theory of probabilistic arg...
research
02/27/2013

Probabilistic Description Logics

On the one hand, classical terminological knowledge representation exclu...

Please sign up or login with your details

Forgot password? Click here to reset