搜索结果: 31-45 共查到“知识库 逻辑学”相关记录217条 . 查询时间(2.221 秒)
Causation:Many Words,One Thing?
causality pluralism monism inferentialism causalidad pluralismo monismo inferencialismo
2016/5/30
How many notions of cause are there? The causality literature is witnessing a flourishing of pluralist positions. Here I focus on a recent debate on whether interpreting causality in terms of inferent...
Los capítulos III y XI abordan, de maneras muy distintas, el tema del estatuto de la epistemología. Tradicionalmente se ha considerado que ésta es una disciplina esencialmente normativa. Broncano y Ve...
CIFOL:Case-intensional first order logic.(I) Toward a theory of sorts
modal logic extension/intension intensional predication and quantification sortal tracing substance
2016/5/27
This is Part I of a two-part essay introducing case-intensional first-order logic (CIFOL), an easy-to-use, uniform, powerful, and useful combination of first order logic with modal logic resulting fro...
Logic of gauge
Weyl gauge theory Yang-Mills connections
2016/5/27
The logic of gauge theory is considered by tracing its development from general relativity to Yang-Mills theory, through Weyl's two gauge theories.
A logic road from special to general relativity
first-order logic axiomatization foundation of relativity theory
2016/5/27
We present a streamlined axiom system of special relativity in first-order logic. From this axiom system we ``derive'' an axiom system of general relativity in two natural steps. We will also see how ...
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...