Chin-Liang Chang, a Taiwanese American computer scientist with research interests in artificial intelligence, fuzzy logic, theorem proving, database, and software engineering and the internet. In 1967, Chin-Liang Chang wrote his Ph.D thesis at University of California, Berkeley on fuzzy logic, advised by its inventor Lotfi A. Zadeh [1] . At National Institutes of Health, Bethesda, Maryland, along with Richard C. T. Lee, James R. Slagle and John K. Dixon, Chin-Liang Chang researched on automated theorem proving, to extend Slagle's semantic resolution principle [2] , an inference rule for first-order predicate calculus, to deduce logical consequences from a set of axioms [3] . He further worked for IBM Almaden Research Center, San Jose, California, Lockheed Missiles & Space Company, Inc., Menlo Park, California [4] , and Nicesoft Corp., USA [5] , where he developed the Fuzzy programming language NICEL. After his retirement, he has being enjoying being an entrepreneur. His motto is “There is ‘no distance’ in Internet, and there is ‘no age’ in Entrepreneurship” [6] .
Chin-Liang Chang [7]

Selected Publications

• Chin-Liang Chang (1967). Fuzzy Sets and Pattern Recognition. Ph.D. thesis, advisor: Lotfi A. Zadeh, University of California, Berkeley
• James R. Slagle, Chin-Liang Chang, Richard C. T. Lee (1969). Completeness Theorems for Semantic Resolution In Consequence-Finding. IJCAI-69, pdf
• James R. Slagle, Chin-Liang Chang, Richard C. T. Lee (1970). A New Algorithm for Generating Prime Implicants. IEEE Transactions on Computers, Vol. 19, No. 4
• Chin-Liang Chang, James R. Slagle (1971). An Admissible and Optimal Algorithm for Searching AND/OR Graphs. Artificial Intelligence, Vol. 2, No. 2
• Chin-Liang Chang, Richard C. T. Lee, John K. Dixon (1973). The Specialization of Programs by Theorem Proving. SIAM Journal on Computing, Vol 2, No. 1
• Chin-Liang Chang, Richard C. T. Lee (1973). Symbolic Logic and Mechanical Theorem Proving. Academic Press, New York, 1973
• Chin-Liang Chang (1985). Introduction to Artificial Intelligence Techniques. JMA Press, Open Library
• Chin-Liang Chang (1997). Fuzzy-Logic-Based Programming. Advances in Fuzzy Systems - Applications and Theory, Vol 15, google books

External Links

• North America Taiwanese Engineers' Association

References

1. ^ Ph.D. Dissertations | EECS at UC Berkeley
2. ^ James R. Slagle (1967). Automatic Theorem Proving With Renamable and Semantic Resolution. Journal of the ACM, Vol. 14, No. 4
3. ^ James R. Slagle, Chin-Liang Chang and Richard C. T. Lee (1969). Completeness Theorems for Semantic Resolution In Consequence-Finding. IJCAI-69, pdf
4. ^ Symbolic Logic and Mechanical Theorem Proving - Elsevier
5. ^ Fuzzy-Logic-Based Programming
6. ^ RISE Sessions: Chin Chang
7. ^ Chin-Liang Chang and Tim Walker | Flickr - Fotosharing!, One Web Day Austin, September 22, 2007, Photo by Jon Lebkowsky
8. ^ DBLP: Chin-Liang Chang
9. ^ Researchr - Publications by 'Chin-Liang Chang'

What links here?