publication . Article . 2018

learning łukasiewicz logic

Frederik Harder; Tarek R. Besold;
Open Access
  • Published: 01 Jan 2018 Journal: Cognitive Systems Research, volume 47, pages 42-67 (issn: 1389-0417, Copyright policy)
  • Publisher: Elsevier BV
  • Country: United Kingdom
Abstract
The integration between connectionist learning and logic-based reasoning is a longstanding foundational question in artificial intelligence, cognitive systems, and computer science in general. Research into neural-symbolic integration aims to tackle this challenge, developing approaches bridging the gap between sub-symbolic and symbolic representation and computation. In this line of work the core method has been suggested as a way of translating logic programs into a multilayer perceptron computing least models of the programs. In particular, a variant of the core method for three valued Łukasiewicz logic has proven to be applicable to cognitive modelling among...
Subjects
free text keywords: Multilayer perceptron, Supervised learning, Backpropagation, Łukasiewicz logic, Machine learning, computer.software_genre, computer, Artificial neural network, Artificial intelligence, business.industry, business, Empirical research, Connectionism, Computer science, Computational logic, BF, QA75, RC0321
Related Organizations
Powered by OpenAIRE Research Graph
Any information missing or wrong?Report an Issue