25,161
edits
Changes
Created page with "'''Home * People * Chin-Liang Chang''' FILE:Chin-Liang_Chang.JPG|border|right|thumb|160px|link=http://www.flickr.com/photos/weblogsky/1426021556/in/set-72..."
'''[[Main Page|Home]] * [[People]] * Chin-Liang Chang'''
[[FILE:Chin-Liang_Chang.JPG|border|right|thumb|160px|link=http://www.flickr.com/photos/weblogsky/1426021556/in/set-72157602121396968| Chin-Liang Chang <ref>[http://www.flickr.com/photos/weblogsky/1426021556/in/set-72157602121396968 Chin-Liang Chang and Tim Walker | Flickr - Fotosharing!], [http://effaustin.org/2009/09/one-web-day-austin-september-22/ One Web Day Austin], September 22, 2007, Photo by [https://en.wikipedia.org/wiki/Jon_Lebkowsky Jon Lebkowsky]</ref> ]]
'''Chin-Liang Chang''',<br/>
a [https://en.wikipedia.org/wiki/Taiwanese_American Taiwanese American] computer scientist with research interests in [[Artificial Intelligence|artificial intelligence]], [https://en.wikipedia.org/wiki/Fuzzy_logic fuzzy logic], [https://en.wikipedia.org/wiki/Automated_theorem_proving theorem proving], [https://en.wikipedia.org/wiki/Database database], and [https://en.wikipedia.org/wiki/Software_Engineering software engineering] and the [https://en.wikipedia.org/wiki/Internet internet]. In 1967, Chin-Liang Chang wrote his Ph.D thesis at [[University of California, Berkeley]] on fuzzy logic, advised by its inventor [[Mathematician#LAZadeh|Lotfi A. Zadeh]] <ref>[http://www.eecs.berkeley.edu/Pubs/Dissertations/Faculty/zadeh.html Ph.D. Dissertations | EECS at UC Berkeley]</ref> . At [https://en.wikipedia.org/wiki/National_Institutes_of_Health National Institutes of Health], [https://en.wikipedia.org/wiki/Bethesda,_Maryland Bethesda, Maryland], along with [[Richard C. T. Lee]], [[James R. Slagle]] and [[John K. Dixon]], Chin-Liang Chang researched on [https://en.wikipedia.org/wiki/Automated_theorem_proving automated theorem proving], to extend Slagle's semantic [https://en.wikipedia.org/wiki/Resolution_%28logic%29 resolution] principle <ref>[[James R. Slagle]] ('''1967'''). ''Automatic Theorem Proving With Renamable and Semantic Resolution''. [[ACM#Journal|Journal of the ACM]], Vol. 14, No. 4</ref> , an [https://en.wikipedia.org/wiki/Inference inference] rule for [https://en.wikipedia.org/wiki/First-order_logic first-order predicate calculus], to deduce logical consequences from a set of [https://en.wikipedia.org/wiki/Axiom axioms] <ref>[[James R. Slagle]], [[Chin-Liang Chang]], [[Richard C. T. Lee]] ('''1969'''). ''Completeness Theorems for Semantic Resolution in Consequence-Finding''. [[Conferences#IJCAI|IJCAI-69]], [http://ijcai.org/Past%20Proceedings/IJCAI-69/PDF/028.pdf pdf]</ref> .
=Entrepreneurship=
Chin-Liang Chang further worked for [https://en.wikipedia.org/wiki/IBM_Almaden_Research_Center IBM Almaden Research Center], [https://en.wikipedia.org/wiki/San_Jose,_California San Jose, California], [https://en.wikipedia.org/wiki/Lockheed_Missiles_and_Space_Company Lockheed Missiles & Space Company, Inc.], [https://en.wikipedia.org/wiki/Menlo_Park,_California Menlo Park, California] <ref>[http://www.elsevier.com/wps/find/bookdescription.cws_home/679092/description#description Symbolic Logic and Mechanical Theorem Proving - Elsevier]</ref> , and Nicesoft Corp., USA <ref>[http://www.worldscibooks.com/compsci/3413.html Fuzzy-Logic-Based Programming]</ref> , where he developed the [https://en.wikipedia.org/wiki/Fuzzy_Control_Language Fuzzy programming language] NICEL. After his retirement, he has being enjoying being an [https://en.wikipedia.org/wiki/Entrepreneur entrepreneur]. His motto is “There is ‘no distance’ in Internet, and there is ‘no age’ in entrepreneurship” <ref>[https://www.riseglobal.org/sessions/host/112 RISE Sessions: Chin Chang]</ref> .
=Selected Publications=
<ref>[http://www.informatik.uni-trier.de/%7Eley/db/indices/a-tree/c/Chang:Chin=Liang.html DBLP: Chin-Liang Chang]</ref> <ref>[http://researchr.org/alias/chin-liang-chang Researchr - Publications by 'Chin-Liang Chang']</ref>
==1967 ...==
* [[Chin-Liang Chang]] ('''1967'''). ''Fuzzy Sets and Pattern Recognition''. Ph.D. thesis, advisor: [[Mathematician#LAZadeh|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''. [[Conferences#IJCAI|IJCAI-69]], [http://ijcai.org/Past%20Proceedings/IJCAI-69/PDF/028.pdf pdf]
==1970 ...==
* [[James R. Slagle]], [[Chin-Liang Chang]], [[Richard C. T. Lee]] ('''1970'''). ''[http://portal.acm.org/citation.cfm?id=1310139.1310332&coll=DL&dl=GUIDE&CFID=27479742&CFTOKEN=16394760 A New Algorithm for Generating Prime Implicants]''. [https://en.wikipedia.org/wiki/IEEE_Transactions_on_Computers IEEE Transactions on Computers], Vol. 19, No. 4
* [[Chin-Liang Chang]], [[James R. Slagle]] ('''1971'''). ''[http://www.sciencedirect.com/science/article/pii/0004370271900063 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''. [https://en.wikipedia.org/wiki/SIAM_Journal_on_Computing 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, [http://openlibrary.org/works/OL4956559W/Introduction_to_artificial_intelligence_techniques Open Library]
* [[Chin-Liang Chang]] ('''1997'''). ''[http://www.worldscibooks.com/compsci/3413.html Fuzzy-Logic-Based Programming]''. [http://www.worldscibooks.com/series/afsat_series.shtml Advances in Fuzzy Systems - Applications and Theory], Vol 15, [http://books.google.com/books?id=KPMBSG7TvqMC google books]
=External Links=
* [http://www.natea.org/index.php?region=hq&t=organization North America Taiwanese Engineers' Association]
=References=
<references />
'''[[Engines|Up one level]]'''
[[FILE:Chin-Liang_Chang.JPG|border|right|thumb|160px|link=http://www.flickr.com/photos/weblogsky/1426021556/in/set-72157602121396968| Chin-Liang Chang <ref>[http://www.flickr.com/photos/weblogsky/1426021556/in/set-72157602121396968 Chin-Liang Chang and Tim Walker | Flickr - Fotosharing!], [http://effaustin.org/2009/09/one-web-day-austin-september-22/ One Web Day Austin], September 22, 2007, Photo by [https://en.wikipedia.org/wiki/Jon_Lebkowsky Jon Lebkowsky]</ref> ]]
'''Chin-Liang Chang''',<br/>
a [https://en.wikipedia.org/wiki/Taiwanese_American Taiwanese American] computer scientist with research interests in [[Artificial Intelligence|artificial intelligence]], [https://en.wikipedia.org/wiki/Fuzzy_logic fuzzy logic], [https://en.wikipedia.org/wiki/Automated_theorem_proving theorem proving], [https://en.wikipedia.org/wiki/Database database], and [https://en.wikipedia.org/wiki/Software_Engineering software engineering] and the [https://en.wikipedia.org/wiki/Internet internet]. In 1967, Chin-Liang Chang wrote his Ph.D thesis at [[University of California, Berkeley]] on fuzzy logic, advised by its inventor [[Mathematician#LAZadeh|Lotfi A. Zadeh]] <ref>[http://www.eecs.berkeley.edu/Pubs/Dissertations/Faculty/zadeh.html Ph.D. Dissertations | EECS at UC Berkeley]</ref> . At [https://en.wikipedia.org/wiki/National_Institutes_of_Health National Institutes of Health], [https://en.wikipedia.org/wiki/Bethesda,_Maryland Bethesda, Maryland], along with [[Richard C. T. Lee]], [[James R. Slagle]] and [[John K. Dixon]], Chin-Liang Chang researched on [https://en.wikipedia.org/wiki/Automated_theorem_proving automated theorem proving], to extend Slagle's semantic [https://en.wikipedia.org/wiki/Resolution_%28logic%29 resolution] principle <ref>[[James R. Slagle]] ('''1967'''). ''Automatic Theorem Proving With Renamable and Semantic Resolution''. [[ACM#Journal|Journal of the ACM]], Vol. 14, No. 4</ref> , an [https://en.wikipedia.org/wiki/Inference inference] rule for [https://en.wikipedia.org/wiki/First-order_logic first-order predicate calculus], to deduce logical consequences from a set of [https://en.wikipedia.org/wiki/Axiom axioms] <ref>[[James R. Slagle]], [[Chin-Liang Chang]], [[Richard C. T. Lee]] ('''1969'''). ''Completeness Theorems for Semantic Resolution in Consequence-Finding''. [[Conferences#IJCAI|IJCAI-69]], [http://ijcai.org/Past%20Proceedings/IJCAI-69/PDF/028.pdf pdf]</ref> .
=Entrepreneurship=
Chin-Liang Chang further worked for [https://en.wikipedia.org/wiki/IBM_Almaden_Research_Center IBM Almaden Research Center], [https://en.wikipedia.org/wiki/San_Jose,_California San Jose, California], [https://en.wikipedia.org/wiki/Lockheed_Missiles_and_Space_Company Lockheed Missiles & Space Company, Inc.], [https://en.wikipedia.org/wiki/Menlo_Park,_California Menlo Park, California] <ref>[http://www.elsevier.com/wps/find/bookdescription.cws_home/679092/description#description Symbolic Logic and Mechanical Theorem Proving - Elsevier]</ref> , and Nicesoft Corp., USA <ref>[http://www.worldscibooks.com/compsci/3413.html Fuzzy-Logic-Based Programming]</ref> , where he developed the [https://en.wikipedia.org/wiki/Fuzzy_Control_Language Fuzzy programming language] NICEL. After his retirement, he has being enjoying being an [https://en.wikipedia.org/wiki/Entrepreneur entrepreneur]. His motto is “There is ‘no distance’ in Internet, and there is ‘no age’ in entrepreneurship” <ref>[https://www.riseglobal.org/sessions/host/112 RISE Sessions: Chin Chang]</ref> .
=Selected Publications=
<ref>[http://www.informatik.uni-trier.de/%7Eley/db/indices/a-tree/c/Chang:Chin=Liang.html DBLP: Chin-Liang Chang]</ref> <ref>[http://researchr.org/alias/chin-liang-chang Researchr - Publications by 'Chin-Liang Chang']</ref>
==1967 ...==
* [[Chin-Liang Chang]] ('''1967'''). ''Fuzzy Sets and Pattern Recognition''. Ph.D. thesis, advisor: [[Mathematician#LAZadeh|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''. [[Conferences#IJCAI|IJCAI-69]], [http://ijcai.org/Past%20Proceedings/IJCAI-69/PDF/028.pdf pdf]
==1970 ...==
* [[James R. Slagle]], [[Chin-Liang Chang]], [[Richard C. T. Lee]] ('''1970'''). ''[http://portal.acm.org/citation.cfm?id=1310139.1310332&coll=DL&dl=GUIDE&CFID=27479742&CFTOKEN=16394760 A New Algorithm for Generating Prime Implicants]''. [https://en.wikipedia.org/wiki/IEEE_Transactions_on_Computers IEEE Transactions on Computers], Vol. 19, No. 4
* [[Chin-Liang Chang]], [[James R. Slagle]] ('''1971'''). ''[http://www.sciencedirect.com/science/article/pii/0004370271900063 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''. [https://en.wikipedia.org/wiki/SIAM_Journal_on_Computing 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, [http://openlibrary.org/works/OL4956559W/Introduction_to_artificial_intelligence_techniques Open Library]
* [[Chin-Liang Chang]] ('''1997'''). ''[http://www.worldscibooks.com/compsci/3413.html Fuzzy-Logic-Based Programming]''. [http://www.worldscibooks.com/series/afsat_series.shtml Advances in Fuzzy Systems - Applications and Theory], Vol 15, [http://books.google.com/books?id=KPMBSG7TvqMC google books]
=External Links=
* [http://www.natea.org/index.php?region=hq&t=organization North America Taiwanese Engineers' Association]
=References=
<references />
'''[[Engines|Up one level]]'''
