Reasoning with limited unification in a connectionist rule based system

Abstract: "At the intersection between symbolic inference and connectionism, there is interest in producing systems constructed from connectionist components which perform types of inference comparable to symbolic systems. The attraction of such systems is that, under restricted conditions, the...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Park, Nam Seog (VerfasserIn), Robertson, Dave (VerfasserIn), Stenning, Keith (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Edinburgh 1995
Schriftenreihe:	University <Edinburgh> / Department of Artificial Intelligence: DAI research paper 731
Schlagworte:	Bionics and artificial intelligence Computer software Künstliche Intelligenz Artificial intelligence Automatic theorem proving Rule-based programming
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!