全文获取类型
收费全文 | 908篇 |
免费 | 15篇 |
国内免费 | 2篇 |
出版年
2023年 | 4篇 |
2022年 | 5篇 |
2021年 | 3篇 |
2020年 | 13篇 |
2019年 | 9篇 |
2018年 | 5篇 |
2017年 | 4篇 |
2016年 | 30篇 |
2015年 | 10篇 |
2014年 | 19篇 |
2013年 | 42篇 |
2012年 | 5篇 |
2011年 | 6篇 |
2010年 | 9篇 |
2009年 | 47篇 |
2008年 | 71篇 |
2007年 | 73篇 |
2006年 | 57篇 |
2005年 | 71篇 |
2004年 | 55篇 |
2003年 | 57篇 |
2002年 | 58篇 |
2001年 | 39篇 |
2000年 | 58篇 |
1999年 | 39篇 |
1998年 | 32篇 |
1997年 | 33篇 |
1996年 | 21篇 |
1995年 | 20篇 |
1994年 | 5篇 |
1993年 | 3篇 |
1992年 | 3篇 |
1991年 | 3篇 |
1990年 | 4篇 |
1989年 | 3篇 |
1988年 | 6篇 |
1987年 | 3篇 |
排序方式: 共有925条查询结果,搜索用时 15 毫秒
121.
Athanasios Tsakonas Vasilios Aggelis Ioannis Karkazis Georgios Dounias 《Journal of Applied Logic》2004,2(3):349
Nowadays, intelligent connectionist systems such as artificial neural networks have been proved very powerful in a wide area of applications. Consequently, the ability to interpret their structure was always a desirable feature for experts. In this field, the neural logic networks (NLN) by their definition are able to represent complex human logic and provide knowledge discovery. However, under contemporary methodologies, the training of these networks may often result in non-comprehensible or poorly designed structures. In this work, we propose an evolutionary system that uses current advances in genetic programming that overcome these drawbacks and produces neural logic networks that can be arbitrarily connected and are easily interpretable into expert rules. To accomplish this task, we guide the genetic programming process using a context-free grammar and we encode indirectly the neural logic networks into the genetic programming individuals. We test the proposed system in two problems of medical diagnosis. Our results are examined both in terms of the solution interpretability that can lead in knowledge discovery, and in terms of the achieved accuracy. We draw conclusions about the effectiveness of the system and we propose further research directions. 相似文献
122.
123.
Paolo Gentilini 《Journal of Applied Logic》2011,9(3):171-202
A proof-theoretic analysis and new arithmetical semantics are proposed for some paraconsistent C-systems, which are a relevant sub-class of Logics of Formal Inconsistency (LFIs) introduced by W.A. Carnielli et al. (2002, 2005) [8] and [9]. The sequent versions BC, CI, CIL of the systems bC, Ci, Cil presented in Carnielli et al. (2002, 2005) [8] and [9] are introduced and examined. BC, CI, CIL admit the cut-elimination property and, in general, a weakened sub-formula property. Moreover, a formal notion of constructive paraconsistent system is given, and the constructivity of CI is proven. Further possible developments of proof theory and provability logic of CI-based arithmetical systems are sketched, and a possible weakened Hilbert?s program is discussed. As to the semantical aspects, arithmetical semantics interprets C-system formulas into Provability Logic sentences of classical Arithmetic PA (Artemov and Beklemishev (2004) [2], Japaridze and de Jongh (1998) [19], Gentilini (1999) [15], Smorynski (1991) [22]): thus, it links the notion of truth to the notion of provability inside a classical environment. It makes true infinitely many contradictions B∧¬B and falsifies many arbitrarily complex instances of non-contradiction principle ¬(A∧¬A). Moreover, arithmetical models falsify both classical logic LK and intuitionistic logic LJ, so that a kind of metalogical completeness property of LFI-paraconsistent logic w.r.t. arithmetical semantics is proven. As a work in progress, the possibility to interpret CI-based paraconsistent Arithmetic PACI into Provability Logic of classical Arithmetic PA is discussed, showing the role that PACIarithmetical models could have in establishing new meta-mathematical properties, e.g. in breaking classical equivalences between consistency statements and reflection principles. 相似文献
124.
125.
Hybrid logics internalize their own semantics. Members of the newer family of justification logics internalize their own proof methodology. It is an appealing goal to combine these two ideas into a single system, and in this paper we make a start. We present a hybrid/justification version of the modal logic T. We give a semantics, a proof theory, and prove a completeness theorem. In addition, we prove a Realization Theorem, something that plays a central role for justification logics generally. Since justification logics are newer and less well known than hybrid logics, we sketch their background, and give pointers to their range of applicability. We conclude with suggestions for future research. Indeed, the main goal of this paper is to encourage others to continue the investigation begun here. 相似文献
126.
Thierry Lucas 《Frontiers of Philosophy in China》2013,8(2):289
Parallelism is present everywhere in the early Moist texts: at the syntactic level, at the semantic level, between sentences, between sets of sentences, between argumentative structures. The present article gives many examples of the phenomenon: parallelism of insistence, insistence from top to bottom, insistence from bottom to top, parallelism with symmetry, parallelism involving negation, subcontraries and negation at deeper levels, parallelism of the argumentative structures. Logic is particularly applied to the study of parallelism involving negation. From the point of view of argumentation, it is shown that many of those constructions have an important role in supporting arguments such as: arguments of generalization, a fortiori arguments, arguments of exemplarity, consequentialist arguments, arguments by comparison. This study draws the attention to the importance of argumentation in the study of Moism and gives a new light on the argument by parallelism (mou 侔) in the “Xiaoqu”: It is a natural extension of what we call “parallelism involving negation,” already very common in the early Moist texts. 相似文献
127.
128.
This paper studies long-term norms concerning actions. In Meyer’s Propositional Deontic Logic (PD
e
L), only immediate duties can be expressed, however, often one has duties of longer durations such as: “Never do that”, or
“Do this someday”. In this paper, we will investigate how to amend PD
e
L so that such long-term duties can be expressed. This leads to the interesting and suprising consequence that the long-term
prohibition and obligation are not interdefinable in our semantics, while there is a duality between these two notions. As
a consequence, we have provided a new analysis of the long-term obligation by introducing a new atomic proposition I (indebtedness) to represent the condition that an agent has some unfulfilled obligation.
Presented by Jacek Malinowski 相似文献
129.
Applied Logic without Psychologism 总被引:1,自引:0,他引:1
Gregory Wheeler 《Studia Logica》2008,88(1):137-156
Logic is a celebrated representation language because of its formal generality. But there are two senses in which a logic
may be considered general, one that concerns a technical ability to discriminate between different types of individuals, and
another that concerns constitutive norms for reasoning as such. This essay embraces the former, permutation-invariance conception
of logic and rejects the latter, Fregean conception of logic. The question of how to apply logic under this pure invariantist
view is addressed, and a methodology is given. The pure invariantist view is contrasted with logical pluralism, and a methodology
for applied logic is demonstrated in remarks on a variety of issues concerning non-monotonic logic and non-monotonic inference,
including Charles Morgan’s impossibility results for non-monotonic logic, David Makinson’s normative constraints for non-monotonic
inference, and Igor Douven and Timothy Williamson’s proposed formal constraints on rational acceptance. 相似文献
130.
Formal nonmonotonic systems try to model the phenomenon that common sense reasoners are able to “jump” in their reasoning
from assumptions Δ to conclusions C without their being any deductive chain from Δ to C. Such jumps are done by various mechanisms which are strongly dependent on context and knowledge of how the actual world
functions. Our aim is to motivate these jump rules as inference rules designed to optimise survival in an environment with
scant resources of effort and time. We begin with a general discussion and quickly move to Section 3 where we introduce five
resource principles. We show that these principles lead to some well known nonmonotonic systems such as Nute’s defeasible
logic. We also give several examples of practical reasoning situations to illustrate our principles.
Edited by Hannes Leitgeb 相似文献