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...
保存先:
| 主要な著者: | , , , , |
|---|---|
| フォーマット: | Artigo |
| 言語: | Inglês |
| 出版事項: |
Springer
2025-01-01
|
| シリーズ: | International Journal of Computational Intelligence Systems |
| 主題: | |
| オンライン･アクセス: | https://doi.org/10.1007/s44196-024-00726-y |
| タグ: |
タグなし, このレコードへの初めてのタグを付けませんか!
|