排序方式: 共有5条查询结果,搜索用时 0 毫秒
1
1.
2.
3.
次协调逻辑用于解决在含有矛盾的系统中如何进行有效推理的问题,基于扩充真值的APC是对经典谓词演算的扩展,APC归结能够用于次协调系统的自动推理.设计了既能在协调的环境下,也能在不协调的环境下进行有效推理的自动推理系统,实现了提高推理效率的多种策略. 相似文献
4.
Ofer Arieli 《Annals of Mathematics and Artificial Intelligence》2002,36(4):381-417
We introduce a fixpoint semantics for logic programs with two kinds of negation: an explicit negation and a negation-by-failure. The programs may also be prioritized, that is, their clauses may be arranged in a partial order that reflects preferences among the corresponding rules. This yields a robust framework for representing knowledge in logic programs with a considerable expressive power. The declarative semantics for such programs is particularly suitable for reasoning with uncertainty, in the sense that it pinpoints the incomplete and inconsistent parts of the data, and regards the remaining information as classically consistent. As such, this semantics allows to draw conclusions in a non-trivial way, even in cases that the logic programs under consideration are not consistent. Finally, we show that this formalism may be regarded as a simple and flexible process for belief revision. 相似文献
5.
We study inconsistency and unsatis ability and their relation to soundness, completeness, paraconsistency and conservative extension in generic logical systems (formalized as institutions equipped with an entailment system). 相似文献
1