Representation Theory for Default Logic

Victor Marek, Jan Treur, Miroslaw Truszczynski

Default logic can be regarded as a mechanism to represent families of belief sets of a reasoning agent. As such, it is inherently second-order. In this paper, we study the problem…