Work

A Fully Connectionist Model Generator for Covered First-Order Logic Programs

Year: 2007

Type: conference-paper

Abstract: We present a fully connectionist system for the \nlearning of first-order logic programs and the generation \nof corresponding models: Given a program and a set of training examples, we embed the associated semantic operator into a feed-forward network and train the network using the examples. This results in the learning of first-order knowledge while damaged or noisy data is handled gracefully

Source: UvA-DARE (University of Amsterdam)

Authors: Bader, S., Hitzler, Pascal, Hölldobler, S., Witzel, Andreas, Veloso, M.M.

Institutions: Technische Universität Dresden, Karlsruhe Institute of Technology, University of Amsterdam

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funders: European Commission, Deutsche Forschungsgemeinschaft, Bundesministerium für Bildung und Forschung

OpenAlex ID: W2296231412

FWCI: 3.789

Cites: 15

Cited by: 31

Related to: 10