A Novel Conflict Deduction Algorithm Based on Contradiction Separation Inference Rule

Abstract Automated reasoning, a significant field within artificial intelligence, has attracted increased attention in recent years due to the rising demand for trustworthy AI. Binary resolution, among other inference rules, is crucial in automated reasoning of first-order logic, including the new c...

Popoln opis

Bibliografske podrobnosti

Principais autores:	Hailin Guo, Feng Cao, Jianbing Yi, Guanfeng Wu, Weicai Li
Format:	Artigo
Jezik:	Inglês
Izdano:	Springer 2025-01-01
Serija:	International Journal of Computational Intelligence Systems
Teme:	Automated reasoning Binary resolution First-order logic Conflict resolution Contradiction separation rule
Online dostop:	https://doi.org/10.1007/s44196-024-00726-y
Oznake:	Označite Brez oznak, prvi označite!