Updating knowledge bases |
| |
Authors: | A Guessoum J W Lloyd |
| |
Affiliation: | 1. Department of Computer Science, University of Bristol, University Walk, BS8 1TR, Bristol, U. K.
|
| |
Abstract: | We consider the problem of updating a knowledge base, where a knowledge base is realised as a normal (logic) program. We present
procedures for deleting an atom from a normal program and inserting an atom into a normal program, concentrating particularly
on the case when negative literals appear in the bodies of program clauses. We also prove various properties of the procedures
including their correctness. |
| |
Keywords: | Knowledge Assimilation Knowledge Base Logic Program |
本文献已被 SpringerLink 等数据库收录! |
|