Paraconsistent reasoning with quasi-classical semantic in ALC

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5341 LNCS, Issue , 2008, Pages 222-229

  Zhang, Xiaowang ^a,b   Lin, Zuoquan ^a  

^a PEKING UNIVERSITY   (China)

^b ANHUI UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; FORMAL LANGUAGES; KNOWLEDGE REPRESENTATION; SEMANTICS;

CLASSICAL SEMANTICS; INCONSISTENCY HANDLING; INCONSISTENT INFORMATION; KNOWLEDGE REPRESENTATION FORMALISM; NON-MONOTONIC REASONING; PARACONSISTENT REASONING; QUASI-CLASSICAL LOGIC; REASONING MECHANISM;

DATA DESCRIPTION;

EID: 57049087990     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-88737-9_18     Document Type: Conference Paper

References (11)

1. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)
2. Belnap, N.D.: A useful four-valued logic. Modern uses of multiple-valued logics, 7-73 (1977)
3. Besnard, P., Hunter, A.: Quasi-classical logic: Non-trivializable classical reasoning from incosistent information. In: Froidevaux, C., Kohlas, J. (eds.) ECSQARU 1995. LNCS, vol. 946, pp. 44-51. Springer, Heidelberg (1995)
4. da Costa, N.C.: On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic 15, 496-510 (1974)
5. Hunter, A.: Paraconsistent logics. Handbook of Defeasible Reasoning and Uncertainty Management Systems 2, 11-36 (1998)
6. Hunter, A., Nuseibeh, B.: Managing inconsistent sepecifiations:reasoning, analysis and action. Transactions on Software Engineering and Methpdplogy 7, 335-367 (1998)
7. Hunter, A.: Reasoning with contradictory information using quasi-classical logic. J. Log. Comput. 10(5), 677-703 (2000)
8. Hunter, A.: Reasoning with inconsistency in structured text. Knowledge Engineering Review 15, 317-337 (2000)
9. Hunter, A.: A semantic tableau version of first-order quasi-classical logic. In: Benferhat, S., Besnard, P. (eds.) ECSQARU 2001. LNCS (LNAI), vol. 2143, pp. 544-555. Springer, Heidelberg (2001)
10. Hunter, A.: Measuring inconsistency in knowledge via quasi-classical models. Springer, Heidelberg (2002)
11. Ma, P.H.Y., Lin, Z.: Paraconsistent resolution for four-valued description logics (2007)