Quasi-Possibilistic Logic and its Measures of Information and Conflict

Fundamenta Informaticae

Volumn 57, Issue 2-4, 2003, Pages 101-125

  Dubois, Didier ^a   Konieczny, Sébastien ^a   Prade, Henri ^a  

^a IRIT   (France)

Author keywords

Inconsistency; Measures of information; Paraconsistent logic; Possibilistic logic; Uncertainty

Indexed keywords

COMPUTATIONAL COMPLEXITY; FORMAL LOGIC; INFORMATION RETRIEVAL; KNOWLEDGE BASED SYSTEMS; SEMANTICS;

PARACONSISTENT LOGIC; POSSIBILISTIC LOGIC;

KNOWLEDGE ENGINEERING;

EID: 1642444977     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (33)

1. Belnap, N.: A useful four-valued logic, Modem uses of multiple-valued logic, 1977, 8-37.
2. Benferhat, S., Dubois, D., Prade, H.: Some syntactic approaches to the handling of inconsistent knowledge bases: a comparative study, part 1 : the flat case, Studio Logica, 58, 1997, 17-45.
3. Benferhat, S., Dubois, D., Prade, H.: An overview of inconsistency-tolerant inferences in prioritized knowledge bases, in: Fuzzy Sets, Logic and Reasoning about Knowledge, vol. 15 of Applied Logic Series, Kluwer, 1999, 395-417.
4. Besnard, P., Hunter, A.: Quasi-classical logic: Non-trivializable classical reasoning from inconsistent information, Proceedings of the 3rd European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU'95), LNAI 946, Springer Verlag, 1995.
5. Besnard, P., Lang, I: Possibility and necessity functions over non-classical logics, Proceedings of the 10th Int. Conf. on Uncertainty in Artificial Intelligence (UAI'94), 1994.
6. Cayrol, C., Lagasquie-Schiex, M.: Non-monotonic syntax-based entailment: a classification of consequence relations, Proceedings of the 3rd European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU'95), LNAI 946, Springer Verlag, 1995.
7. Dubois, D., Lang, J., Prade, H.: Automated reasoning using possibilistic logic: Semantics, belief revision and variable certainty weights, IEEE Trans. Data and Knowledge Engineering, 6, 1994, 64-71.
8. Dubois, D., Lang, J., Prade, H.: Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3, chapter Possibilistic logic, Oxford University Press, 1994, 439-513.
9. Dubois, D., Prade, H.: Properties of measures of information in evidence and possibility theories, Fuzzy Sets and Systems, 24, 1987, 161-182, Reprinted in Fuzzy Sets and Systems, supplement to Vol. 100, 35-49, 1999.
10. Dubois, D., Prade, H.: Properties of measures of information in evidence and possibility theories, Fuzzy Sets and Systems, 24, 1987, 161-182, Reprinted in Fuzzy Sets and Systems, supplement to Vol. 100, 35-49, 1999.
11. Dupin de Saint-Cyr, F., Lang, J., Schiex, T.: Penalty logic and its links with Dempster-Shafer theory, Proceedings of the 10th Int. Conf. on Uncertainty in Artificial Intelligence (UAI'94), 1994.
12. Gärdenfors, P.: Knowledge influx, MIT Press, 1988.
13. Hartley, R. V. L.: Transmission of information, The Bell Systems Technical Journal, 1928, 535-563.
14. Higashi, M., Klir, G. J. : Measures of uncertainty and information based on possibility distributions, International Journal of General Systems, 9, 1983, 43-58.
15. Hunter, A.: Handbook of Defeasible Reasoning and Uncertain Information, vol. 2, chapter Paraconsistent logics, Kluwer, 1998.
16. Hunter, A.: Reasoning with conflicting information using quasi-classical logic, Journal of Logic and Computation, 10, 2000, 677-703.
17. Hunter, A.: Measuring inconsistency in knowledge via quasi-classical models, Proceedings of the American National Conference on Artificial Intelligence (AAAI'02), 2002.
18. Hunter, A.: Evaluating coherence and compromise in inconsistent information, 2003, Manuscript. University College London.
19. Hunter, A.: Evaluating significance of inconsistencies, Proceedings of the 18th International Joint Conference in Artificial Intelligence (IJCAI'03), 2003.
20. Katsuno, H., Mendelzon, A. O.: On the difference between updating a knowledge base and revising it, Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91), 1991.
21. Konieczny, S., Lang, J., Marquis, P.: Quantifying information and contradiction in propositional logic through test actions, Proceedings of the 18th International Joint Conference in Artificial Intelligence (IJCAI'03), 2003.
22. Konieczny, S., Pino Pérez, R.: Merging information under constraints: a qualitative framework, Journal of Logic and Computation, 12(5), 2002, 773-808.
23. Kraus, S., Lehmann, D., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics, Artificial Intelligence, 44, 1990, 167-207.
24. Lang, J.: Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol. 5, Kluwer, 2000.
25. Lang, J., Marquis, P.: In Search of the Right Extension, Proceedings of the 7th International Conference on Principles of Knowledge Representation and Reasoning (KR'00), 2000.
26. Lang, J., Marquis, P.: Resolving Inconsistencies by Variable Forgetting, Proceedings of the 8th International Conference on Principles of Knowledge Representation and Reasoning (KR'02), 2002.
27. Lozinskii, E.: Information and evidence in logic systems, Journal of Experimental and Theoretical Artificial Intelligence, 6, 1994, 163-193.
28. Lozinskii, E.: Resolving contradictions: a plausible semantics for inconsistent systems, Journal of Automated Reasoning, 12, 1994, 1-31.
29. Marquis, P., Porquet, N.: Computational aspects of quasi-classical entailment, Journal of Applied Non-Classical Logics, 11, 2001, 295-312.
30. Nebel, B.: Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol. 3, chapter How hard is it to revise a belief base?, Kluwer Academic Publishers, 1998, 77-145.
31. Ramer, A.: Concepts of fuzzy information measures on continuous domains, International Journal of General Systems, 17, 1990, 241-248.
32. Rescher, N., Manor, R.: On inference from inconsistent premises, Theory and Decision, 1, 1970, 179-219.
33. Yager, R. R. : Entropy and specificity in a mathematical theory of evidence, International Journal of General Systems, 9, 1983, 249-260.