Home Online Resources Table of Contents

Journal of Logic and Computation, Volume 8, Issue 2: April 1998.

Extensions for open default theories via the domain closure assumption

M Kaminski1, JA Makowsky1 and M Tiomkin2

1Department of Computer Science, Technion - Israel Institute of Technology, Haifa 32000, Israel, 2Intel Israel, MTM - Scientific Industries Center, RO.B. 1659, Haifa 31015, Israel

In this paper we analyse the semantical definition of extensions for open default theories. We argue that this definition reflects the domain closure assumption and show how the domain closure assumption for countable and finite domains can be expressed in first-order default logic extended with the Carnap rule of inference. Also we give examples of the domain dependence of extensions for open default theories. In particular, we show that such extensions do not possess the minimality property.

Keywords: Default logic, infinitary logic, Herbrand semantics, open default theories, the domain closure assumption.

Pages 169-187


This page is run by Oxford University Press, Great Clarendon Street, Oxford OX2 6DP, UK
as part of the OUP Journals World Wide Web service.
Comments and feedback: www-admin@oup.co.uk
URL: http://www.oup.co.uk/logcom/hdb/Volume_08/Issue_02/080169.sgm.abs.html
Last modification: 4 June 1998.
Copyright© Oxford University Press, 1998.