Prolog语言-搜索策略的归结反演推理机

Prolog语言采用一种特殊的合取范式形式来描述人工智能中所要求解的问题,这样一种知识表示方法所要求的知识推理技术必须具有机械化的可行性。要使归结过程的机械化步骤在计算机上具有可行性,还要告诉计算机一种搜索策略,即指导计算机进行归结的方法。这种方法显然是一种归纳逻辑方法。计算机中的逻辑推导既不是单纯的演绎过程,也不是单纯的归纳过程。计算机语言既是演绎的又是归纳的,是二者的融合。     

试析心学语境中的严羽诗学

与朱熹道学并峙的陆象山心学是南宋后期理学的重要分支,对严羽诗学产生过一定的影响.心学反对道学将人心与天理割裂开来,明确主张"心即理也";这大大缓解了道学以道德理性压制感性经验所带来的过度理性化的弊端,而在一定程度上肯定了个体生命情感存在的合理性.这启发严羽诗学建立一种新的诗"悟"观念,这并非一般人所简单理解的感性直觉,它实际是对江西诗派忽略诗意性的一种反拔.     

园林设计的几点反思

在过去二十年来,中国的城市建设在很大程度上是建立在挥霍和牺牲自然系统的健康和安全的痛苦基础之上,而由此产生了一系列的不可挽回的生态损失.     

英语情态动词语义演变的动因及合理性探析

本文在对英语情态动词语义演变过程进行分析的基础上,对其语义演变的特点进行了归纳和总结,并运用Leech的词汇的联想意义说和Don L. Nilsen & Alleen Pace Nilsen的英语语义特征分类理论,解释了情态动词的情态意义的转换与扩大、非情态意义缩小和被淘汰的原因及其语义体系形成的合理性.     

《小企业会计制度》与《企业会计制度》核算的比较

2004年4月27口，财政部以（财会（2004）2号）文件的形式颁布了《小企业会计制度》，明确规定于2005年1月1日起在全国小企业范围内执行．《小企业会计制度》与现行的《企业会计制度》保持了很大程度的一致性．但由于小企业存在特殊的生产经营方式．所以在会计核算方面具有特殊性，与《企业会计制度》存在一定差异。为便于今而理解、准确掌握《小企业会计制度》笔者现从会计要素核算和财务报表编制两方面将两种会计制度的差异归纳总结如下，供大家参考。     

论知识产权制度的伦理合理性

尽管知识产权制度在几乎所有国家里都被建立起来,但还是有人对其合理性有所质疑。知识产权保护在具体运作中遭到一些疑难困惑,而这些疑难困惑归根结底源于对伦理原则的不同选择。文章从伦理视角对知识产权制度进行分析,论证知识产权作为一种受法律保护的财产制度的伦理合理性。     

政治文明与政治改革

提出建设社会主义政治文明这个范畴 ,客观地蕴涵着应当正确地对待人类政治文明的共同成果问题。政治文明体现为政治权威产生的合理性、运行的合理性以及与人民关系的合理性。发达的社会主义政治文明依赖于政治改革。政治改革要实现政治民主化和科学化、政治法治化和公开化、政治高效化和清廉化。     

对外语直接教学法的评述

直接教学法是外语教学法的一种。它以“幼儿学语论”作为教学的基本理论,主张“用外语来教外语”, 强调对于句子的学习,重视口语的训练,但却忽视了母语在外语教学中的作用,不能解决一些教学中的实际问题,存 在一定的不足。     

"法哲学"观批判

目前,法哲学思想界对法哲学的学科性质歧见很大,有着各不相同的“法哲学”观。法哲学是关于法(律)现象的抽象本质和存在根据的学说,其实质就是法的形而上学,其他的诸种“法哲学”观均有悖于这种法哲学的一般本质,都是一种非哲学的“法哲学”观,不足称之为法哲学。