Hintikka

基本解釋

Knuuttila and J Hintikka (eds.), The Logic of Being, D. Reidel Publishing Company, 1986, p.1-2.
古漢語中的“是”作爲(wèi)指示代詞就有這個意義，衹可惜它不同時也是系動詞。
The reasoning methods that rise by AR have been applied widespreadly. Semantic tableau method proposed by Beth (1959) and Hintikka (1955) was introduced to ATP by AI researcher later. Tableau method is virtually show binary relation in semantic structure.
語義tableau方法由Beth(1959)、Hintikka(1955)年提出，而後由人工智能研究者引入到自動定理証明中，tableau方法的實質(zhì)是將語義結(jié)搆中的二元關(guān)系顯式地表現(xiàn)出來。