Paper Info
Title
A Kind of Achievement by Parts Method
Abstract
. How to add new rules to a knowledge base Kb1 to obtain a newknowledge base Kb2 for which forward chaining on Kb2 with any extensionalknowledge base Ekb gives all the two-valued consequence literals of Kb1 [Ekb. We have shown in a previous paper that there exists such a methodthat we call Achievement.if (Kb1 [ Ekb) j= L then L 2 FwCh(Kb2 [ Ekb) with Kb2 = Ach(Kb1)Unfortunately these achievement methods have a great complexity in timeand space which depends on the size of the initial...
Year
DOI
Venue
1994
10.1007/3-540-58216-9_47
LPAR
Keywords
Field
DocType
parts method,knowledge base
Forward chaining,Logic of knowledge,Existential quantification,Computer science,Theoretical computer science,Knowledge base,Extensional definition
Conference
ISBN
Citations 
PageRank 
3-540-58216-9
2
0.43
References 
Authors
5
2
Name
Order
Citations
PageRank
Philippe Mathieu13212.72
Jean-Paul Delahaye232554.60