基于新经济形势下旅游企业的价值创新

价值创新是与传统的竞争驱动型战略截然不同的战略逻辑,其核心是跳跃性地提升顾客感知价值。文章在对价值创新战略逻辑已有研究进行简要介绍的基础上,将研究的范围锁定于关系顾客,分析了关系顾客价值感知的概念与构成,进而描述了基于顾客关系进行价值创新的三条途径。     

智能规划的逻辑编码求解性能分析

将SAT问题的编码和求解过程联合起来进行研究,提出了逻辑编码求解性能分析模型,利用该模型对国际标准规划域Logistic域和Blocks World域中的问题进行实验研究,并对实验结果中大量数据进行分析,进而分析逻辑编码的特性与求解效率的关系.实验结果表明逻辑编码的编码方式、编码规模以及规划图的扩展程度影响逻辑编码的求解效率.     

基于描述逻辑的概念建模研究

首先介绍了描述逻辑,它源于遗传网络和基于框架的表示,是基于对象的知识表示的形式化,并且建立在概念和关系之上,而概念建模在人工智能、数据库系统设计等领域有很重要的作用.文章探 '讨了基于描述逻辑的概念建模细节问题.     

LP_m逻辑语义的一种改进

本文指出LPm逻辑存在的一些问题,给出一种LPm的改进形式──LPmin逻辑,它能解决LPm逻辑存在的问题,并对LPmin以及它与LPm逻辑的关系作了初步分析.     

逻辑相邻与输入变量数的关系

本文从最小项和逻辑相邻的概念出发，论述了逻辑相邻与变量个数的关系。使逻辑设计中的相邻问题与变量个数建立了对应关系。     

历史逻辑与法治逻辑的交融——评翁有为教授的专著《专区与地区政府法制研究》

当前我国的省直管县、扩权强县的举措与争论,[1]不仅牵涉到中央与地方的关系问题,而且涉及了省、市、县、乡镇的地方行政建制与组织财政权力配置的问题。这些问题都紧紧地和我国的行政组织法制建设、宪政建设与法治建设联系着。对于这些问题的思考,不仅需要法治逻辑,而且也要有历史的逻辑。而时下的讨论更侧重于前者,对后者的关注较少。在笔者看来,翁有为教授的专著《专区与地区政府法制研究》较好地体现了历史逻辑与法治逻辑的融合,     

基于问题解决的创新教育理论研究探析

本文概括分析了基于问题解决的创新教育理论研究现状,研究意义、价值、逻辑起点、假设,研究内容和创新价值等.以生命活动的问题性为逻辑起点,以创新素质的问题解决能力本质、学习活动过程问题化本质、问题解决与相关学科关系本质作假设,以创新精神培养所需、生命教育创意所在、素质教育价值所属、创新教育理论必备为动因,对基于问题解决培养学生创新能力的教育理论进行了探析.     

教育逻辑学研究对象的选择

如何明确教育逻辑学的研究对象关系着这门学科的独立性。从教育学研究内容出发对此做出的划分只是把逻辑知识当作工具,且囿于传统逻辑范畴,使得这门学科成为教育学的子集。现代逻辑方法使用的划分主张逻辑服务于教育教学,实则暗含着逻辑教育的目的。杜威的教育逻辑实践对划分有重要借鉴意义。产生于西方的教育和逻辑在东渐过程中失去了应有的联系,教育逻辑学研究对象对应于教育与逻辑结合过程中的现实问题,这正是教育逻辑学产生于当代中国的必然性所在。     

基于矩阵半张量积的模糊逻辑研究进展

模糊逻辑是一种在不确定性条件下建模和控制复杂过程的革命性方法,在系统建模与控制领域得到了广泛的应用。基于矩阵半张量积理论可以将模糊逻辑表达式转化为代数表达式,借鉴代数系统的经典控制理论与方法来进一步研究模糊逻辑。首先介绍了以矩阵半张量积理论为框架的模糊逻辑的理论研究进展,如模糊关系矩阵、模糊关系方程、模糊关系不等式与分层模糊控制等,其次介绍了基于矩阵半张量积框架下的模糊控制理论的应用,最后给出了基于矩阵半张量积理论的模糊逻辑研究前景。     

环上逻辑函数的相关性分析

分析了Galois和Zm环上逻辑函数的互相关函数与特征谱之间的关系,并且利用逻辑函数的互相关性研究了环上逻辑函数的密码特性.     

