作者:
基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
现实的推理是处于时间情景之中,推理本身需要花费时间,在推理的同时世界也在发生着变化。步进逻辑的目标是以形式化方式处理处于时间情景中的现实推理。泥孩疑难是具有时间线索的,在本文中我们构造了泥孩疑难的一个简化版本,并用步进逻辑加以形式刻画。
推荐文章
形式系统L*中极大相容逻辑理论的拓扑刻画
形式系统L*
极大相容理论
Cantor空间
三值拓扑
量子Büchi自动机的代数及逻辑刻画
量子逻辑
量子Büchi自动机
量子无穷正则语言
代数刻画
单体二阶量子逻辑
Büchi定理
三值Luk命题逻辑系统中逻辑理论的拓扑刻画
真度
相似度
伪距离
逻辑度量空间
相容性
闭逻辑理论,闭集
二孩的出生对幼龄大孩的心理影响
二孩政策
幼龄大孩
心理健康
影响因素
干预
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 步进逻辑与泥孩疑难的形式刻画
来源期刊 心智与计算 学科 哲学
关键词 时间 步进逻辑 形式化
年,卷(期) 2009,(2) 所属期刊栏目
研究方向 页码范围 104-110
页数 7页 分类号 B812
字数 语种
DOI
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 钱波 南京大学现代逻辑与逻辑应用研究所 3 4 1.0 2.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (3)
节点文献
引证文献  (0)
同被引文献  (0)
二级引证文献  (0)
2009(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
研究主题发展历程
节点文献
时间
步进逻辑
形式化
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
心智与计算
季刊
2007
chi;eng
出版文献量(篇)
193
总下载数(次)
93997
总被引数(次)
820
论文1v1指导