Quantifying information and contradiction in propositional logic through test actions

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2003, Pages 106-111

  Konieczny, Sebastien ^a   Lang, Jerome ^a   Marquis, Pierre ^b  

^a IRIT   (France)

^b UNIVERSITÉ D'ARTOIS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ATOMIC PROPOSITIONS; PROPOSITIONAL FORMULAS; PROPOSITIONAL LOGIC; TRUTH VALUES;

ARTIFICIAL INTELLIGENCE;

FORMAL LOGIC;

EID: 84880828473     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

1. C. E. Alchourron, P. Giirdenfors, and D. Makinson. On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic, 50:510-530, 1985.
2. P. Besnard and A. Hunter. Quasi-classical logic: Non-trivializable classical reasoning from inconsistent information. In ECSQARU'95, pages 44-51, 1995.
3. G. Brewka. Preferred subtheories: an extended logical framework for default reasoning. In IJCAI'89, pages 1043-1048, 1989.
4. M. Ginsberg and D. E. Smith. Reasoning about action I: A possible world approach. Artificial Intelligence, 35:165-195, 1988. (Pubitemid 18623371)
5. J. Hintikka. On semantic information. Information and Inference, pages 3-27, 1970.
6. A. Hunter. Reasoning with conflicting information using quasi-classical logic. Journal of Logic and Computation, 10:677-703, 2000.
7. A. Hunter. Measuring inconsistency in knowledge via quasi-classical models. In AAAI'02, pages 68-73, 2002.
8. A. Hunter. Evaluating significance of inconsistencies. In IJCAI'O3 (this issue), 2003.
9. J.G. Kemeny. A logical measure function. Journal of Symbolic Logic, 18:289-308, 1953.
10. K.M. Knight. Measuring inconsistency. Journal of Philosophical Logic, 31:77-98, 2002.
11. K.M. Knight. Two information measures for inconsistent sets. Journal of Logic, Language and Information, 12:227-248, 2003.
12. J. Lang and P. Marquis. Complexity results for independence and definability in propositional logic In KR' 98, pages 356-367, 1998.
13. J. Lang and P. Marquis. Resolving inconsistencies by variable forgetting. In KR 02, pages 239-250,
14. E. Lozinskii. Information and evidence in logic systems. Journal of Experimental and Theoretical Artificial Intelligence, 6:163-193, 1994.
15. E. Lozinskii. Resolving contradictions: a plausible semantics for inconsistent systems. Journal of Automated Reasoning, 12:1-31, 1994.
16. B. Nebel. Belief revision and default resoning: syntax-based approaches. In KR'91, pages 417-428, 1991.
17. D. Poole. A logical framework for default reasoning. Artificial Intelligence, 36:27-47, 1988.
18. G. Priest. Minimally inconsistent LP. Studia Logica, 50:321-331, 1991.
19. N. Rescher and R. Manor. On inference from inconsistent premises. Theory and Decision, 1:179-219, 1970.
20. C.E.Shannon. A mathematical theory of communication. Bell Systems Technical Journal, 27:379-423,623-656, 1948.
21. P. Wong and P. Besnard. Paraconsitent reasoning as an analytic tool. Journal of the Interest Group in Propositional Logic, 9:233-246, 2001.