Communications of the ACM
A framework for intuitionistic modal logics
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Semantics of distributed definite clause programs
Theoretical Computer Science
Artificial Intelligence - On connectionist symbol processing
Learning internal representations by error propagation
Parallel distributed processing: explorations in the microstructure of cognition, vol. 1
Computational interpretations of linear logic
Theoretical Computer Science - Special volume of selected papers of the Sixth Workshop on the Mathematical Foundations of Programming Semantics, Kingston, Ont., Canada, May 1990
Handbook of logic in artificial intelligence and logic programming (vol. 1)
Handbook of logic in artificial intelligence and logic programming (vol. 1)
Temporal logic (vol. 1): mathematical foundations and computational aspects
Temporal logic (vol. 1): mathematical foundations and computational aspects
Knowledge-based artificial neural networks
Artificial Intelligence
Reasoning about knowledge
The nature of statistical learning theory
The nature of statistical learning theory
NSL '94 Proceedings of the first workshop on Non-standard logics and logical aspects of computer science
Preferred answer sets for extended logic programs
Artificial Intelligence
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Logic in computer science: modelling and reasoning about systems
Logic in computer science: modelling and reasoning about systems
Artificial Intelligence
Knowledge-based neurocomputing
Knowledge-based neurocomputing
Symbolic knowledge extraction from trained neural networks: a sound approach
Artificial Intelligence
Modal logic
A modal analysis of staged computation
Journal of the ACM (JACM)
Bioinformatics: the machine learning approach
Bioinformatics: the machine learning approach
Recognizing Handwritten Digits Using Hierarchical Products of Experts
IEEE Transactions on Pattern Analysis and Machine Intelligence
Neural Networks: A Comprehensive Foundation
Neural Networks: A Comprehensive Foundation
Neural Networks for Pattern Recognition
Neural Networks for Pattern Recognition
Machine Learning
Connectionist inference models
Neural Networks
Neural-Symbolic Learning System: Foundations and Applications
Neural-Symbolic Learning System: Foundations and Applications
The Connectionist Inductive Learning and Logic Programming System
Applied Intelligence
Three problems in computer science
Journal of the ACM (JACM)
The common fragment of CTL and LTL
FOCS '00 Proceedings of the 41st Annual Symposium on Foundations of Computer Science
Logic and Learning
Reasoning about Uncertainty
Hi-index | 5.23 |
The construction of computational models with provision for effective learning and added reasoning is a fundamental problem in computer science. In this paper, we present a new computational model for integrated reasoning and learning that combines intuitionistic reasoning and neural networks. We use ensembles of neural networks to represent intuitionistic theories, and show that for each intuitionistic theory and intuitionistic modal theory there exists a corresponding neural network ensemble that computes a fixed-point semantics of the theory. This provides a massively parallel model for intuitionistic reasoning. In our model, the neural networks can be trained from examples to adapt to new situations using standard neural learning algorithms, thus providing a unifying foundation for intuitionistic reasoning, knowledge representation, and learning.