tractable

标签

#tractable

理性闭包下可废止DL-Lite的可处理推理与合取查询回答

arXiv cs.AI ↗ · 2026-06-24 缓存

本文研究了描述逻辑DL-Lite家族的理性闭包，提供了一种插件架构，用于高效的非单调推理和合取查询回答，且计算开销最小。

0 人收藏 0 人点赞

← 返回首页

提交意见反馈