搜索筛选:
搜索耗时0.0962秒,为你在为你在28,828,000篇论文里面共找到 1,000 篇相符的论文内容
发布年度:
[期刊论文] 作者：董英东,,
来源：辽宁工程技术大学学报(自然科学版) 年份：2014
针对Sally Porkom运用模态语言分析加标转换结构,利用加标转换结构所支持的语义证明许多形式逻辑系统是完全的,找到一个不具有克里普克完全性的系统,证明关系语义不足以刻画...
[期刊论文] 作者：董英东,,
来源：贵州工程应用技术学院学报 年份：2018
尽管有很多处理费奇悖论的方法,但其中的每种解释似乎都存在一定的缺陷。实证主义解释可以避免涉及到违反先前的解释而导致违反可知性悖论的问题。在形式解释方面,可以将新的...
[期刊论文] 作者：董英东,,
来源：贵州工程应用技术学院学报 年份：2015
法律推理在法学理论实践中具有重要的作用,法官在判案的过程中必须理解法律,必须对法律的合理性给出足够的解释,并以此指导其司法实践或者对所给的判决做出辩护。在法哲学中...
[期刊论文] 作者：董英东,,
来源：毕节学院学报 年份：2014
每一个真值函数三值命题逻辑都可以翻译为模态逻辑系统S5。定义一般的三值命题逻辑的真值函数,并给出将任意的三值逻辑命题公式翻译成为模态公式的翻译方法。证明了每一S5模...
[期刊论文] 作者：董英东,,
来源：贵州民族大学学报(哲学社会科学版) 年份：2015
研究群知识的形式模型有助于澄清抽象的哲学概念以及概念之间的关系。然而,目前群知识的形式化的处理方法和哲学所讨论的群知识是相脱离的。对群知识的形式化的定义可称为集...
[期刊论文] 作者：董英东,,
来源：毕节学院学报 年份：2009
认知逻辑属于哲学逻辑的一个重要的分支,时至今日,已经发展得相当成熟了,但它也面临着种种的问题和挑战。除了传统的逻辑全能问题之外,还存在其它哲学方面的一系列问题。尽管...
[期刊论文] 作者：董英东,,
来源：科学经济社会 年份：2018
本文主要从人工智能视角研究动态的自然语言逻辑,探讨真值条件语义,动态修正和更新等动态系统以及可用来处理单主体和多主体之间的期望和博弈等问题,进而给出动态自然语言语...
[期刊论文] 作者：董英东,,
来源：贵州工程应用技术学院学报 年份：2017
逻辑信息系统采用一致的方法并利用逻辑程序对信息进行刻画、查询,最后借助信息进行导航、分析和更新。逻辑在逻辑信息系统中,尤其在数据库模型中发挥着重要的作用。为此给出...
[期刊论文] 作者：董英东,,
来源：燕山大学学报(哲学社会科学版) 年份：2010
在模态逻辑的发展过程中,区分出三个阶段是非常有用的:语形时期、经典时期和现代时期,在此所介绍的大部思想都来源于经典时期。语形时期最主要的特点是只注重语形,其基本任务...
[期刊论文] 作者：董英东,,
来源：河南理工大学学报(社会科学版) 年份：2016
通过探讨戴维森的真理以及他所谓的意义、真理和信念之间的内部关系,不难发现怀疑主义存在一定的争议。我们试图重构戴维森关于这些概念的方法,以期达到反怀疑主义的结果。为...
[期刊论文] 作者：董英东,
来源：贵州工程应用技术学院学报 年份：2020
哲学家们经常讨论古德曼蓝绿悖论导致了卡尔纳普的归纳逻辑程序时代的终结。事实上,卡尔纳普主要考虑的是现实世界里我们所假定的概率问题的应用价值,并指出可以把归纳逻辑看...
[期刊论文] 作者：董英东,
来源：天津商业大学学报 年份：2010
经济生活中的主体在执行行动之前，总是先有一个意图，然后再制定规划，最后逐步实现该规划。在这个过程中，主体要进行实用推理，要和其他主体进行交互作用，同时其意图也会受到信息和信......
[期刊论文] 作者：董英东, 方明明,,
来源：毕节学院学报 年份：2013
逻辑学传入中国至今，取得了长足的发展，但也面临着一些困境。逻辑学教学改革主要应该从逻辑学教学的课程内容、逻辑学的人才培养、逻辑学教学方法、逻辑学的科研创新等几个方面......
[期刊论文] 作者：董英东,何向东,,
来源：科学技术哲学研究 年份：2015
为了探索内涵语言的双重性,就需要研究外延逻辑语言之外的本体论承诺。拉约(Rayo)建议利用可能世界语义理论解释本体论承诺,认为任意特定的语义都可看作是用来阐述本体论承诺...
[期刊论文] 作者：董英东,何向东,,
来源：自然辩证法研究 年份：2015
定义自然语言的本体论承诺比较复杂,需要选择关于自然语言的特定的语义理论,揭示自然语言的本体论承诺依赖对所使用的自然语言的语义装置的研究。逻辑语言是处理自然语言的表...
[期刊论文] 作者：董小英,李东,
来源：计算机系统应用 年份：2000
...
[期刊论文] 作者：董小英,李东,
来源：计算机系统应用 年份：2000
...
[期刊论文] 作者：李东,董小英,
来源：计算机系统应用 年份：2000
本文提出了企业信息系统建设中非技术性问题及其分类，并就此类问题提出了一个研究的纲领。...
[期刊论文] 作者：董英英,,
来源：信息与电脑(理论版) 年份：2018
笔者提出了一种基于相位微分的MSK信号中心频率盲估计算法。该算法具有计算量较低、对先验知识要求较少等优点,是在没有任何先验信息的条件下对采样所得数据进行相位展开,从...
[学位论文] 作者：董英英,,
来源： 年份：2013
企业物流管理一直以来被称为“第三利润源”，是现代学术界和企业研究的热门课题，越来越受到人们的重视。在传统的成本管理方式下，只有财务部门和财务人员才有降低产品成本的意识......
相关搜索：
