Unification Algorithm Implementation for First-Order Logic Inference Engines

A unification algorithm is one of the most important parts of a First-Order Logic (FOL) inference engine because it allows for the discovery of substitutions that make two logical expressions identical. This process, in fact, is the very foundation for the work of successful automated reasoning and...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	2025 International Conference on Emerging Technologies in Computing and Communication (ETCC) s. 1 - 6
Hlavní autoři:	Babu, Tina, S, Tejaswi, K, Darshan S, M, Pavan kumar, P, Raviprakash B, G, Ravindra, Parashar, Komal
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 26.06.2025
Témata:	Automated Reasoning Cognition Computer science Engines Inference algorithms Inference Engine Knowledge representation Logic Logic programming Logical deduction Optimization Recursive Unification Reliability Scalability Symbolic Logic Theorem proving
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!