A unified approximate reasoning theory suitable for both propositional calculus system ℒ* and predicate calculus system κ*

Science in China, Series F: Information Sciences

Volumn 48, Issue 1, 2005, Pages 1-14

  Wang, Guojun ^a,b   Chin, K S ^c   Dang, C Y ^c  

^a SHAANXI NORMAL UNIVERSITY   (China)

^b XI'AN JIAOTONG UNIVERSITY   (China)

^c CITY UNIVERSITY OF HONG KONG   (Hong Kong)

Author keywords

Approximate reasoning; Complete theorem; Hilbert cube of type R0; Metric lindenbaum algebra of type R0; Metric R0 algebra

Indexed keywords

EID: 33746339930     PISSN: 10092757     EISSN: None     Source Type: Journal    
DOI: 10.1360/04yf0094     Document Type: Article

References (26)

1. Görz, G., Hölldobler, S., Advances in Artificial Intelligence, Lecture Notes in Artificial Intelligence 1137, New York: Springer-Verlag, 1996.
2. Shi, C. Y., Huang, C. N., Wang, J. Q., Principle of Artificial Intelligence, Beijing: TsingHua University Press, 1993.
3. Lloyd, J. W., Foundations of Logic Programming, New York: Springer-Verlag, 1987.
4. Schumann, J. M., Automated Theorem Proving in Software Engineering, Berlin: Springer-Verlag, 2001.
5. Liu, X. H., Automated Deduction Based on Resolution Principle, Beijing: Science in China Press, 1994.
6. Qiu, Y. H., Zhang, W. Q., Introduction to Automated Deduction, Chengdu: Electronic Science and Technology University Press, 1992.
7. Chang, C. L., Lee, R. C., Symbolic Logic and Mechanical Theorem Proving, New York: Academic Press, 1987.
8. Antoniou, G., Nonmonotonic Reasoning, Cambridge: The MIT Press, 1977.
9. Lu, R. Q., Ying, M. S., A model of reasoning about knowledge. Science in China, Ser. E, 1998, 41(5): 527-534.
10. Williamson, J., Gabbay, D., Special issue on combining probability and logic, J. Applied Logic, 2003, 1(1-2): 135-138.
11. Goguen, J. A., The logic of inexact concepts, Syntheses, 1968/69, 19(3): 325-373.
12. Pavelka, J., On fuzzy logic I, II, III, Z. f. Math. Logik u Grundlagen d Math., 1979, 25(1-3), 45-72, 119-134, 447-464.
13. Ying, M. S., A logic for approximate reasoning, J. Symbolic Logic, 1994, 59(3): 830-837.
14. Wang, G. J., Fu, L., Song, J. S., Theory of truth degrees of propositions in two valued prepositional logic, Science in China, Ser. A, 2002, 45(9): 1106-1116.
15. Wang, G. J., Wang, W., Logic metric spaces, Acta Mathematica Sinica (in Chinese), 2001, 44(1): 159-168.
16. Wang, G. J., Non-classical Logic and Approximate Reasoning (in Chinese), Beijing: Science Press, 2000.
17. Wang, G. J., Song, Q. Y., Song, Y. J., Metric Boolean algebras and its applications in prepositional logic, Acta Mathematica Sinica (in Chinese), 2004, 74(2): 317-326.
18. Wang, G. J., Leung, Y., Integrated semantics and logic metric spaces, Fuzzy Sets and Systems, 2003, 136(1): 71-91.
19. Wang, G. J., A formal deduction system for fuzzy prepositional calculus, Chinese Science Bulletin, 1997, 42(10): 1041-1045.
20. Pei, D. W., Wang, G. J., The completeness and applications of the formal system ℒ*, Science in China, Ser. F, 2002, 45(1): 40-50.
21. Wang, S. M., Wang, B. S., Wang, G. J., A triangular-norm-based prepositional fuzzy logic, Fuzzy Sets and Systems, 2003, 136(1): 55-70.
22. Pei, D. W., The first order system κ* and its completeness, Chinese Annals of Mathematics (A) (in Chinese), 2002, 23(6): 675-684.
23. Wang, S. M., Wang, B. S., Wang, G. J., A triangular norm-based fuzzy predicate logic, Fuzzy Sets and Systems, 2003, 138(2): 177-186.
24. Wang, G. J., Introduction to Mathematical Logic and Resolution Principle (in Chinese), Beijing: Science Press, 2003.
25. Engelking, R., General Topology, Berlin: Heldermann Verlag, 1989.
26. Monk, J. D., Mathematical Logic, Beijing: Springer-Verlag, 1992.