We present an overview of symbolic-statistical modeling language PRISM whose programs are not only a probabil istic extension of logic programs but also able to learn f rom examples w i th the help of the EM learning algori thm. As a knowledge representation language appropriate for probabil istic reasoning, it can describe various types of symbolic-statistical modeling formalism known but unre...

The place in question is the entrance to the cave, towards the exit of which Plato guides us...it is an entrance one can only reach just as it closes (the place will never be overrun with tourists), and the only way for it to open up a bit is by calling from the inside....This is not unsolvable, assuming the “open sesame” of the unconscious consists in having speech effects, the unconscious bei...

Symbolic has been long considered as a language of human intelligence while neural networks have advantages of robust computation and dealing with noisy data. Integration of neural-symbolic can offer better learning and reasoning while providing a means for interpretability through the representation of symbolic knowledge. Although previous works focus intensively on supervised feedforward neur...

BDD-based symbolic model checking is capable of verifying systems with a large number of states. In this work, we report an extensible framework to facilitate symbolic encoding and checking of hierarchical systems. Firstly, a novel library of symbolic encoding functions for compositional operators (e.g., parallel composition, sequential composition, choice operator, etc.) are developed so that ...

Sound-symbolism is the nonarbitrary link between the sound and meaning of a word. Japanesespeaking children performed better in a verb generalization task when they were taught novel sound-symbolic verbs, created based on existing Japanese sound-symbolic words, than novel nonsound-symbolic verbs (Imai, Kita, Nagumo, & Okada, 2008). A question remained as to whether the Japanese children had pic...

Zhou-Yi (The Book of Changes) is an ancient Chinese learning. This book composed the so-called Eight Diagrams symbol system. system consists (0) and (1), modern binary arithmetic its homology. It “language system” used by ancestors to recognize create everything. paper expounds generating principle rules this system, analyzes thoughts Changes. At same time, we appeal use creative education in s...