logic theorist的中文翻譯

邏輯理論家

• logic:    邏輯

例句與用法

1. En 1955, Allen Newell et le futur prix Nobel d'économie, Herbert Simon, avec l'aide de Cliff Shaw, ont créé le « Théoricien logique (en) ».
   1955年，艾倫·紐厄爾和后來榮獲諾貝爾獎的赫伯特·西蒙在J. C. Shaw的協助下開發了“邏輯理論家（Logic Theorist）”。
2. Il a contribué à la création du langage IPL (Information Processing Language) en 1956 et à l'écriture de deux des premiers programmes en IA, le Logic Theory Machine (1956) et le General Problem Solver (1957) (avec Herbert Simon).
   他是信息處理語言（IPL）發明者之一，并寫了該語言最早的兩個AI程序，合作開發了邏輯理論家（Logic Theorist 1956年）和一般問題解決器General Problem Solver。