This project is for demonstrating the concepts from Big Data Arhcitecture class: Google Cloud and industry best practices for deplyoment.
It was an exploratory self-study to learn about Theorem Provers and Turing Completeness.
This was part of the Big Data Architecture course during my Masters in Data Science at University of Colorado Boulder, Spring 2022. The Big Data Architecture course only focusses on deployment, cloud environments and developing apis along with industry best practices.
Theorem Prover: https://theorem-prover-4182022.uc.r.appspot.com/
The modules for demonstrating Big Data Architecture were selected based on my learning as well as past work experience along with the intent to research further as well as with the intent to publish. Thus the implementation is not directly provided here due to possible research and publication goals.
This project demonstrates proof-of-concept implementation of following modules:
Basics from AIMA, 4th edition
- Simple mathematical theorem prover represented in symbols Automated Theorem Prover
- Theorem prover for first of order logic statements from brute force parser for the grammar. First Order Logic
- First order logic conversion using brute force approach. First Order Logic
Natural Language Inference Engine using a Language Model. NLI
Pending approval from researcher for replication
- This is a theorem prover using first order logic statements from natural language corpus.
Due to research content, this repository implicitly expects to contact author for permissions and thus can only be cited as a reference and replication upon permission from the author of this reposiroty. Additionally, also requires researcher approval for commercial use which is the main reason this repository does not have an Open License.
Documentation: Please refer code of conduct for this repository.
Sagar - CS, University of Colorado Boulder. Documented the guidelines and steps: Google Cloud deployment with GitHub Actions