A Novel Conflict Deduction Algorithm Based on Contradiction Separation Inference Rule

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...

Full description

Saved in:
Bibliographic Details
Main Authors: Hailin Guo, Feng Cao, Jianbing Yi, Guanfeng Wu, Weicai Li
Format: Article
Language:English
Published: Springer 2025-01-01
Series:International Journal of Computational Intelligence Systems
Subjects:
Automated reasoning
Binary resolution
First-order logic
Conflict resolution
Contradiction separation rule
Online Access:https://doi.org/10.1007/s44196-024-00726-y
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

https://doi.org/10.1007/s44196-024-00726-y

Similar Items