Title: A Simple Hilbert Logic For Expert Systems
Author:James Kuodo Huang

---

Description.

      An expert system is an AI computer system that emulates the decision-making ability of a human expert. Rule-based knowledge Expert systems were very successful around 1980-1990. Then their technology have been evolved and used in almost all fields to build intelligent agent systems and tools. In this article, an axiomatic Hilbert logic is proposed as the foundation for expert systems. Also an axiom called "Axiom of consistency check (ACC for short)" is introduced.

References

(1) J. Kuodo Huang ˇ¨Toward a Complete and Perfect Hilbertˇ¦s Axiomatic Logic System",
    AMS Miami Meeting April 1-3 2006.
(2) J. Kuodo Huang ˇ¨Programming in Hilbertˇ¦s Complete Perfect Logicˇ¨,
   AMS San Francisco Meeting, April 29-30. (2006)
(3)J. kuodo Huang "Hilbert Second Problems and Uncertainty Computing,
   Journal of Nanchang Institute of Technology, Vol. 25 (2006) No. 2, Page 36-42
(4) David Hilbert, "Mathematical Problems", Bulletin of the American Mathematical Society
   vol. 8, no. 10 (1902), pp. 437-479.
(5) J. Kuodo Huang, B. Chen, SRM Learning Game Theory With Application to Internet Security and Management Systems,
   IEEE Proceedings Grc2007, Page 584-587
(6) J. Kuodo Huang "On Systems Software Engineering with Application to Bioinformatics",
   IEEE Proceedings Grc2007, Page 628-631. ........