Development of Automated Reasoning System Capable of Generating Proofs For Mathematical Theorems

Authors

  • Christiana Uchenna Ezeanya

    National Open University of Nigeria,
    Author

  • Ignatius Nwoyibe Ogbaga

    David Umahi Federal University of Health Sciences,
    Author

  • Ogochukwu Vivian Nwaocha

    National Open University of Nigeria, Jabi, Abuja.
    Author

  • Victor Utibe Edmond 

    Federal University of Allied Health Science, Enugu
    Author

  • Taiwo Victor Adedeji

    National Open University of Nigeria Jabi, Abuja
    Author

Keywords:

first-order logic (FOC), Automated Reasoning System, Automated-theorem proving (ATP), Artificial Intelligence (AI), Automatic Mathematics Solver

Abstract

The increasing complexity of mathematical theorems and the demand for efficient verification methods have driven significant advancements in automated reasoning systems. This research presents the design and implementation of an Automated Reasoning System capable of generating and validating proofs for mathematical theorems using artificial intelligence and logical frameworks. The system integrates First-Order Logic (FOL) with resolution theorem-proving and heuristic search optimization to enhance proof accuracy, computational efficiency, and scalability.

 

Author Biographies

  • Ignatius Nwoyibe Ogbaga, David Umahi Federal University of Health Sciences,

    *

     

     

  • Ogochukwu Vivian Nwaocha, National Open University of Nigeria, Jabi, Abuja.

     

    Department of Information Systems and technology

     

    Email: 

  • Victor Utibe Edmond , Federal University of Allied Health Science, Enugu

     

     

Downloads

Published

2025-10-25

Issue

Vol. 12 No. 8 (2025): VOLUME 12 ISSUE 8

Section

Articles