期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
人工智能难题和程序语义学
被引量：
1
1
作者
李庆平
刘明海
《重庆理工大学学报（社会科学）》
CAS
2010年第1期29-33,56,共6页
句法机如何成为语义机是人工智能面临的难题,也是当代意向性理论研究的重点。程序语义学是试图解释这一问题的重要致思取向。它认为传统的人工智能、计算机科学等是以模态理论语义分析为基础的,其研究尚停留在符号的层面,而未涉及到真...
句法机如何成为语义机是人工智能面临的难题,也是当代意向性理论研究的重点。程序语义学是试图解释这一问题的重要致思取向。它认为传统的人工智能、计算机科学等是以模态理论语义分析为基础的,其研究尚停留在符号的层面,而未涉及到真值、指称,即没有涉及到语言与世界的关联。在揭示语言与世界关联如何实现的问题上,程序语义学强调语义不是由对指称的计算所给予的,也不是由谓词逻辑的标准语义学所给予的,而是由程序给予的。程序语义学不但能够融合如福吉勒特等意义理论的局限,而且所提出的过程性分析和知识对于人工智能的研究、发展亦有启示性。
展开更多
关键词
人工智能
程序
语义学
内部语言假说
程序
内涵理论
下载PDF
职称材料
逻辑化的指称语义学
2
作者
唐同诰
《复旦学报（自然科学版）》
CAS
CSCD
北大核心
1989年第2期180-187,共8页
指称语义学是以函数的形式来表达程序的语义,一阶时态逻辑是以逻辑方式表达程序的语义。本文将上述两种功能集中于一种语义学之中,实现了指称语义学的逻辑化,即在一阶时态逻辑的某个特定的系统里,对那些具有指称语义的公式进行逻辑推理...
指称语义学是以函数的形式来表达程序的语义,一阶时态逻辑是以逻辑方式表达程序的语义。本文将上述两种功能集中于一种语义学之中,实现了指称语义学的逻辑化,即在一阶时态逻辑的某个特定的系统里,对那些具有指称语义的公式进行逻辑推理。这种公理化的推理方式,提高了指称语义学用于程序自动验证的能力。同时,把不同形式的程序语义学,在一阶时态逻辑之下统一地进行处理也是一种新的尝试。
展开更多
关键词
指称
语义学
逻辑化
程序
语义学
原文传递
真稳定类与辩论语义
被引量：
1
3
作者
陈荣
孙吉贵
《计算机研究与发展》
EI
CSCD
北大核心
1999年第8期936-942,共7页
稳定类语义和辩论语义是逻辑程序语义学研究方面突出的两种语义统一框架理论，它们统一了一些很重要的语义．因为它们有着不同的直觉和概念，它们的相互关系并不清楚．我们在它们最基础的概念层次上证明了，常规逻辑程序句法下二者是等...
稳定类语义和辩论语义是逻辑程序语义学研究方面突出的两种语义统一框架理论，它们统一了一些很重要的语义．因为它们有着不同的直觉和概念，它们的相互关系并不清楚．我们在它们最基础的概念层次上证明了，常规逻辑程序句法下二者是等价的，它们有着同样的语义统一能力．基于这个结果，我们为有前途的辩论语义指明一种迭代构造的方法．
展开更多
关键词
逻辑
程序
语义学
稳定类
语义
辨论
语义
下载PDF
职称材料
题名
人工智能难题和程序语义学
被引量：
1
1
作者
李庆平
刘明海
机构
华中科技大学哲学系
重庆理工大学人文学院
出处
《重庆理工大学学报（社会科学）》
CAS
2010年第1期29-33,56,共6页
文摘
句法机如何成为语义机是人工智能面临的难题,也是当代意向性理论研究的重点。程序语义学是试图解释这一问题的重要致思取向。它认为传统的人工智能、计算机科学等是以模态理论语义分析为基础的,其研究尚停留在符号的层面,而未涉及到真值、指称,即没有涉及到语言与世界的关联。在揭示语言与世界关联如何实现的问题上,程序语义学强调语义不是由对指称的计算所给予的,也不是由谓词逻辑的标准语义学所给予的,而是由程序给予的。程序语义学不但能够融合如福吉勒特等意义理论的局限,而且所提出的过程性分析和知识对于人工智能的研究、发展亦有启示性。
关键词
人工智能
程序
语义学
内部语言假说
程序
内涵理论
Keywords
artificial intelligence
procedural semantics
interior language hypothesis
procedural connotation theory
分类号
N03 [自然科学总论—科学技术哲学]
下载PDF
职称材料
题名
逻辑化的指称语义学
2
作者
唐同诰
机构
复旦大学计算机科学系
出处
《复旦学报（自然科学版）》
CAS
CSCD
北大核心
1989年第2期180-187,共8页
文摘
指称语义学是以函数的形式来表达程序的语义,一阶时态逻辑是以逻辑方式表达程序的语义。本文将上述两种功能集中于一种语义学之中,实现了指称语义学的逻辑化,即在一阶时态逻辑的某个特定的系统里,对那些具有指称语义的公式进行逻辑推理。这种公理化的推理方式,提高了指称语义学用于程序自动验证的能力。同时,把不同形式的程序语义学,在一阶时态逻辑之下统一地进行处理也是一种新的尝试。
关键词
指称
语义学
逻辑化
程序
语义学
Keywords
semantics of a programming language
denotational semantics
temporal logic
software methodology.
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
原文传递
题名
真稳定类与辩论语义
被引量：
1
3
作者
陈荣
孙吉贵
机构
吉林大学计算机科学系
出处
《计算机研究与发展》
EI
CSCD
北大核心
1999年第8期936-942,共7页
基金
国家自然科学基金
文摘
稳定类语义和辩论语义是逻辑程序语义学研究方面突出的两种语义统一框架理论，它们统一了一些很重要的语义．因为它们有着不同的直觉和概念，它们的相互关系并不清楚．我们在它们最基础的概念层次上证明了，常规逻辑程序句法下二者是等价的，它们有着同样的语义统一能力．基于这个结果，我们为有前途的辩论语义指明一种迭代构造的方法．
关键词
逻辑
程序
语义学
稳定类
语义
辨论
语义
Keywords
logic programming, stable class, argumentation system, abductive reasoning, declarative semantics, proof procedure
分类号
TP311.1 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
人工智能难题和程序语义学
李庆平
刘明海
《重庆理工大学学报（社会科学）》
CAS
2010
1
下载PDF
职称材料
2
逻辑化的指称语义学
唐同诰
《复旦学报（自然科学版）》
CAS
CSCD
北大核心
1989
0
原文传递
3
真稳定类与辩论语义
陈荣
孙吉贵
《计算机研究与发展》
EI
CSCD
北大核心
1999
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
