A Connectionist System for Rule Based Reasoning with Multi-Place Predicates and Variables

Abstract

McCarthy has observed that the representational power of most connectionist systems is restricted to unary predicates applied to a fixed object. More recently, Fodor and Pylyshyn have made a sweeping claim the connectionist systems cannot incorporate systematicity and compositionality. These comments suggest that representing structured knowledge in a connectionist network and using this knowledge in a systematic way is considered difficult if not impossible. The work reported in this paper demonstrates that a connectionist system can not only represent structured knowledge and display systematic behavior, but it can also do so with extreme efficiency. The paper describes a connectionist system that can represent knowledge expressed as rules and facts involving multi-place predicates (i.e., n-ary relates), and draw limited, but sound, inferences based on this knowledge.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1989
Accession Number
ADA225897

Entities

People

  • Lokendra Shastri
  • Venkat Ajjanagadde

Organizations

  • Moore School of Electrical Engineering

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Abstracts
  • Accumulators
  • Causal Reasoning
  • Classification
  • Coding
  • Computations
  • Computer Science
  • Computers
  • Contracts
  • Convergence
  • Efficiency
  • Information Science
  • Language
  • Notation
  • Reasoning
  • Security
  • Symbols

Readers

  • Artificial Intelligence
  • Mathematical Modeling and Probability Theory.

Technology Areas

  • AI & ML