An Implementation of Statistical Default Logic

Statistical default logic is a variation of classical (i.e., Reiter’s) default logic designed to represent basic inference forms common in inferential statistics. In this paper we present an embedding of an important subset of statistical default theories into stable model semantics.

• Type: Conference
• Year: 2004
• Where: JELIA
• Authors: Gregory R. Wheeler, Carlos Viegas Damásio
• Keywords: Artificial Intelligence, Default Logic, JELIA 2004, Statistical Default, Statistical Default Logic