Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Experiment Videos

A goal-driven neural propositional interpreter.

P M Lima1

  • 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

International Journal of Neural Systems
|September 28, 2001
PubMed
Summary
This summary is machine-generated.

Related Concept Videos

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Sequential method for fast neural population activity reconstruction in the cortex from incomplete noisy measurements.

Computers in biology and medicine·2021
Same author

Association of high-fat diet with neuroinflammation, anxiety-like defensive behavioral responses, and altered thermoregulatory responses in male rats.

Brain, behavior, and immunity·2019
Same author

Expression of D3 and D4 dopamine receptors in leukocytes is related to schizophrenic symptoms.

Schizophrenia research·2005
Same journal

Latent Space Projections and Atlases, a Cautionary Tale in Deep Neuroimaging using Autoencoders.

International journal of neural systems·2026
Same journal

Transformer-Based Anomaly Detection for Neurodegenerative Screening in MRI Images.

International journal of neural systems·2026
Same journal

Discrete Wavelet Convolution for Learnable Time-Frequency Representation with Application to Seizure Prediction.

International journal of neural systems·2026
Same journal

Automatic Seizure Detection using Hierarchical Spectral-Temporal Feature Learning with an Imbalance-Aware Transformer.

International journal of neural systems·2026
Same journal

Pyramid Vision Transformer-Enhanced Conformer Network for Epileptic Seizure Recognition Using MultiChannel EEG Signals.

International journal of neural systems·2026
Same journal

A Time-Frequency Decoupled Contrastive Learning Framework for Electroencephalography-Based Parkinson's Disease Diagnosis.

International journal of neural systems·2026
See all related articles

This study introduces ARQ-PROP-II, a novel neural engine for automated theorem proving. It efficiently finds proofs using the Resolution Principle without needing pre-encoded knowledge bases.

Area of Science:

  • Artificial Intelligence
  • Automated Reasoning
  • Machine Learning

Background:

  • Automated theorem proving is crucial for AI and logic.
  • Existing methods often require pre-encoded knowledge or complex architectures.
  • Integrating monotonic reasoning with incomplete knowledge is challenging.

Purpose of the Study:

  • To present ARQ-PROP-II, a novel neural engine for propositional logic.
  • To demonstrate a system capable of integrated monotonic reasoning.
  • To introduce a neural mechanism that does not require pre-encoding or learning of the knowledge base.

Main Methods:

  • Development of ARQ-PROP-II, a neural architecture for refutation-based theorem proving.
  • Utilizing the Resolution Principle.

Related Experiment Videos

  • Implementing a goal-driven mechanism that integrates forward and backward reasoning implicitly.

    • Main Results:

    • ARQ-PROP-II successfully performs automated theorem proving.
    • The system integrates monotonic reasoning with both complete and incomplete knowledge.
    • It is the first known neural mechanism that bypasses the need for pre-encoding or learning the knowledge base.

    Conclusions:

    • ARQ-PROP-II represents a significant advancement in neural theorem proving.
    • The system offers a flexible approach to reasoning with knowledge.
    • This work opens new avenues for AI systems that learn and reason dynamically.