A Framework for Declarative Update Specifications in Logic Programs
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.
@inproceedings{ijcai2001p90,
title = {A Framework for Declarative Update Specifications in Logic Programs},
author = {Eiter, Thomas and Fink, Michael and Sabbatini, Giuliana and Tompits, Hans},
booktitle = {Proceedings of the Seventeenth International Joint Conference on
Artificial Intelligence, {IJCAI-01}},
publisher = {International Joint Conferences on Artificial Intelligence},
pages = {649--653},
year = {2001},
url = {https://ijcai.org/proceedings/2001/90},
}
TY - CPAPER TI - A Framework for Declarative Update Specifications in Logic Programs AU - Eiter, Thomas AU - Fink, Michael AU - Sabbatini, Giuliana AU - Tompits, Hans T2 - Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI-01 PB - International Joint Conferences on Artificial Intelligence PY - 2001 SP - 649 EP - 653 UR - https://ijcai.org/proceedings/2001/90 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
