搜索结果: 31-45 共查到“知识库 逻辑学”相关记录212条 . 查询时间(4.043 秒)
Moore's Problem
Criteria of Doxastic Admissibility Desiderata of Belief Formation Logical Paradoxes Rationality
2016/5/27
Moore’s problem or Moore’s ‘paradox’ arises from the fact that consistent propositions of the form of (1) and (2):
(1) It is raining but I believe it is not raining
(2) It is raining but I don’t bel...
An efficient method for large-scale l1-regularized convex loss minimization
Convex loss logistic regression newsgroups data set
2015/8/10
Convex loss minimization with l1 regularization has been proposed as a promising method for feature selection in classification (e.g., l1-regularized logistic regression) and regression (e.g., l1-regu...
An interior-point method for large-scale l1-regularized logistic regression
logistic regression feature selection `1 regularization regularization path interiorpoint methods.
2015/8/10
Logistic regression with l1 regularization has been proposed as a promising method for feature selection in classification problems. In this paper we describe an efficient interior-point method for so...
Variables, Generality and Existence: considerations on the notion of a concept-script
Stuff Things Matter Objects Non-singular quantification Non-singular reference Count Nouns Mass Nouns and Non-count Nouns
2015/8/5
A defense of the Frege / Russell idea of logic as a 'concept=script' or 'ideal language', and a discussion of the relationship of this project to the formalisation of mass nouns or non-count nouns
It is shown that as knowledge is structured, it comes in modules. This provides different " layers of reality ". Each layer of reality has its own distinctive inductive logic which may differ from tha...
Thinking Adaptive: Towards a Behaviours Virtual Laboratory
Behaviours Virtual Laboratory Thinking Adaptive
2015/7/31
In this paper we name some of the advantages of
virtual laboratories; and propose that a Behaviours
Virtual Laboratory should be useful for both biologists
and AI researchers, offering a new perspe...
Inductive concept learning is the task of learning
to assign cases to a discrete set of classes. In
real-world applications of concept learning, there
are many different types of cost involved. The...
关注世纪谜团“李约瑟难题”：语言决定推理方式
李约瑟难题 语言
2015/8/6
语音、语用、句法的结构规则能决定语言习惯、逻辑形式，进而规定认识世界的方式——科学。更进一步，言语行为的方式会影响、甚至类化我们的其他行为方式。从语言限制蕴含逻辑、逻辑限制蕴含科学的角度，或许可以解决“为什么中国不产生科学”这个被称为“李约瑟难题”的百年谜团。
The dialectic of Aufklärung was accomplished by the demonisation of
technology, and the subsumption of society under capital was definitive. The
revolutionaries had nothing to do but wait for...
在博弈困境中,纳什均衡所预测的博弈解与人们的直观相矛盾,而且越来越多的博弈实验表明,这与现实博弈的结果也存在巨大反差. 博弈困境的出现引起了人们对经典博弈论理性预设的质疑,从而提出不同的逻辑模型和解决方案. 本文以旅行者困境为例,对 Ha l p e r n & P a s s提出的重复后悔度最小化模型和 C a p r a r o提出的基于联盟与合作的概率推理模型两种方案进行分析比较,考察它们是...
鼓励资本下乡发展规模农业成为当前地方政府推动农业现代化的重要举措.调查发现,大量
资本下乡并非遵循经济逻辑,而是遵循政治逻辑和治理逻辑.政府无法通过与弱质性和高度分散的农民有效
对接实现政治任务和治理目标,资本下乡的规模效应形式上完成了地方政府的政治任务,化解了农业治理困
境.但资本下乡并没有推动农业发展,其非生产性再分配活动反而进一步阻碍了农业现代化.依靠资本下乡
实现农业现代化的前景并...
葛梯尔问题是如何解决知识论上存在的悖论的问题，并非仅仅是寻找第四条件的问题；葛梯尔问题的实质在于可错论的合理证明与运气的结合，而非仅仅是推理的前提有误，更非语词的误用。可错论的合理证明始终会为信念之碰巧为真保留一定的可能性，运气使这种可能性成为现实；可错论的合理证明原则不可废，否则，怀疑论将不可避免，因此，消除运气的影响就成了解决葛梯尔问题的关键。
An alternative to conceptual analysis in the function debate
conceptual analysis function debate
2014/11/17
Philosophical interest in the biological concept offunction stems largely from concerns about its teleological associations. Assigning something a function seems akin to assigning it a purpose, and di...
“休谟问题”是休谟反对理智形而上学道德哲学传统的具有革命意义的哲学洞察和理论成果,
它应当被提高到休谟建构道德哲学的哲学前提和逻辑基础的高度来认识.与“理性认识”的道德哲学建构逻
辑不同,休谟将道德哲学“问题域”严格限定在由“心灵意识”所“呈现”的“情感世界”,从而在“赞美”或“谴责”
的“情感世界”中建构“道德世界”.休谟道德哲学让被理智形而上学“遮蔽”的“情感世界”敞开自身,剥夺了
“...
时空非经典性的“哲理本源与科学形式”
迈克尔逊-莫雷实验的零结果 洛伦兹-菲茨杰拉德绝对效应 科学逻辑 相对论 洛伦兹变换 以太系 宇航年青
2015/6/2
采用所有科学文献中从未有过的新视角，（1）阐明了：科学的诞生源于实验验证。它决定了是否能得到实验验证是决定一个理论是否为科学的决定性基因。只有在这个基础上，我们才能正确地理解和把握“科学逻辑”与“哲理逻辑”之间的创始性区别：那些无法创建“通过实验观测必定能够被确定，验证的定量数学描述（定律，公式，常数等）”的理论，即使它完全符合客观实际，都不能被视为“科学”！因此，“洛伦兹-菲茨杰拉德绝对效应理论...