Shortcuts and dynamic marking in the tableau method for adaptive logics

被引：6

作者：

Batens D. ^{[1
]}

Meheus J. ^{[1
]}

机构：

[1] Centre for Logic and Philosophy of Science, Universiteit Gent

来源：

Studia Logica | 2001年 / 69卷 / 2期

关键词：

Adaptive Logic; Dynamics; Tableaux;

D O I：

10.1023/A:1013865807250

中图分类号：

学科分类号：

摘要：

Adaptive logics typically pertain to reasoning procedures for which there is no positive test. In [7], we presented a tableau method for two inconsistency-adaptive logics. In the present paper, we describe these methods and present several ways to increase their efficiency. This culminates in a dynamic marking procedure that indicates which branches have to be extended first, and thus guides one towards a decision -the conclusion follows or does not follow -in a very economical way. © 2001 Kluwer Academic Publishers.

引用

页码：221 / 248

页数：27

共 20 条

[1]

Batens B., Inconsistency-adaptive logics and the foundation of non-monotonic logics, Logique et Analyse, 145, pp. 57-94, (1994)

[2]

Batens D., Blocks. the clue to dynamic aspects of logic, Logique et Analyse, 150-152, pp. 285-328, (1995)

[3]

Batens D., Inconsistency-adaptive Logics, pp. 445-472

[4]

Batens D., Minimally abnormal models in some adaptive logics, Synthese, 125, pp. 5-18, (2000)

[5]

Batens D., A Survey of Inconsistency-adaptive Logics, pp. 49-73

[6]

Batens D., Towards the unification of inconsistency handling mechanisms, Logic and Logical Philosophy

[7]

Batens D., Meheus J., A tableau method for inconsistency-adaptive logics, Lecture Notes in Artificial Intelligence, 1847, pp. 127-142, (2000)

[8]

Frontiers of Paraconsistent Logic, (2000)

[9]

Benferhat S., Dubois D., Prade H., Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. Part 1: the flat case, Studia Logica, 58, pp. 17-45, (1997)

[10]

Benferhat S., Dubois D., Prade H., Some Syntactic Approaches to the Handling of Inconsistent Knowledge Bases: A Comparative Study, pp. 473-511

← 1 2 →