|
| << vorige |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 3 van 3 gevonden artikelen
| Titel: |
Revision in ACMS |
| Auteur: |
Kean, Alex |
| Verschenen in: |
Journal of experimental & theoretical artificial intelligence |
| Paginering: | Jaargang 4 (1992) nr. 3 pagina's 233-246 |
| Jaar: |
1992-07-01 |
| Inhoud: |
The motivation for creating truth maintenance systems is twofold. First, it is used for the abduction process of generating explanation for a query; and second, to perform the necessary bookkeeping of revision of the knowledge base. The process of revision is defined as addition and deletion of knowledge from the knowledge base. A logical scheme for tracking the dependency between query and its explanation in an assumption-based clause management system (ACMS) for the purpose of abduction and revision is proposed. As a consequence, an incremental deletion scheme is derived. A protocol for assumption revision is demonstrated by a backtrack search example. The proposed ACMS is the first truth maintenance system that employs incremental deletion as part of its capability. |
| Uitgever: |
Taylor & Francis |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 3 van 3 gevonden artikelen
| << vorige |