---
title: "A Framework for Declarative Update Specifications in Logic Programs"
authors:
  - "Thomas Eiter"
  - "Michael Fink"
  - "Giuliana Sabbatini"
  - "Hans Tompits"
doi: ""
url: "https://ijcai.org/proceedings/2001/90"
pdf: "https://ijcai.org/proceedings/2001/0090.pdf"
venue: "Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence"
year: 2001
pages: "649-653"
track: ""
keywords:
---

# A Framework for Declarative Update Specifications in Logic Programs

Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits

*Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence*, pages 649-653.

## Abstract

Recently, several approaches for updating knowledge bases represented as logic programs have been proposed. In this paper, we present a generic framework for declarative specifications of update policies, which is built upon such approaches. It extends the LUPS language for update specifications and incorporates the notion of events into the framework. An update policy allows an agent to flexibly react upon new information, arriving as an event, and perform suitable changes of its knowledge base. The framework compiles update policies to logic programs by means of generic translations, and can be instantiated in terms of different concrete update approaches. It thus provides a flexible tool for designing adaptive reasoning agents.