Parallel Rewriting in Neural Networks

Research output: Chapter in Book/Report/Conference proceedingChapter

Abstract

Rewriting systems are used in various areas of computer science, and especially in lambda-calculus, higher-order logics and functional programming. We show that the unsupervised learning networks can implement parallel rewriting. We show how this general correspondence can be refined in order to perform parallel term rewriting in neural networks, for any given first-order term. We simulate these neural networks in the MATLAB Neural Network Toolbox and present the complete library of functions written in the MATLAB Neural Network Toolbox.

Original languageEnglish
Title of host publicationIJCCI 2009 - Proceedings of the International Joint Conference on Computational Intelligence, Funchal, Madeira, Portugal, October 5-7, 2009
EditorsAntónio Dourado Correia, Agostinho C. Rosa, Kurosh Madani
PublisherINSTICC Press
Pages452-458
Number of pages7
ISBN (Print)9789896740146
Publication statusPublished - 2009
EventInternational Joint Conference on Computational Intelligence 2009 - Funchal, Portugal
Duration: 5 Oct 20097 Oct 2009

Conference

ConferenceInternational Joint Conference on Computational Intelligence 2009
Abbreviated titleIJCCI 2009
CountryPortugal
CityFunchal
Period5/10/097/10/09

Fingerprint

Neural networks
MATLAB
Functional programming
Unsupervised learning
Logic programming
Computer science

Keywords

  • Computational Logic in Neural Networks
  • Neuro-Symbolic Networks
  • Abstract Rewriting
  • Parallel Term-Rewriting
  • Unsupervised Learning
  • Computer Simulation of Neural Networks

Cite this

Komendantskaya, E. (2009). Parallel Rewriting in Neural Networks. In A. Dourado Correia, A. C. Rosa, & K. Madani (Eds.), IJCCI 2009 - Proceedings of the International Joint Conference on Computational Intelligence, Funchal, Madeira, Portugal, October 5-7, 2009 (pp. 452-458). INSTICC Press .
Komendantskaya, Ekaterina. / Parallel Rewriting in Neural Networks. IJCCI 2009 - Proceedings of the International Joint Conference on Computational Intelligence, Funchal, Madeira, Portugal, October 5-7, 2009. editor / António Dourado Correia ; Agostinho C. Rosa ; Kurosh Madani. INSTICC Press , 2009. pp. 452-458
@inbook{0ab1e0e466fd421d8a0311b8f1e88bd8,
title = "Parallel Rewriting in Neural Networks",
abstract = "Rewriting systems are used in various areas of computer science, and especially in lambda-calculus, higher-order logics and functional programming. We show that the unsupervised learning networks can implement parallel rewriting. We show how this general correspondence can be refined in order to perform parallel term rewriting in neural networks, for any given first-order term. We simulate these neural networks in the MATLAB Neural Network Toolbox and present the complete library of functions written in the MATLAB Neural Network Toolbox.",
keywords = "Computational Logic in Neural Networks, Neuro-Symbolic Networks, Abstract Rewriting, Parallel Term-Rewriting, Unsupervised Learning, Computer Simulation of Neural Networks",
author = "Ekaterina Komendantskaya",
year = "2009",
language = "English",
isbn = "9789896740146",
pages = "452--458",
editor = "{Dourado Correia}, Ant{\'o}nio and Rosa, {Agostinho C.} and Kurosh Madani",
booktitle = "IJCCI 2009 - Proceedings of the International Joint Conference on Computational Intelligence, Funchal, Madeira, Portugal, October 5-7, 2009",
publisher = "INSTICC Press",

}

Komendantskaya, E 2009, Parallel Rewriting in Neural Networks. in A Dourado Correia, AC Rosa & K Madani (eds), IJCCI 2009 - Proceedings of the International Joint Conference on Computational Intelligence, Funchal, Madeira, Portugal, October 5-7, 2009. INSTICC Press , pp. 452-458, International Joint Conference on Computational Intelligence 2009, Funchal, Portugal, 5/10/09.

Parallel Rewriting in Neural Networks. / Komendantskaya, Ekaterina.

IJCCI 2009 - Proceedings of the International Joint Conference on Computational Intelligence, Funchal, Madeira, Portugal, October 5-7, 2009. ed. / António Dourado Correia; Agostinho C. Rosa; Kurosh Madani. INSTICC Press , 2009. p. 452-458.

Research output: Chapter in Book/Report/Conference proceedingChapter

TY - CHAP

T1 - Parallel Rewriting in Neural Networks

AU - Komendantskaya, Ekaterina

PY - 2009

Y1 - 2009

N2 - Rewriting systems are used in various areas of computer science, and especially in lambda-calculus, higher-order logics and functional programming. We show that the unsupervised learning networks can implement parallel rewriting. We show how this general correspondence can be refined in order to perform parallel term rewriting in neural networks, for any given first-order term. We simulate these neural networks in the MATLAB Neural Network Toolbox and present the complete library of functions written in the MATLAB Neural Network Toolbox.

AB - Rewriting systems are used in various areas of computer science, and especially in lambda-calculus, higher-order logics and functional programming. We show that the unsupervised learning networks can implement parallel rewriting. We show how this general correspondence can be refined in order to perform parallel term rewriting in neural networks, for any given first-order term. We simulate these neural networks in the MATLAB Neural Network Toolbox and present the complete library of functions written in the MATLAB Neural Network Toolbox.

KW - Computational Logic in Neural Networks

KW - Neuro-Symbolic Networks

KW - Abstract Rewriting

KW - Parallel Term-Rewriting

KW - Unsupervised Learning

KW - Computer Simulation of Neural Networks

M3 - Chapter

SN - 9789896740146

SP - 452

EP - 458

BT - IJCCI 2009 - Proceedings of the International Joint Conference on Computational Intelligence, Funchal, Madeira, Portugal, October 5-7, 2009

A2 - Dourado Correia, António

A2 - Rosa, Agostinho C.

A2 - Madani, Kurosh

PB - INSTICC Press

ER -

Komendantskaya E. Parallel Rewriting in Neural Networks. In Dourado Correia A, Rosa AC, Madani K, editors, IJCCI 2009 - Proceedings of the International Joint Conference on Computational Intelligence, Funchal, Madeira, Portugal, October 5-7, 2009. INSTICC Press . 2009. p. 452-458