GitHub

First Order Predicate Logic Theorem Prover

Variable The most generic entity (also atomic) which can substitute any other entity Name of variable should start with lower case Constant The most specific atomic entity which represents phenomenon ...
GitHub

Teaching LLMs Reasoning in Predicate Logic

This is my master thesis project, supervised by Prof. Dr. Jan Niehues and Prof. Dr. Gregor Betz, both from the Karlsruhe Institute of Technology. It is about teaching different large language models ...
IEEE

Fuzzy predicate logic for Knowledge Representation

Abstract: Sometimes AI has to deal with incomplete problems. Knowledge Representation is the main component to solve the problems in AI. Various Knowledge representation techniques are available to ...
Techniques de l'Ingénieur

Propositional Logic and Predicate Logic

This article, the second in a series of three, deals with the classical logics which will give rise to mathematical logic at the end of the 19th century. The logic of propositions is first presented, ...
IEEE

Probabilistic models for intuitionistic predicate logic

Abstract: This article deals with some probabilistic model theory for intuitionistic predicate logic. We introduce the notions of intuitionistic probability, probabilistic structure for intuitionistic ...