-
题名误解消解话轮结构的社会-认知语用阐释
- 1
-
-
作者
彭晶
-
机构
肇庆学院外国语学院英语系
-
出处
《天津外国语大学学报》
2019年第4期88-101,160,F0003,共16页
-
基金
国家社会科学基金项目“中美机构会话中身份构建的人际语用学研究”(18BYY223)
-
文摘
从社会-认知语用视角分析含意误解成功消解的话轮序列结构。基于汉语误解消解会话分析,结合共知不匹配语境,探究误解消解话轮结构的社会-认知语用理据,发现涌现共知共建是误解消解话轮结构的社会-认知语境成因,集体情境突显义的共建是误解消解的驱动要素,同时认为共建词项的词汇知识/语境知识的集体情境突显义是误解消解话轮结构的社会-认知语用原则。本研究可为说话人意义提供新视角,有助于推进误解探究。
-
关键词
社会-认知语用视角
误解消解话轮序列
说话人意义共建
共建集体情境突显义
-
Keywords
socio-cognitive approach to pragmatics
sequences constructed for resolving misunderstanding
co-constructing speaker meaning
co-constructing collective situational salience
-
分类号
H030
[语言文字—语言学]
-
-
题名一种求解布尔不可满足子式的局部搜索算法
- 2
-
-
作者
张建民
沈胜宇
李思昆
-
机构
国防科技大学计算机学院
-
出处
《计算机工程与科学》
CSCD
北大核心
2009年第4期56-59,105,共5页
-
基金
国家自然科学基金资助项目(60603088
90707003)
-
文摘
解释布尔公式不可满足的原因在众多领域都具有非常重要的理论与应用价值,而不可满足子式能够为公式不可满足的原因提供精确的解释,帮助应用领域的自动化工具迅速定位错误,诊断问题失败的本质缘由。近年来涌现了许多基于SAT求解器DPLL回溯搜索过程的完全算法,但关于不完全方法提取不可满足子式的研究相对较少。因此,本文提出一种采用启发式局部搜索过程从公式的不可满足性证明中求解布尔不可满足子式的算法。该算法根据公式的消解规则通过局部搜索过程直接构造证明不可满足性的消解序列,并融合了布尔推理技术以提高搜索效率;而后通过一个递归过程遍历证明序列从而得到不可满足子式。通过实验与贪心遗传算法进行对比,结果表明本文提出的算法优于贪心遗传算法。
-
关键词
布尔可满足问题
不可满足子式
消解序列
局部搜索
-
Keywords
boolean satisfaction problem
unsatisfiable subformula
resolution sequence
local search
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-