由语义网络语言的知识表示到谓词逻辑的转换

语义网络作为表示知识的主要方法成为常识知识库组成的主要形式,从而引出知识库的维护及推理所要解决的问题。在研究中发现,将面向对象技术引入语义网络的研究,是目前的发展方向之一。特别地,对关系的继承属性的形式转换是本文所关注的。文章首先提出从语义网络到谓词逻辑这两种形式进行转换的基本操作,并给出由语义网络表示转换成谓词逻辑形式表示的算法。     

哲学视角的信息本质分析

对极具争议性的信息概念的本质,从奠基信息技术发展与应用的信息论出发,利用哲学研究中的"历史的分析方法"确定信息论中的典型信息概念为问题研究的逻辑起点。利用哲学研究中的"逻辑的分析方法"对信息概念中的相关要素与哲学基本范畴"物质与意识"之间的关系进行研究,重点分析信息与主体和客体之间的关联性、信息的客体对象问题、以及信息对主体功能的完备一致性等问题。在分析信息的这些本质属性后,综合定义了一种可能的信息概念。     

一种扩展的模糊描述逻辑

为了提高对复杂模糊信息的表示能力,提出一种扩展的模糊描述逻辑.扩展模糊描述逻辑引入模糊概念和模糊关系的截集形式作为原子概念和原子关系,继承经典描述逻辑中的概念构造器和知识库形式,建立新的知识表示逻辑体系.定义了扩展模糊描述逻辑的语法结构、语义解释、知识库形式以及基于可满足性的推理问题.通过与模糊描述逻辑的比较,阐述了模糊描述逻辑可转化为扩展模糊描述逻辑,从而例证了扩展模糊描述逻辑具有比模糊描述逻辑更强的表达能力.     

真与悖论问题——贺柏和“真”之公理化研究进路浅析

基于真理论的逻辑与哲学研究,牛津大学贺柏和教授在国际权威期刊上发表了大量学术文章,它们形成了过去10年间在该领域讨论的要点,使他成为当前该研究领域的领军人物。通过真与悖论问题的相关讨论,介绍贺柏和真之公理化理论的基本思路,探讨相关公理系统的哲学问题。     

人工智能中的时序逻辑研究

时序逻辑是人工智能研究领域的重要内容之一,文章讨论各种不同的时序逻辑在本体基元、时序结构、时间约束和时间算子选择等四个方面的区别,分析基于点和基于区间时序逻辑的优缺点,研究线性时序逻辑与分支时序逻辑的主要区别.同时,基于时序逻辑对单Agent形式化公理及多Agent协商公理体系的构建进行了初步讨论.     

试论文学创作过程的逻辑起点

文章提出了创作过程逻辑起点这一理论问题，深入分析了以往我们将观察生活与情感感受视为创作过程逻辑起点的错误观点，认为文艺创作真正的逻辑起点是生命体验，而生命体验是一种物与我、虚与实、主与客、情与理等因素高度统一的心理境界。文章指出，确定文艺创作过程的逻辑起点，对于创作者把握好创作的基本精神，纠正当前创作的一些错误倾向，促进全社会文艺的繁荣具有巨大的理论价值和独到的现实意义。     

一类模糊关系方程的求解问题

研究了一类基于泛逻辑蕴涵算子的模糊关系方程的求解问题,给出了解的存在性准则和求解步骤.     

建立在生态承载力基础上的经济多样性

经济发展表现形式是多种多样的,但多种多样的经济必须以生态承载力为基础。文章以生态承载力的内涵及特征为逻辑起点,阐述了生态承载力与经济发展、社会进步的关系。     

精度与程度的逻辑差近似算子及其性质

首先研究了程度近似与变精度近似的关系与转化,再利用变精度近似算子与程度近似算子定义了精度与程度的逻辑差近似算子,其具有与精度与程度2个量化指标相关的逻辑含义,最后研究并得到了精度与程度的逻辑差近似算子的一般性质与幂作用性质.精度与程度的逻辑差近似算子部分拓展了程度近似算子与经典近似算子,进而得到了这些已有近似算子幂作用...     

类BAN逻辑缺陷的进一步分析

类BAN逻辑是一种用于分析密码协议安全性的逻辑。文章分析了各种类BAN逻辑的缺陷,并对其进行了详细的分类描述,最后指出进一步发展类BAN逻辑需要解决的问题。