Artur S. d'Avila Garcez, Luis C. Lamb and Dov M. Gabbay  Home/Search
Context
Related
| soi.city.ac.uk/~aag/pa...iconip2002.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: soi.city.ac.uk/~aag/?cont=3 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Neural-Symbolic integration has become a very active research area in the last decade. In this paper, we present a new massively parallel model for modal logic. We do so by extending the language of Modal Prolog [15, 18] to allow modal operators in the head of the clauses. We then use an ensemble of C-IL P neural networks [7, 9] to encode the extended modal theory (and its relations), and show that the ensemble computes a fixpoint semantics of the extended theory. An immediate result of our... (Update)
Similar documents (at the sentence level):
6.0%: A Connectionist Inductive Learning System for Modal Logic.. - Garcez, Lamb, Gabbay (Correct)
Active bibliography (related documents): More All
0.6: Dimensions of Neural-symbolic Integration - A Structured Survey - Bader, Hitzler (Correct)
0.2: Combining Abductive Reasoning and Inductive Learning .. - Garcez, Russo.. (2003) (Correct)
0.2: Logic Programs and Connectionist Networks - Hitzler, Hölldobler, Seda (2004) (Correct)
Similar documents based on text: More All
0.6: Fibring Neural Networks - Artur Avila Garcez (2004) (Correct)
0.5: Symbolic knowledge extraction from trained neural.. - Garcez, Broda, Gabbay (2001) (Correct)
0.2: Adding a Temporal Dimension to a Logic System - Finger, Gabbay (1993) (Correct)
BibTeX entry: (Update)
@misc{ garcez-connectionist,
author = "Artur S. d'Avila Garcez and Luis C. Lamb and Dov M. Gabbay",
title = "A Connectionist Inductive Learning System For",
url = "citeseer.ist.psu.edu/695612.html" }
Citations (may not include all citations):1491 Learning internal representations by error propagation (context) - Rumelhart, Hinton et al. - 1986
858 The stable model semantics for logic programming - Gelfond, Lifschitz - 1988
759 Negation as failure (context) - Clark - 1978
604 Reasoning about Knowledge (context) - Fagin, Halpern et al. - 1995
134 Labelled Deductive Systems (context) - Gabbay
116 Reasoning about termination of pure prolog programs - Apt, Pedreschi - 1993
78 Preferred answer sets for extended logic programs - Brewka, Eiter - 1999
50 Metric methods: Three examples and a theorem - Fitting - 1994
36 An overview of temporal and modal logic programming - Orgun, Ma
25 The declarative past and imperative future (context) - Gabbay - 1989
19 Clarendon Press (context) - Chagrov, Zakharyaschev - 1997
18 NeuralSymbolic Learning Systems: Foundations and Application.. (context) - Garcez, Broda et al. - 2002
18 Symbolic knowledge extraction from trained neural networks: .. - Garcez, Broda et al. - 2001
17 Knowledge-Based Neurocomputing (context) - Cloete, Zurada - 2000
8 The connectionist inductive learning and logic programming s.. (context) - Garcez, Zaverucha - 1999
4 Programming in modal logic: An extension of PROLOG based on .. (context) - Sakakibara - 1986
2 A connectionist inductive learning system for modal logic pr.. (context) - Garcez, Lamb et al. - 2002
1 Semantics of distributed definite clause programs (context) - Ramanujam - 1989
Documents on the same site (http://www.soi.city.ac.uk/~aag/?cont=3): More
Revising Rules to Capture Requirements Traceability.. - Machine Learning Approach (2003) (Correct)
Inducing Relational Concepts with Neural Networks via.. - Basilio, Zaverucha.. (1998) (Correct)
Reasoning about Time and Knowledge in - Neural-Symbolic Learning Systems (2003) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC