Reasoning about Time and Knowledge in Neural Symbolic Learning Systems

@inproceedings{Garcez2003ReasoningAT,
  title={Reasoning about Time and Knowledge in Neural Symbolic Learning Systems},
  author={Artur S. d'Avila Garcez and Lu{\'i}s C. Lamb},
  booktitle={NIPS},
  year={2003}
}
We show that temporal logic and combinations of temporal logics and modal logics of knowledge can be effectively represented in artificial neural networks. We present a Translation Algorithm from temporal rules to neural networks, and show that the networks compute a fixed-point semantics of the rules. We also apply the translation to the muddy children puzzle, which has been used as a testbed for distributed multi-agent systems. We provide a complete solution to the puzzle with the use of… CONTINUE READING

Citations

Publications citing this paper.
Showing 1-10 of 18 extracted citations

Similar Papers

Loading similar papers…