人工語言邏輯（logic of artificial language）是2003年公布的自然辯證法名詞。
基本介紹
- 中文名：人工語言邏輯
- 外文名：logic of artificial language
- 所屬學科：自然辯證法
- 公布時間：2003年
公布時間,出處,
公布時間
2003年經全國科學技術名提市少愚射戶詞審定委員料殃會審定發布整罪巴朵。
出處
《自然辯證法名慨舟束檔詞》第一版說臭肯頸民求。
人工語言邏輯（logic of artificial language）是2003年公布的自然辯證法名詞。
人工語言邏輯(logic of artificial language)是2003年公布的自然辯證法名詞。... 人工語言邏輯(logic of artificial language)是2003年公布的自然辯證法名詞。中文名 ...
人工語言即“人造語言”。英文是constructed language(或者planned language),簡稱conlang,熱衷構造語言的人一般稱為conlanger。為了各種目的,由某些人製造出的語言,其...
人工語言學派是分析哲學的一個流派。認為自然語言的表層語法結構掩蓋了語言深層的邏輯結構,是誤導的,哲學的任務在於揭露這一事實,分析語言深層的邏輯結構和形式,並用...
人工智慧型(AI)語言是一類適應於人工智慧型和知識工程領域的、具有符號處理和邏輯推理能力的電腦程式設計語言。能夠用它來編寫程式求解非數值計算、知識處理、推理、規劃...
邏輯語(lojban,又譯作理語),原名Loglan,是人工語言的一種。所有字均以鍵盤上可打出的26字組成:' , . a b c d e f g i j k l m n o p r s ...
人工智慧型編程語言是一類適應於人工智慧型和知識工程領域的、具有符號處理和邏輯推理能力的電腦程式設計語言。能夠用它來編寫程式求解非數值計算、知識處理、推理、規劃、...
“形式”邏輯也是從內容和“形式”的統一上來研究思維規律的學說,因而決不是什麼純“形式”的邏輯。正好像傳統把概念說成是思維的“形式”是混淆了概念和語言一...
人工智慧型(AI)語言是一類適應於人工智慧型和知識工程領域的、具有符號處理和邏輯推理能力的電腦程式設計語言。能夠用它來編寫程式求解非數值計算、知識處理、推理、規劃...
《邏輯·語言·計算(馬希文文選)》是2003年商務出版社出版的圖書,作者是馬希文。... 馬希文(1939-2000年)為我國計算語言學尊基人.與朱德熙先生共同組建北大計算語...
在計算機科學和人工智慧型領域,本體語言(ontology language、又稱為本體論語言)是指用於構建本體的形式語言。...
他們把分析日常道德語言看作倫理學的根本任務,但反對感情主義用刻板的人工語言(邏輯語言)代表日常道德語言繼承維根斯坦及分析哲學的語言分析方法,注重常道德語言的...
LISP語言(LISt Processing)正如其名字所描述的,是一種表處理語言。這種語言是最早的人工智慧型語言,計算機上用的最早的兩種高級語言之一。僅在FORTRAN之後。這種語言是...