The Sound and Complete R-Calculi with Respect to Pseudo-Revision and Pre-Revision ()
Wei Li,
Yuefei Sui
Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China.
State Key Laboratory of Software Development Environment, Beijing University of Aeronautics and Astronautics, Beijing, China.
DOI: 10.4236/ijis.2013.32012
PDF
HTML XML
2,888
Downloads
5,207
Views
Citations
Share and Cite:
W. Li and Y. Sui, "The Sound and Complete
R-Calculi with Respect to Pseudo-Revision and Pre-Revision,"
International Journal of Intelligence Science, Vol. 3 No. 2, 2013, pp. 110-117. doi:
10.4236/ijis.2013.32012.
Conflicts of Interest
The authors declare no conflicts of interest.
References
[1]
|
C. E. Alchourron, P. Gardenfors and D. Makinson, “On the Logic of Theory Change: Partial Meet Contraction and Revision Functions,” The Journal of Symbolic Logic, Vol. 50, No. 2, 1985, pp. 510-530. doi:10.2307/2274239
|
[2]
|
A. Darwiche and J. Pearl, “On the Logic of Iterated Belief Revision,” Artificial Intelligence, Vol. 89, No. 1-2, 1997, pp. 1-29. doi:10.1016/S0004-3702(96)00038-0
|
[3]
|
W. Li, “R-Calculus: An Inference System for Belief Revision,” The Computer Journal, Vol. 50, No. 4, 2007, pp. 378-390. doi:10.1093/comjnl/bxl069
|
[4]
|
E. Fermé and S. O. Hansson, “AGM 25 Years, Twenty-Five Years of Research in Belief Change,” Journal of Philosophical Logic, Vol. 40, No. 2, 2011, pp. 295-331.
doi:10.1007/s10992-011-9171-9
|
[5]
|
N. Friedman and J. Y. Halpern, “Belief Revision: A Critique, to Appear in J. of Logic, Language and Information,” In: L. C. Aiello, J. Doyle and S. C. Shapiro, Eds., Proceedings of the 5th Conference of Principles of Knowledge Representation and Reasoning, 1996, pp. 421-431.
|
[6]
|
P. Gardenfors and H. Rott, “Belief Revision,” In: D. M. Gabbay, C. J. Hogger and J. A. Robinson, Eds., Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 4, Epistemic and Temporal Reasoning, Oxford Science Pub., Oxford, 1995, pp. 35-132.
|