Name: A Finely-Interleaved Consistency Checking Method for Knowledge-bases
Creator: John V. Harrison
Keywords: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 16. Peace & justice

descriptionPublicationkeyboard_double_arrow_right Part of book or chapter of book , Article 01 Sep 1994 English Publisher:Springer NetherlandsJournal:International Journal on Artificial Intelligence Tools, volume 3, pages 383-393 (issn: 0218-2130, eissn: 1793-6349,

Authors: John V. Harrison;

doi: 10.1007/978-94-011-7108-3_78 , 10.1142/s0218213094000212

A Finely-Interleaved Consistency Checking Method for Knowledge-bases

- Summary
- Metrics

Abstract

An efficient method to determine consistency in a knowledge-base is described. The traditional generation and evaluation steps are interleaved to compute the differences between two consecutive knowledge-base states. The method employs an optimized update propagation algorithm to improve efficiency. Updates to both the facts and the rule-base are supported by the method.

Related Organizations

University of Queensland
Australia
University of Queensland
Australia

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average