Abstract | ||
---|---|---|
Recent learning systems have combined explanation-based and inductive learning techniques to revise propositional domain theories (e.g., EITHER, RTLS, KBANN). Inductive systems working in first order logic have also been developed (e.g., CIGOL, FOIL, FOCL). This paper presents a theory revision system, Forte, that merges these two developments. Forte provides theory revision capabilities similar to those of the propositional systems, but works with domain theories stated in first-order logic. |
Year | DOI | Venue |
---|---|---|
1991 | 10.1016/B978-1-55860-200-7.50092-1 | ML |
Keywords | Field | DocType |
first-order theory revision,first order | First order theory,Computer science,First-order logic,Artificial intelligence,Real-time locating system | Conference |
Issue | Citations | PageRank |
1 | 34 | 10.37 |
References | Authors | |
2 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Bradley L. Richards | 1 | 209 | 37.47 |
Raymond J. Mooney | 2 | 10408 | 961.10 |