A semantic approach for iterated revision in possibilistic logic

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 2008, Pages 523-528

  Qi, Guiliin ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BIONICS; INFORMATION THEORY; SEMANTICS;

LOGICAL PROPERTIES; NEW APPROACHES; POSSIBILISTIC LOGICS; SEMANTIC APPROACHES;

ARTIFICIAL INTELLIGENCE;

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

References (21)

1. Benferhat S.; Cayrol, C.; Dubois, D.; Lang, J.; and Prade, H. 1993. Inconsistency Management and Prioritized Syntax-Based Entailment. In Proc. of IJCAI, 223-236.
2. Benferhat S.; Dubois, D.; Prade, H.; and Williams, M.-A. 2002. A practical approach to revising prioritized knowledge bases. Studia Logica 70(1):105-130.
3. Benferhat, S.; Kaci, S.; Berre, D.L.; and Williams, M.-A. 2004. Weakening conflicting information for iterated revision and knowledge integration. Artif. Intell. 153(1-2):339-371.
4. Brewka, G. 1989. Preferred Subtheories: An Extended Logical Framework for Default Reasoning. In Proc. of IJCAI, 1043-1048.
5. Darwiche, A. and Pearl, J. 1997. On the Logic of Iterated Belief Revision. Artif. Intell. 89(1-2):1-29.
6. Delgrande, J.P.; Dubois, D.; and Lang, J. 2006. Iterated revision as prioritized merging. In Proc. of KR, 210-220.
7. Dubois, D.; Lang, J.; and Prade, H. 1994. Possibilistic logic. In Handbook of logic in Artificial Intelligence and Logic Programming, Volume 3. Oxford University Press, 439-513.
8. Fagin, R.; Ullman, J. D.; and Vardi, M. Y. 1983. On the Semantics of Updates in Databases. In Proc. of PODS, 352-365.
9. Gärdenfors, P. 1988. Knowledge in Flux-Modeling the Dynamic of Epistemic States. Cambridge: The MIT Press.
10. Ginsberg, M.L. 1986. Counterfactuals. Artif. Intell. 30(1):35-79.
11. Hansson, S. O. 1999. A Textbook of Belief Dynamics: Theory Change and Database Updating. Kluwer Academic Publishers.
12. Jin, Y. and Thielscher, M. 2007. Iterated belief revision, revised. Artif Intell. 171(1):1-18.
13. Katsuno, H. and Mendelzon, A.O. 1992. Propositional Knowledge Base Revision and Minimal Change. Artif. Intell. 52(3):263-294.
14. Nayak, A.C.; Pagnucco, M.; and Peppas, P. 2003. Dynamic belief revision operators. Artif Intell. 146(2): 193-228.
15. Nebel, B. 1991. Belief Revision and Default Reasoning: Syntax-Based Approaches. In Proc. of KR, 417-428.
16. Nebel, B. 1998. How Hard is it to Revise a Belief Base? In Handbook of Defeasible Reasoning and Uncertainty Management Systems, Kluwer, Dordrecht, The Netherlands, 77-145.
17. Qi, G.; Liu, W.; and Bell, D. 2005. A Revision-Based Approach to Resolving Conflicting Information. In Proc. of UAI, 477-484.
18. Qi, G. 2007. A Model-based Approach for Merging Prioritized Knowledge Bases in Possibilistic Logic. In Proc. of AAAI, 471-476.
19. Rott, H. 2000. Two dogmas of belief revision. Journal of Philosophy 97(9):503-522.
20. Williams, M.-A. 1994. Transmutations of Knowledge Systems. In Proc. of KR, 619-629.
21. Williams, M.-A. 1996. Towards a Practical Approach to Belief Revision: Reason-Based Change. In Proc. of KR, 412-420.