A theoretical and practical explanation of supplementing Bayesian Networks with logical implication
This is the project website for the Computer Science Honours project Implicative Bayesian Networks at the University of Cape Town. The website details both the theoretical and implementation aspects of the project, providing insight into the project. Project deliverables are also available, such as literature reviews and final papers.
An Implicative Bayesian Network is a mathematical model used to reason with probabilistic systems which contain logical relationships between system events. It is constructed by using logical implication statements in a knowledge base to transform a Bayesian Network according to the formal definition of implication.
Learn more
The Implicative Bayesian Reasoner for Java (IBRJ) tool is a free open-source software tool that implements partial Implicative Bayesian Networks. IBRJ is aimed at researchers to demonstrate how IBN's function.
Learn moreProject deliverables that are available for download.
The initial project proposal that outlines the purpose, goal, intentions and plan for the project.
DownloadThe poster designed for this project, giving a brief overview of the project.
DownloadA review of the literature on Bayesian Networks and Formal logic, laying the basis for IBN's.
DownloadA review of the literature on Bayesian Networks, Formal Logic, and Bayesian Reasoners - the groundwork for implementing an IBN tool.
DownloadThe final paper that presents the definition and explanation of IBNs.
DownloadThe final paper that presents the implementation of the IBRJ software tool.
Download
Elijah is a BSc Honours student in the field of Computer Science at the University of Cape Town. Elijah completed his BSc at the same Institution in 2017, where he majored in Computer Science and Computer Games Development. On completion of his Honours degree, Elijah intends to pursue a MSc in Mathematics specialising in Cryptography at UCT.
Luke is a BSc Honours Student at the University of Cape Town, studying towards his Honours degree in Computer Science. Luke graduated with a B.Sc in Computer Science and Computer Engineering in 2017. Luke aims to work as a software developer in future.
We were supervised by Professor Tommie Meyer, with Professor Deshen Moodly as our second reader.
Get in touch with us if you have any questions.
