研究方向介紹： 

  計算機自動(dòng)推理是計算機人工智能的一個(gè)重要分支學(xué)科。其研究目標主要是為了促進(jìn)數理科學(xué)、技術(shù)科學(xué)中研究、教學(xué)和應用工作中的推理活動(dòng)的機械化，用計算機代替或輔助人們進(jìn)行高級的腦力勞動(dòng)，如科研、教學(xué)和其他技術(shù)活動(dòng)中的探索性、創(chuàng )造性的活動(dòng)。這是近三十年來(lái)世界上在計算機科學(xué)領(lǐng)域最活躍的研究方向之一。其研究方法主要是數理邏輯、符號代數和有關(guān)的數學(xué)知識以及其他計算機技術(shù)如專(zhuān)家系統、數據庫技術(shù)的綜合運用，依理論－算法－程序的路線(xiàn)反復深入。這個(gè)方向的進(jìn)展對計算機智能軟件的研究和開(kāi)發(fā)的作用是不言而喻的．
主要經(jīng)歷：
　　1979.9-1981.6  中國科技大學(xué)數學(xué)系，講師 。
　　1981.7-1985.4  中國科技大學(xué)數學(xué)系 ，副教授。
　　1985.4-1986.12   中科院成都分院數理室 ，副研究員。
　　1986.12-1990.7   中科院成都分院數理室、 研究員、室主任。
　　1990.7 –1995.10 中科院成都計算機應用研究所  研究員、 副所長(cháng)。
　　1991.7   被批準為享受政府特殊津貼(100元/月)專(zhuān)家。
　　1993.10 -- 任四川大學(xué)博士導師。
　　1995.10 -- 當選為中國科學(xué)院院士。
　　1995.11 — 任中國科學(xué)院成都計算機應用研究所名譽(yù)所長(cháng)。
　　1996.1 —  任廣州師范學(xué)院教育軟件研究所所長(cháng)。
 研究成果及獲獎情況：
　　1990年張景中、楊路提出了定理機器證明的數值并行方法，在世界上首次用計算機實(shí)現了有嚴密理論依據的幾何定理例證法。方法優(yōu)點(diǎn)之一是占用內存小，至今是唯一可用袖珍計算機證明非平凡幾何定理的方法，也是機器證明中唯一可高度并行的算法。在國外文獻中稱(chēng)此法為“張楊定理”。用此法發(fā)現的新定理引起國外專(zhuān)文討論。
　　1992年張景中等提出了幾何定理可讀證明自動(dòng)生成的理論、算法和方法，并實(shí)現為通用的微機程序。用此新方法已經(jīng)證明近千個(gè)非平凡的幾何定理，其中有幾十個(gè)非歐幾何的新定理，對多數定理計算機自動(dòng)生成了簡(jiǎn)捷優(yōu)美的證明。國外著(zhù)名計算機科學(xué)家在公開(kāi)發(fā)表的出版物中稱(chēng)這一工作是使計算機能像處理算術(shù)那樣處理幾何的發(fā)展道路上的里程碑，是自動(dòng)推理領(lǐng)域三十年來(lái)最重要的工作。以此成果為主的項目獲中國科學(xué)院 1995 年自然科學(xué)一等獎，1997年國家自然科學(xué)二等獎。
 Email: zjz101@yahoo.com.cn