您正在查看 "知识表示" 分类下的文章 2008年10月09日 星期四 14:54
《哲学逻辑》的翻译问题
最近研读人民大学陈慕泽老师参与翻译的《哲学逻辑》（The Blackwell Guide to Philosophical Logic），觉得其中第一章第6节（第22页第10-14行）翻译不太精确。原文为：
The p |
2008年10月07日 星期二 15:42 （一）
逻辑的第一种含义，是指一组关系密切的人工语言。
逻辑的另一种较为古老的含义，是指对可靠论证的规则的研究。
一阶语言并不指任何事物，它包括一些符号，这些符号称为常项
世界上的某种事物被指派到一阶语句的某个常项上，这个一阶语句有意义，这种指派称为解释
一阶语句的意义，也就是它的语义这样确定：对一个一阶语句和它的一个解释，该解释总是使得这个一阶语句要么为 |
2008年09月04日 星期四 16:50 命题6. 所有不含否定的术语系统都是单调的。
证明：
由定义1可知，只要证明上Ext J的映射是单调的，术语系统 |
2008年09月04日 星期四 16:50 命题5：设T是一个术语集，I是一个解释，J是I对T的基本符号解释的约束。那么，I |
2008年09月04日 星期四 16:48
关于不含否定的术语系统的语义模型
对于非循环的术语系统，其语义模型可以用描述语义。对循环术语系统，则需要不动点语义模型。现在可证明，不含否定的循环术语系统，具有不动点模型。
|
2008年09月01日 星期一 16:10
一般地，我们这样定义循环术语系统T：
定义1. 直接使用：
设A,B为术语系统T中的原子概念
如果B出现A的定义的右边，则A在T中直接使用B。
A直接使用B，则<A, B>是直接使用关系。
定义2. 使用：
关系直接使用的传递闭包，称为使用。
如果概念系统T中存在概念A1,A2,...,Am，使得<A1,A2>, <A2,A3>, ... , <Am-1,Am>都是直接使用关系 |
2008年09月01日 星期一 9:48 《描述逻辑手册》描述逻辑基础部分，在说明描述逻辑的基本形式系统的定义是，提到“描述语言具有模型论语义”。AL是DL的一个最小描述语言集合，它具有以下的语法规则，即形式化表达形式（用BNF语法表示）。
设A为原子概念，C,D为描述：
C,D——> A | T | ┴ | ┑A | C∩D | ∀R.C | ∃R.T
这是AL描述语言的语法，AL语言的形式化描述。如何定义它的模型论语义呢？
为了定义AL概念的形式化语义，设有非空集合△( |
2008年08月29日 星期五 15:20 模型论是数理逻辑的分支，研究数学对象及其结构或解释的关联。对象的结构就是语法，对象的解释即为语义。数学对象可以使某个集合或某组句子等。
对一组句子，它的模型就是其所属语言的结构，并且在这个结构上，该句子被解释为真。即句子在结构上解释为真的条件界定。
对形式语言，设M表示模型，L表示形式语言系统，那么当L的每一个式子在M中都解释为真，则称M是L的模型。模型是语义学的，语法系统是形式化系统，形式系统本身不具有任何意义。若要形式化系统具有意义，则需要解释他，其中最重要的解释就是让每一条 |
2008年08月29日 星期五 14:40 概念是反映客观事物本质的思维形式。是在感知、认知和表象的基础上，经过比较、分析、综合、概括和抽象形成的。符合概念的一切客观事物的范围，构成概念的外延；概念所描述的客观事物最本质的属性的总和就是其内涵。概念总是用词语来表现的，概念的词语表现形式叫名称。同一个概念可以用不同的词语来表现。
1. 概念的形式表示：A={x | R(x)}。
其中A表示概念的名称，R(x)是其内涵，{x | R(x)}是外延。
2. 概念表示一个实体集合，集合中的所有元素是概念的外延，集合的入集条件是概念的内涵。
3. 词语只 |
2008年08月22日 星期五 11:45 1.
格lattice，可以在序关系上定义，也可以在代数结构上定义，二者是等价的
基于序关系的定义：
偏序关系<L, ≤>，如果对于L中任意两个元素，都有上确界(supremum, or join)和下确界(infimum, or meet)，则为格。
基于代数结构的定义：
代数结构<L, ∨, |
2008年08月01日 星期五 16:36
What is a referent?
|
|
什么是指称？
Origin: Glossary of linguistic terms
by Eugene E. Loos (general editor)
Susan Anderson (editor)
| |
2008年07月20日 星期日 8:56 关于逻辑的历史背景中所描述的谓词算法通常叫做经典一阶逻辑（Classical First-order Logic），是迄今最为广泛使用、研究和实现的逻辑版本。经典一阶逻辑的非凡之处在于它的发明者皮尔斯（Peirce）和弗雷格（Frege），他们自从极度离散的代不同符号的小前提出发，将其汇聚在于以相同的系统中，并能够推出完全相同的法则。符号尽管不同，其逻辑等价。即任何一种符号标示的命题都可以映射到另外符号标示的命题中，而且相同情况下，命题的真假性不变。但并不是所有的逻辑系统都是等价的。在大型的AI研讨会上，许多专题讨论各种所谓 |
2008年06月18日 星期三 12:29 来本尼兹在逻辑方面的努力是试图发明一种基于数学原理的通用语言，目标是精确地矫正人们的推理，而且足够全面，能够表达和平息人们的争论。虽然来本尼兹没有能够实现他的目标，但现代逻辑已经能够表达其它任何语言（包括自然语言和人工语言，natural or artificial）中所能精确表达的信息。在能够被表达的知识中，自然语言展现的范围最为广阔，逻辑使得其中能够被精确公式化的子集被表达成可以计算的形式。也许有些知识还不能够用逻辑表达，但是如果有这样的知识存在的话，那一定也不能够被任何其他的符号表示，不能够在任何数字 |
2008年05月24日 星期六 10:05 Logic Part I History bacground
The very first lesson that we have a right to demand that logic shall teach us is, how to make oue ideas clear; and a most important one it is, depreciated only by minds who stand in need of it. To know what we think, to be masters of our own meaning, will make a solid foundation for great and weighty thought.
by Charles Sanders Peirce, "How to make our ideas clear"
逻辑首先需要教给我们的是如何清楚地表达我们 |
2008年05月23日 星期五 10:30 From Knowledge Representation:Logical, philosophical and Computational Foundations
Preface
By John F. Sowa
Socrates said he was the midwife of his listners, i.e, he made them reflect more better concerning that which they already knew and become better conscious of it. If we knew what we know , namely, in the use of certain words and concepts that are so subtle in application, we would be astonished at the treasures contained in our knowledge. __IMMANUEL KANT. "Vienn |
| | |
