Distributed Knowledge Representation in Neural-Symbolic Learning Systems: A Case Study

Neural-symbolic integration concerns the integration of symbolic and connectionist systems. Distributed knowledge representation is traditionally seen under a purely symbolic perspective. In this paper, we show how neural networks can represent symbolic distributed knowledge, acting as multiagent systems with learning capability (a key feature of neural networks). We then apply our approach to the well-known muddy children puzzle, a problem used as a testbed for distributed knowledge representation formalisms. Finally, we sketch a full solution to this problem by extending our approach to deal with knowledge evolution over time.

[1]  Krysia Broda,et al.  Neural-symbolic learning systems - foundations and applications , 2012, Perspectives in neural computing.

[2]  Thomas Eiter,et al.  Preferred Answer Sets for Extended Logic Programs , 1999, Artif. Intell..

[3]  Yasubumi Sakakibara.  Programming in Modal Logic: An Extension of PROLOG based on Modal Logic , 1986, LP.

[4]  Michael Zakharyaschev,et al.  Modal Logic , 1997, Oxford logic guides.

[5]  Alessandra Russo,et al.  Generalising Propositional Modal Logic Using Labelled Deductive Systems , 1996, FroCoS.

[6]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[7]  A.S. d'Avila Garcez,et al.  A connectionist inductive learning system for modal logic programming , 2002, Proceedings of the 9th International Conference on Neural Information Processing, 2002. ICONIP '02..

[8]  Dov M. Gabbay,et al.  Chapter 13 – Labelled Deductive Systems , 2003 .

[9]  A.S. d'Avila Garcez,et al.  Extended theory refinement in knowledge-based neural networks , 2002, Proceedings of the 2002 International Joint Conference on Neural Networks. IJCNN'02 (Cat. No.02CH37290).

[10]  Max J. Cresswell,et al.  A New Introduction to Modal Logic , 1998 .

[11]  Jacek M. Zurada,et al.  Knowledge-based neurocomputing , 2000 .

[12]  Dov M. Gabbay,et al.  The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems , 1987, Temporal Logic in Specification.

[13]  Wanli Ma,et al.  An Overview of Temporal and Modal Logic Programming , 1994, ICTL.

[14]  Artur S. d'Avila Garcez,et al.  The Connectionist Inductive Learning and Logic Programming System , 1999, Applied Intelligence.

[15]  Steffen Hölldobler,et al.  Approximating the Semantics of Logic Programs by Recurrent Neural Networks , 1999, Applied Intelligence.