Related Experiment Video
Updated: Aug 7, 2026

Closed-loop Neuro-robotic Experiments to Test Computational Properties of Neuronal Networks
Published on: March 2, 2015
A goal-driven neural propositional interpreter
1Instituto de Computação, Universidade Federal Fluminense, Rua Passo da Pátria, 156, Bl. E, sala 350, 24210-240, Niterói, RJ, Brazil. priscila@ic.uff.br
Abstract:
This work presents ARQ-PROP-II, the propositional version of a neural engine for finding proofs by refutation using the Resolution Principle. This neural architecture does not require special arrangements or modules to do forward or backward reasoning, being driven by the goal posed to it. ARQ-PROP-II is capable of integrated monotonic reasoning with complete and incomplete knowledge. The neural mechanism presented herein is the first to our knowledge that does not require that the knowledge base be either pre-encoded or learnt.
More Related Videos
11:14A Novel Experimental and Analytical Approach to the Multimodal Neural Decoding of Intent During Social Interaction in Freely-behaving Human Infants
Published on: October 4, 2015
09:27Using Eye Movements Recorded in the Visual World Paradigm to Explore the Online Processing of Spoken Language
Published on: October 13, 2018
Related Concept Videos
Inductive Reasoning
Deductive Reasoning
Higher Mental Functions of the Brain: Language
Language formation and comprehension take place in the dominant hemisphere. The dominant hemisphere is responsible for understanding the meaning of spoken, written, or sign language, as well as the ability to communicate. For most people, the left hemisphere is the dominant one. The right hemisphere, then, gives tone and emotional context to the...
Parseval's Theorem
Interestingly, Parseval's theorem also holds for the trigonometric form of the Fourier series, which expresses a...
Purposive Learning
Reasoning
Inductive reasoning involves deriving generalizations from specific observations. This type of reasoning helps form beliefs about the world. For example,...