操作语义学是计算机科学中的一个概念，它是使得计算机程序在数学上更加严谨的一种手段。其它类似的手段包括提供形式语义学，包括公理语义学和指称语义。 一个计算机语言的操作语义描述一段合理的程序是怎样被理解为一系列计算机步骤的。这些步骤就是这个程序的意义。在函數程式語言中一段终结性的序列在最后一步的返回程序...

提供程序设计语言的形式语义的方法很多，其中主要类别有： 指称语义学，着重于语言的执行结果而非过程，包括域理论； 操作语义学，例如抽象机（象SECD抽象机），着重于描述语言的过程； 公理语义学，如 谓词变换语义学和代数语义学。 Semantics with Applications...

语言学的语义学研究目的在于找出语义表达的规律性、内在解释、不同语言在语义表达方面的个性以及共性； 逻辑学的语义学是对一个逻辑系统的解释，着眼点在于真值条件，不直接涉及自然语言； 与计算机科学相关的语义学研究在于机器对自然语言的理解； 认知科学对语义学的研究在于人脑对语言单位的意义的存储及理解的模式。...

公理语义学（Axiomatic semantics）是使用数理逻辑来证明程序正确性。程序中的命令的意义描述是通过对程序状态(state)的断言（assertion）效果。断言是逻辑语句——带变量的谓词，而这些变量定义了程序的状态。 公理语义学的一个实例是霍尔逻辑。 代数语义学（英语：Algebraic...

提供程序设计语言的形式语义的方法很多，其中主要类别有： 指称语义学，着重于语言的执行结果而非过程，包括域理论； 操作语义学，例如抽象机（象SECD抽象机），着重于描述语言的过程； 公理语义学，如 谓词变换语义学和代数语义学。 类型论提供了设计分析和研究类型系统的形式基础。...

变迁系统在数学定义上和有向图一致，但与有限状态自动机有一定不同。 变迁系统的特点有： 系统状态的集合不一定是有限的或可数的； 状态迁移的集合不一定是有限的或可数的； 变迁系统并不需要给出“开始”状态或“最终”状态； 变迁系统可以表示为有向图，有限状态自动机则不能。 操作语义学 Kripke结构 有限状态机...

操作制約（英語：operant conditioning）是一种由刺激引起的行为改变的過程與方法，又稱為工具性条件反射（instrumental conditioning）或工具学习。操作制約与古典制約（classic conditioning）有所不同，操作...

UML提供了关联类（association class）用于构建被实化的关系类型。关联类既是关联又是类。 查看维基词典中的词条「reification」。 指称语义 形式语义学 操作语义学 The Java Language Specification, section 4.7 （页面存档备份，存于互联网档案馆）, Java...

义位（英語：Sememe）是语义学中能够独立存在、运用的最小意义单位。义位是形成語義場的核心。 义位可以是一个语素所表达的语义，比如英语的复数语素-s ，对应的义位即其语义为[复数化]；也可以是词的抽象表示，如一组动词“滑冰”、“跳”、“转弯”等对应的共同义素为[走]或[移动]，它们都有“以某种方式移动”的义位。...

在计算机科学中，指称语义（英語：Denotational semantics）是通过构造表达其语义的（叫做指称(denotation)或意义的）数学对象来形式化计算机系统的语义的一种方法。编程语言的形式语义的其他方法包括公理语义和操作语义。指称语义方式最初开发来处理一个单一计算机程序定义的系统。后来...

准为博士导师，1997年当选为中国科学院院士。 1981年提出了用结构操作语义描述软件中并发、同步及通讯现象的方法，系统地解决了诸如Ada、Edison等并发式程序设计语言的操作语义问题，结构操作语义方法已成为程序设计语言语义学的一种经典方法。 1992年建立了开放逻辑理论，解决了信息的不完全性、...

在資訊安全的領域中，靜態程序分析會稱為靜態應用程式安全檢測，簡稱SAST。 形式化方法是一種利用純粹數學的方式分析軟體的方法，應用到的數學技巧包括指稱語義、公理語義、操作语义学及抽象释义等計算機科學中的方法。 針對任何图灵完全的程式語言，不可能存在一演算法可以找出任意程式在執行期間的所有錯誤，也沒有數學方法可以得到一程...

操作系统。而所谓“实时”，不同语境中往往有着非常不同的意义。某些时候仅仅用作“高性能”的同义词。但在操作系统理论中“实时性”所指的通常是特定操作所消耗的时间（以及空间）的上限是可预知的。比如，如果说某个操作系统提供实时内存分配操作，那也就是说一个内存分配操作所用时间（及空间）无论如何也不会超出操作...

我们在论证中可能遇到的各种句子/判决的有效性条件依赖于它们的意义，所以负责任的逻辑学家不能完全避免提供某种处理这些句子的意义的需求。逻辑的语义指称逻辑学家已经介入来理解和确定他们感兴趣的意义部分的方式；逻辑学家在传统上只对是命题的句子感兴趣，它是适合逻辑操纵的理想的句子。...

語義學的一部分，而「卡住」（或者「搞錯」）則是動態語義學方面的屬性。 學術研究用途的玩具語言，常會提出型別安全方面的需求。另一方面，許多語言以人工方式所產生的型別安全，證實經常需要上千次的檢查。不過，某些語言，如Standard ML，其嚴格定義了語義，且 Java 也已提供型別安全[來源請求]。其它語言如...

语义网堆栈（英語：Semantic Web Stack）或称语义网蛋糕Semantic Web Cake、语义网千层饼（Semantic Web Layer Cake）指语义网的体系架构。 语义网堆栈利用图示解释是不同层面的语言所构成的层级结构；其中，每一层面都将利用下游层面的能力。该图说明的是针...

