View Proposal

Proposer
Oleksandr Letychevskyi
Title
Problems of simplifying Boolean formulas and AI
Goal
Studying the application of AI methods in simplifying algebraic expressions.
Description
On the basis of axioms and theorems of predicate logic (propositional or first-order) within the framework of the existing system of term rewriting, create an inference machine. Based on the output scenarios, create a neural network that determines the most efficient simplification step. The result could be an integration of a neural network and term rewriting system, or some other way of hinting at the simplification step.
Resources
Background
Url
Difficulty Level
High
Ethical Approval
None
Number Of Students
1
Supervisor
Oleksandr Letychevskyi
Keywords
first-order logic, algebraic expression simplifying, ai methods
Degrees
Back to List