Connectionist framework for reasoning: Reasoning with examples

Dan Roth

Research output: Contribution to conferencePaper

Abstract

We present a connectionist architecture that supports almost instantaneous deductive and abductive reasoning. The deduction algorithm responds in few steps for single rule queries and in general, takes time that is linear with the number of rules in the query. The abduction algorithm produces an explanation in few steps and the best explanation in time linear with the size of the assumption set. The size of the network is polynomially related to the size of other representations of the domain, and may even be smaller. We base our connectionist model on Valiant's Neuroidal model (Val94) and thus make minimal assumptions about the computing elements, which are assumed to be classical threshold elements with states. Within this model we develop a reasoning framework that utilizes a model-based approach to reasoning (KKS93; KR94b). In particular, we suggest to interpret the connectionist architecture as encoding examples of the domain we reason about and show how to perform various reasoning tasks with this interpretation. We then show that the representations used can be acquired efficiently from interactions with the environment and discuss how this learning process influences the reasoning performance of the network.

Original languageEnglish (US)
Pages1256-1261
Number of pages6
StatePublished - Dec 1 1996
EventProceedings of the 1996 13th National Conference on Artificial Intelligence. Part 2 (of 2) - Portland, OR, USA
Duration: Aug 4 1996Aug 8 1996

Other

OtherProceedings of the 1996 13th National Conference on Artificial Intelligence. Part 2 (of 2)
CityPortland, OR, USA
Period8/4/968/8/96

ASJC Scopus subject areas

  • Software
  • Artificial Intelligence

Fingerprint Dive into the research topics of 'Connectionist framework for reasoning: Reasoning with examples'. Together they form a unique fingerprint.

  • Cite this

    Roth, D. (1996). Connectionist framework for reasoning: Reasoning with examples. 1256-1261. Paper presented at Proceedings of the 1996 13th National Conference on Artificial Intelligence. Part 2 (of 2), Portland, OR, USA, .