DC Element | Wert | Sprache |
dc.contributor.author | Gust, H. | |
dc.contributor.author | Kühnberger, K.-U. | |
dc.date.accessioned | 2021-12-23T16:28:15Z | - |
dc.date.available | 2021-12-23T16:28:15Z | - |
dc.date.issued | 2004 | |
dc.identifier.uri | https://osnascholar.ub.uni-osnabrueck.de/handle/unios/15749 | - |
dc.description | Conference of 2004 AAAI Fall Symposium ; Conference Date: 21 October 2004 Through 24 October 2004; Conference Code:66627 | |
dc.description.abstract | In this paper, we will exemplify compositionality issues of neural networks using logical theories. The idea is to implement first-order logic on the neural level by using category theoretic methods in order to get a variable-free representation of logic with only one operation (composition). More precisely, logic as well as neural networks are represented as algebraic systems. On the underlying algebraic level it is possible to consider compositionality aspects of first-order logical formulas and their realization by a neural network. We will demonstrate the approach with some well-known logical inferences using a straightforward implementation of a simple backpropagation network. Copyright © 2004, American Association for Artificial Intelligence (www.aaai.org). All rights reserved. | |
dc.description.sponsorship | American Association for Artificial Intelligence, AAAI | |
dc.language.iso | en | |
dc.relation.ispartof | AAAI Fall Symposium - Technical Report | |
dc.subject | Algebraic systems | |
dc.subject | Cloning composition | |
dc.subject | Logical inferences, Algebra | |
dc.subject | Backpropagation | |
dc.subject | Formal logic | |
dc.subject | Knowledge representation, Neural networks | |
dc.title | Cloning composition and logical inferences in neural networks using variable-free logic | |
dc.type | conference paper | |
dc.identifier.scopus | 2-s2.0-32844474890 | |
dc.identifier.url | https://www.scopus.com/inward/record.uri?eid=2-s2.0-32844474890&partnerID=40&md5=f76a18eb348dc189c3893650d6da3680 | |
dc.description.volume | FS-04-03 | |
dc.description.startpage | 25 | |
dc.description.endpage | 30 | |
dc.publisher.place | Arlington, VA | |
dcterms.isPartOf.abbreviation | AAAI Fall Symp. Tech. Rep. | |
crisitem.author.dept | Institut für Kognitionswissenschaft | - |
crisitem.author.deptid | institute28 | - |
crisitem.author.orcid | 0000-0003-1626-0598 | - |
crisitem.author.parentorg | FB 08 - Humanwissenschaften | - |
crisitem.author.grandparentorg | Universität Osnabrück | - |
crisitem.author.netid | KuKa032 | - |