邏輯全知

邏輯全知（logical omniscient）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。

基本介紹

• 中文名：邏輯全知
• 外文名：logical omniscient
• 所屬學科：計算機科學技術
• 公布時間：2018年
• 審定機構：全國科學技術名詞審定委員會

定義

認知邏輯的一種假設。指智慧型體可以推導出他擁有的知識所蘊含的所有知識。

出處

《計算機科學技術名詞 》第三版。