## Logic Programs and Connectionist Networks (2004)

### Cached

### Download Links

- [www.wv.inf.tu-dresden.de]
- [www.wv.inf.tu-dresden.de]
- [www.wv.inf.tu-dresden.de]
- [www.computational-logic.org]
- [european.computational-logic.org]
- DBLP

### Other Repositories/Bibliography

Venue: | Journal of Applied Logic |

Citations: | 43 - 16 self |

### BibTeX

@ARTICLE{Hitzler04logicprograms,

author = {Pascal Hitzler and Steffen Hölldobler and Anthony Karel Seda},

title = {Logic Programs and Connectionist Networks},

journal = {Journal of Applied Logic},

year = {2004},

volume = {2},

pages = {2004}

}

### Years of Citing Articles

### OpenURL

### Abstract

One facet of the question of integration of Logic and Connectionist Systems, and how these can complement each other, concerns the points of contact, in terms of semantics, between neural networks and logic programs. In this paper, we show that certain semantic operators for propositional logic programs can be computed by feedforward connectionist networks, and that the same semantic operators for first-order normal logic programs can be approximated by feedforward connectionist networks. Turning the networks into recurrent ones allows one also to approximate the models associated with the semantic operators. Our methods depend on a wellknown theorem of Funahashi, and necessitate the study of when Funahasi's theorem can be applied, and also the study of what means of approximation are appropriate and significant.