人工語言邏輯（logic of artificial language）是2003年公布的自然辯證法名詞，出自《自然辯證法名詞》第一版。
基本介紹
- 中文名：人工語言邏輯
- 外文名：logic of artificial language
- 所屬學科：自然辯證法
- 公布時間：2003年
公布時間,出處,
人工語言邏輯
相關詞條
- 人工語言邏輯
人工語言邏輯 人工語言邏輯（logic of artificial language）是2003年公布的自然辯證法名詞，出自《自然辯證法名詞》第一版。公布時間 2003年經全國科學技術名詞審定委員會審定發布。出處 《自然辯證法名詞》第一版。
- 人工智慧型語言
人工智慧型(AI)語言是一類適應於人工智慧和知識工程領域的、具有符號處理和邏輯推理能力的電腦程式設計語言。能夠用它來編寫程式求解非數值計算、知識處理、推理、規劃、決策等具有智慧型的各種複雜問題。典型的人工智慧語言主要有LISP、Prolog、Smalltalk、C++等。一般來說，人工智慧語言應具備如下特點： 具有符號處理能力...
- 邏輯語
邏輯語（lojban，又譯作理語），原名Loglan，是人工語言的一種。所有字均以鍵盤上可打出的26字組成：a b c d e f g h i j k l m n o p r s t u v x y z。1955年由詹姆士·庫克·布朗設計，1960年在《科學美國人》雜誌發表。它的最初目標是證明薩丕爾－沃夫假說（Sapir-Whorf hypothesis）。它...
- 人工智慧型設計語言
人工智慧型（AI）語言是一類適應於人工智慧和知識工程領域的、具有符號處理和邏輯推理能力的電腦程式設計語言。能夠用它來編寫程式求解非數值計算、知識處理、推理、規劃、決策等具有智慧型的各種複雜問題。人工智慧程式設計語言(programming lan-guage of artificial intelligence)亦稱人工智慧語言.一類電腦程式設計語言.使用這...
- 語言思維
跟自然語言和特殊語言相應的還有一種語言，即人工語言，這是包括數字在內的各種形式語言，人們可以利用這些語言進行邏輯思維，這種語言是人與計算機在信息處理方面最接近和最相似之處。形式語言專指構造數學與邏輯學等學科的形式化符號系統，有數字、邏輯符號、計算機語言等，建立在這些人工形式符號之上的思維，我們統稱為...
- 邏輯編程語言
Prolog(Programming in logic)是一種面向演繹推理的邏輯型程式設計語言，最早於1972年由柯爾麥倫納(Colmeraner)及其研究小組在法國馬賽大學提出。高濟，何欽銘著,人工智慧型基礎 （第二版）,高等教育出版社,2008.10,第67頁 關於邏輯程式語言 Prolog以處理一階謂詞演算為背景，由於其簡單的文法、豐富的表達力和獨特的非...
- 本體語言
基於一階邏輯的本體語言 CycL和KIF（知識交換格式）屬於是支持一階邏輯表達式的語言，尤其是允許通用謂詞（general predicates）。人工語言 人工語言（又稱人造語言，英語：Constructed language，簡稱conlang)，是許多因特定目的、用途，為了某特定使用族群，而人為創造出來的語言，包括文法、單字等等。人工語言不像自然語言...
- 形式邏輯(邏輯學術語)
所謂邏輯是思維的規律，邏輯學是關於思維規律的學說，思維規律是思維內容與思維“形式”的統一。“形式”邏輯也是從內容和“形式”的統一上來研究思維規律的學說，因而絕不是什麼純“形式”的邏輯。正好像傳統把概念說成是思維的“形式”是混淆了概念和語言一樣，把傳統邏輯說成是思維“形式”的學說是混淆了傳統邏輯...
- 思維(人用頭腦進行邏輯推導的屬性、能力和過程)
可以從心理學、人工智慧型、計算機科學、數學、生理學及文學藝術等方面著手來研究人的思維過程的規律。思維科學的套用領域十分廣泛，涉及科學語言學、模式識別、人工智慧、教育學、情報學、管理學、文字學等學科的研究。思維科學在中國作為一門新興的學科已引起各方面專家、學者的興趣關注。有不少地方開展了思維科學研究有...
- 計算語言學
計算語言學（Computational Linguistics）指的是這樣一門學科，它通過建立形式化的數學模型，來分析、處理自然語言，並在計算機上用程式來實現分析和處理的過程，從而達到以機器來模擬人的部分乃至全部語言能力的目的。簡介 我們所說的語言分為自然語言與人工語言兩大類。自然語言是人類在自身發展的過程中形成的語言，是人...
- 元語言
將語言分為元語言和對象語言兩個層次是塔爾斯基和卡爾納普分別於1933年和1934年提出來的。不過，塔爾斯基的思想只是在其著作《演繹科學語言中的真理概念》由波蘭文譯成德文於1935年發表後，才廣為人知的。因此，一般認為，卡爾納普最早提出語言分層理論。起初，卡爾納普把兩個語言層次的區分當作建立人工語言的邏輯語形學...
- 電腦程式語言
高級語言一般是指像BASIC、FORTRAN、COBOL、PASCAL、C等語言，採用了類似於自然語言的程式結構。高級語言由一般語言，經結構化語言，現發展到了面向對象語言，如c++、Java等。除了上述的過程語言外，還出現了函式程式設計語言。為了使計算技術有效地為人工智慧型服務，邏輯程式設計語言也展現出了新的面貌，出現了LISP、...
- 自然語言處理(語言處理方式)
語言是人類區別其他動物的本質特性。在所有生物中，只有人類才具有語言能力。人類的多種智慧型都與語言有著密切的關係。人類的邏輯思維以語言為形式，人類的絕大部分知識也是以語言文字的形式記載和流傳下來的。因而，它也是人工智慧型的一個重要，甚至核心部分。用自然語言與計算機進行通信，這是人們長期以來所追求的。因為...
- 建模語言
代表性的建模語言 在各種文獻上介紹過的過程建模語言已達數十個，從表示風格上可以分為以下幾種類型：邏輯規則，也稱為基於規則的語言或邏輯語言；命令式程式設計語言；自動機，包括有窮狀態自動機和網人工智慧型，指採用人工智慧技術的語言等一些語言兼具不同的風格，介紹幾種有代表性的語言。ALF 在ALF中，過程模型被...
- 日常語言哲學
哲學與邏輯經驗主義的分歧 日常語言哲學與邏輯經驗主義是分析哲學的兩個並列的支派，它們觀點上的主要分歧是：①邏輯經驗主義者認為日常語言不精確，容易引起哲學混亂，有必要構造精確的人工語言以消除混亂；日常語言學派認為日常語言本身是完善的，哲學混亂之所以產生，是因為哲學家們背離了日常語言的正確用法，通過研究日常...
- 人工智慧型(計算機科學的一個分支)
人工智慧型將涉及到計算機科學、心理學、哲學和語言學等學科。可以說幾乎是自然科學和社會科學的所有學科,其範圍已遠遠超出了計算機科學的範疇,人工智慧與思維科學的關係是實踐和理論的關係,人工智慧是處於思維科學的技術套用層次,是它的一個套用分支。從思維觀點看,人工智慧不僅限於邏輯思維,要考慮形象思維、靈感思維才能...
- 人工智慧型產品經理:人機對話系統設計邏輯探究
本書以幫助讀者構建人機對話/人工智慧型產品經理的完整知識體系結構為主脈絡，闡述了人工智慧對未來社會的影響；舉例說明了產品經理應該如何培養抽象、歸納及系統的思維能力；通俗講解了人工智慧方向下蓬勃發展的機器學習、深度學習及自然語言處理技術的必備知識；詳細介紹了人工智慧技術在人機對話領域的具體套用實踐；細緻剖析了...
- 邏輯·語言·計算
《邏輯·語言·計算》是2019年商務印書館出版的圖書，作者是馬希文 。內容簡介 本書收集了馬希文20世紀70年代以來在數學、計算機科學、人工智慧型、語言學方面的重要論文二十餘篇以及一部專著，反映了他在多個領域所做的開創性、先驅性及前瞻性的貢獻，蘊含著深邃獨到、極富創新的學術思想，對當今信息技術的發展及多學科...
- 世界語(於1887年發明創立的一種國際語)
這些語言在二十世紀初時都曾在一定時間內流行。其它的可供考慮的語言包括：成型中立語（Idiom Neutral），奧克西登塔語（Occidental），創新語和拉丁國際語；其中，一些語言的最初構想並不是用來作為國際輔助語言的，例如：邏輯語（Lojban）。因為世界語是最廣為人知的人工輔助語言，很多人都忽略了其他的人工輔助語。
