---
title: "Two Results on Default Logic"
authors:
  - "Witold Lukaszewicz"
doi: ""
url: "https://ijcai.org/proceedings/1985/90"
pdf: "https://ijcai.org/proceedings/1985/0090.pdf"
venue: "Proceedings of the Ninth International Joint Conference on Artificial Intelligence"
year: 1985
pages: "459-460"
track: "Knowledge Representation"
keywords:
---

# Two Results on Default Logic

Witold Lukaszewicz

*Proceedings of the Ninth International Joint Conference on Artificial Intelligence*, pages 459-460.

## Abstract

We focus on default logic, a formalism introduced by Reiter to model default reasoning. The paper consists of two parts. In the first one a translation method of non-normal defaults into the normal ones is given. Although not generally valid, this translation seems to work for a wide class of defaults. In the second part a semantics for normal default theories is given and the completeness theorem is proved.