A07: Automated jury

This assignment helps you practice probabilistic inference using the ProbLog language.

The evidence

There was a murder of a female in an alley between a bar and a church. An intoxicated person saw a person running away last night after dropping a bottle. The bottle shards were found in the alley in the morning. “M.” (a female) hasn’t been seen in days, but she often disappears for long periods of time. But she was expected home today. A body was found by two nuns (in the alley). Investigators know it was not a suicide, due to the angle of the stab wounds. The autopsy shows that the cause of death was bleeding through a large, shallow open wound, which appears to be the result of a stabbing. The autopsy shows the victim has been dead for 4 hours (as of 6am). There was a pentagram drawn in the victim’s blood on the church wall. Nobody has identified the body. The nuns were found to have five small knives in their pockets. The knives were clean and the knives smelled of bleach. These nuns are known to wash their knives compulsively. Satanic literature, written by “M.”, was found in the drunk person’s house.


Murder weapons:


Write a ProbLog file that represents the story. Add commonsense logic as facts/rules to the file (e.g., what’s the connection between the pentagram and the literature and the nuns?).

Write queries that help answer (compute the probabilities) of these questions:

CSCI 431 material by Joshua Eckroth is licensed under a Creative Commons Attribution-ShareAlike 3.0 Unported License. Source code for this website available at GitHub.