博弈语义是一种基于博弈论定义真或有效性等逻辑概念的形式语义，比如游戏者的赢策略。保尔·洛伦茨首先在1950年代晚期为逻辑引入了博弈语义。此后在逻辑中已经研究了很多不同的博弈语义。博弈语义也已经应用于编程语言的形式语义。 保罗·洛伦岑和Kuno Lorenz的主要动机是为直觉主义逻辑找到一种博弈论（他们的术语是"对话式"...

語義學（英语：Generative semantics）的替代理論，該理論從本質上顛覆了喬姆斯基的生成文法理論，認為喬姆斯基所提出的深層結構概念，其基礎是語義而非文法。喬姆斯基和其他生成語法學家認為句子的意義是源於句法，而生成語義學家則認為句子的句法源於意義。 最終，生成語義學（英语：Generative...

语义网（英语：Semantic Web）是由万维网联盟的蒂姆·伯纳斯-李（Tim Berners-Lee）在1998年提出的一个概念，它的核心是：通过给万维网上的文档（如: HTML文档）添加能够被计算机所理解的语义（元数据），从而使整个互联网成为一个通用的信息交换媒介。语义...

expression）的简称，在数学领域中是一些符号依据上下文的规则，有限而定义良好的组合。数学符号可用于标定常量、变量、操作、函数、括号、标点符号和分组，帮助确定操作顺序以及有其它考量的逻辑语法。 表达式随语境或不同领域学科也称：表示式、数学式、运算式（operation expression）、表式、陳式、算式...

家和中科院外籍院士，乃資訊学院现任教员。 Gordon Plotkin，归纳逻辑编程（Inductive Logic Programming）和操作语义学理论创始人（现任教员） 克里斯多福·畢曉普，现微软英国剑桥研究院院长（现任教员） 安德魯·澤塞曼，DeepMind科学家，牛津大学教授 艾力克斯·格雷夫斯，DeepMind科学家...

句法语言学领域涉及句子构成问题的许多方面。哲学语义学倾向专注于复合性原理，以解释有意义的部分和整个句子之间的关系。复合性原理主张，可以基于句子各部分（即单词、语素）的含义以及对其结构（即句法、逻辑）的理解来理解整个句子。此外，句法命题被编入话语或叙事结构中，而这些结构也通过时间关系和代词等语用学要素来编码含义。...

“从语义学的观点看，错误一定是意外：如果在“马”的外延中没有牛，那么对于“马”的意义来说，就不能要求牛被称为马。另一方面，如果“马”并不意味着它所意味的东西，并且如果这对于马来说是个错误，那么牛就永远不可能被称为“马”。将两者放到一起可以看到，错误地说出“这是马”的可能性预设了正确地说出它的语义学...

语句。后一种被谈论的语言他称之为对象语言（继而，对象语言可能包含应用于其他语言中的语句的真值谓词）。这种约束的原因在于，包含对自身真值谓词的语言会包含悖论。因此，塔斯基认为语义学理论不能被应用于任何自然语言，如英语，因为它们包含对自身的真值谓词。戴维森将该理论作为他的真值条件语义学...

義字詞。再根據這中介的表義字詞來決定使用人工國際語言（interlingual）化的機器翻譯，或是使用轉化原則法的機器翻譯（transfer-based machine translation）。這些方法都必須擁有具備足夠形態學的、語句學的、以及語義學的資訊以及大量的字詞規則所建構的辭彙。...

心智圖（或者是相似概念）被教育學家、工程師、心理學家和其他學家使用在學習、腦力激盪、記憶、視覺記憶和解決問題已經有幾世紀。而在上世紀這位有名的思想家托尼·博贊宣稱發明心智圖模型。他說他的想法來自阿尔佛雷德·科齐布司基的普通语义学。他發展一些早期心智圖的例子，並且生動地將亞里斯多德的概念顯現出來。哲學家拉曼·鲁尔（Ramon...

加（+）：2个操作数相加 减（-）：2个操作数相减或取1个操作数的负数（二进制补码表示:31） 乘（*）：2个操作数相乘 除（/）：2个操作数相除 求幂（**）}}：2个操作数求幂，前一个操作数为底数，后一个操作数为指数 关系 大于（>）：比较2个操作数，如果前者大于后者，结果为真 小于（<）：比较2个操作数，如果前者小于后者，结果为真...

语义情况。 用户自定义时间（User-defined Time）是用户根据自身需要或理解而定义的时间，这种时间的属性值一般是时间点，其语义由用户本身予以解释。系统通常将基于用户定义时间的时间域与其他一般属性域等同看待，相应操作与对普通字符串操作...

Operators）。 基本的操作符有：“非”（¬）、“与”（∧）、“或”（∨）、“条件”（→）以及“双条件”（↔）。“非”是一个一元操作符，它只操作一项（¬ P）。剩下的是二元操作符，操作两项来组成复杂语句（P ∧ Q, P ∨ Q, P → Q, P ↔ Q）。...

萬能翻譯機（英语：universal translator） 電腦語言學 受限自然語言 信息抽取 資訊檢索 词嵌入 自然語言理解 潛在語義索引 潜在语义学 隨機文法（英语：Stochastic grammar） 機器記者 寫作自動評分（英语：Automated essay scoring）...

形式语言理论是应用数学的一个分支，是研究形式文法和语言的学科。它在理論計算機科學、理论语言学、形式语义学、数理逻辑等领域有着广泛的应用。 形式文法是从一个“开始符号”出发的一套重写字符串的规则。因此，文法通常被认为是语言生成器。然而，它有时也可以用作“识别器”（计算机学中的一种函数，用于确定给定字符串是否属于该语言，是否为语法错...