Neural-Symbolic Cognitive Reasoning Book

1 Introduction 1

2 Logic and Knowledge Representation 9

3 Artificial Neural Networks 23

4 Neural-Symbolic Learning Systems 35

5 Connectionist Modal Logic 55

6 Connectionist Temporal Reasoning 75

7 Connectionist Intuitionistic Reasoning 87

8 Applications of Connectionist Nonclassical Reasoning 101

9 Fibring Neural Networks 115

10 Relational Learning in Neural Networks 127

11 Argumentation Frameworks as Neural Networks 143

12 Reasoning about Probabilities in Neural Networks 161

13 Conclusions 169

References 181

Index 193