现代哲学
現代哲學
현대철학
HIGHGLIGHTS OF MODERN PHILOSOPHY
2006年
1期
122-132
,共11页
认知系统%邻域语义%框架可靠性%框架完全性
認知繫統%鄰域語義%框架可靠性%框架完全性
인지계통%린역어의%광가가고성%광가완전성
首先,我们构造认知系统EK1-EK3,给出它们的一些证明论结果.其次,我们引入邻域语义,给出EK1-EK3的特征公理和规则的框架条件,证明EK1-EK3相对这些框架条件分别是框架可靠的.最后,我们证明EK1-EK3相对这些框架条件分别是框架完全的.
首先,我們構造認知繫統EK1-EK3,給齣它們的一些證明論結果.其次,我們引入鄰域語義,給齣EK1-EK3的特徵公理和規則的框架條件,證明EK1-EK3相對這些框架條件分彆是框架可靠的.最後,我們證明EK1-EK3相對這些框架條件分彆是框架完全的.
수선,아문구조인지계통EK1-EK3,급출타문적일사증명론결과.기차,아문인입린역어의,급출EK1-EK3적특정공리화규칙적광가조건,증명EK1-EK3상대저사광가조건분별시광가가고적.최후,아문증명EK1-EK3상대저사광가조건분별시광가완전적.