CHCL - A Connectionist Inference System for Horn Logic Based on the Connection Method and using Limited Resources

TitleCHCL - A Connectionist Inference System for Horn Logic Based on the Connection Method and using Limited Resources
Publication TypeTechnical Report
Year of Publication1990
AuthorsHölldobler, S.
Other Numbers606
Abstract

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.

URLhttp://www.icsi.berkeley.edu/pubs/techreports/tr-90-042.pdf
Bibliographic Notes

ICSI Technical Report TR-90-042

Abbreviated Authors

S. Hoelldobler

ICSI Publication Type

Technical Report