Fred meets Tweety

  • Authors:

  • Antonis Kakas;Loizos Michael;Rob Miller

  • Affiliations:

  • University of Cyprus, P. O. Box 20537, CY-1678, Cyprus. e-mail: antonis@ucy.ac.cy;Harvard University, Cambridge, MA 02138, U.S.A. e-mail: loizos@eecs.harvard.edu;University College London, London WC1E 6BT, U.K. e-mail: rsm@ucl.ac.uk

  • Venue:
  • Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

We propose a framework that brings together two major forms of default reasoning in Artificial Intelligence: applying default property classification rules in static domains, and default persistence of properties in temporal domains. Particular attention is paid to the central problem of qualification. We illustrate how previous semantics developed independently for the two separate forms of default reasoning naturally lead to the integration that we propose, and how this gives rise to domains where different types of knowledge interact and qualify each other while preserving elaboration tolerance.