Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2001 | 10.1023/A:1013865807250 | Studia Logica |
Keywords | Field | DocType |
Adaptive Logic,Tableaux,Dynamics | T-norm fuzzy logics,Computational linguistics,Algorithm,Artificial intelligence,Mathematics,Method of analytic tableaux | Journal |
Volume | Issue | ISSN |
69 | 2 | 1572-8730 |
Citations | PageRank | References |
9 | 1.80 | 4 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Diderik Batens | 1 | 148 | 20.23 |
Joke Meheus | 2 | 80 | 11.00 |