Chin-Liang Chang

Home * People * Chin-Liang Chang



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. 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, an inference rule for first-order predicate calculus, to deduce logical consequences from a set of axioms.

=Entrepreneurship= Chin-Liang Chang further worked for IBM Almaden Research Center, San Jose, California, Lockheed Missiles & Space Company, Inc., Menlo Park, California, and Nicesoft Corp., USA , 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”.

=Selected Publications=

1967 ...

 * 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

1970 ...

 * 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

1980 ...

 * 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=

Up one level