Publication Details
Title: CHCL - A Connectionist Inference System for Horn Logic Based on the Connection Method and using Limited Resources
Author: S. Hoelldobler
Group: ICSI Technical Reports
Date: August 1990
PDF: http://www.icsi.berkeley.edu/pubs/techreports/tr-90-042.pdf
Overview:
A connectionist inference system for a class of Horn clauses is presented. The system is based on a connectionist unification algorithm for first-order terms and utilizes Bibel's connection method. The resources of the system are limited in that at most one instance of each clause may be used in a proof.
Bibliographic Information:
ICSI Technical Report TR-90-042
Bibliographic Reference:
S. Hoelldobler. CHCL - A Connectionist Inference System for Horn Logic Based on the Connection Method and using Limited Resources. ICSI Technical Report TR-90-042, August 1990
Author: S. Hoelldobler
Group: ICSI Technical Reports
Date: August 1990
PDF: http://www.icsi.berkeley.edu/pubs/techreports/tr-90-042.pdf
Overview:
A connectionist inference system for a class of Horn clauses is presented. The system is based on a connectionist unification algorithm for first-order terms and utilizes Bibel's connection method. The resources of the system are limited in that at most one instance of each clause may be used in a proof.
Bibliographic Information:
ICSI Technical Report TR-90-042
Bibliographic Reference:
S. Hoelldobler. CHCL - A Connectionist Inference System for Horn Logic Based on the Connection Method and using Limited Resources. ICSI Technical Report TR-90-042, August 1990