全文获取类型
收费全文 | 2784篇 |
免费 | 237篇 |
国内免费 | 127篇 |
出版年
2023年 | 43篇 |
2022年 | 51篇 |
2021年 | 57篇 |
2020年 | 112篇 |
2019年 | 136篇 |
2018年 | 131篇 |
2017年 | 142篇 |
2016年 | 140篇 |
2015年 | 113篇 |
2014年 | 98篇 |
2013年 | 311篇 |
2012年 | 61篇 |
2011年 | 67篇 |
2010年 | 59篇 |
2009年 | 104篇 |
2008年 | 161篇 |
2007年 | 182篇 |
2006年 | 147篇 |
2005年 | 143篇 |
2004年 | 100篇 |
2003年 | 101篇 |
2002年 | 103篇 |
2001年 | 65篇 |
2000年 | 77篇 |
1999年 | 56篇 |
1998年 | 54篇 |
1997年 | 44篇 |
1996年 | 36篇 |
1995年 | 39篇 |
1994年 | 21篇 |
1993年 | 17篇 |
1992年 | 9篇 |
1991年 | 10篇 |
1990年 | 10篇 |
1989年 | 6篇 |
1988年 | 9篇 |
1987年 | 5篇 |
1985年 | 7篇 |
1984年 | 13篇 |
1983年 | 8篇 |
1982年 | 12篇 |
1981年 | 11篇 |
1980年 | 12篇 |
1979年 | 12篇 |
1978年 | 9篇 |
1977年 | 14篇 |
1976年 | 5篇 |
1975年 | 7篇 |
1974年 | 9篇 |
1973年 | 5篇 |
排序方式: 共有3148条查询结果,搜索用时 15 毫秒
111.
An assertion of high conditional probability or, more briefly, an HCP assertion is a statement of the type: The conditional probability of B given A is close to one. The goal of this paper is to construct logics of HCP assertions whose conclusions are highly likely to be correct rather than certain to be correct. Such logics would allow useful conclusions to be drawn when the premises are not strong enough to allow conclusions to be reached with certainty. This goal is achieved by taking Adams" (1966) logic, changing its intended application from conditionals to HCP assertions, and then weakening its criterion for entailment. According to the weakened entailment criterion, called the Criterion of Near Surety and which may be loosely interpreted as a Bayesian criterion, a conclusion is entailed if and only if nearly every model of the premises is a model of the conclusion. The resulting logic, called NSL, is nonmonotonic. Entailment in this logic, although not as strict as entailment in Adams" logic, is more strict than entailment in the propositional logic of material conditionals. Next, NSL was modified by requiring that each HCP assertion be scaled; this means that to each HCP assertion was associated a bound on the deviation from 1 of the conditional probability that is the subject of the assertion. Scaling of HCP assertions is useful for breaking entailment deadlocks. For example, it it is known that the conditional probabilities of C given A and of ¬ C given B are both close to one but the bound on the former"s deviation from 1 is much smaller than the latter"s, then it may be concluded that in all likelihood the conditional probability of C given A B is close to one. The resulting logic, called NSL-S, is also nonmonotonic. Despite great differences in their definitions of entailment, entailment in NSL is equivalent to Lehmann and Magidor"s rational closure and, disregarding minor differences concerning which premise sets are considered consistent, entailment in NSL-S is equivalent to entailment in Goldszmidt and Pearl"s System-Z
+. Bacchus, Grove, Halpern, and Koller proposed two methods of developing a predicate calculus based on the Criterion of Near Surety. In their random-structures method, which assumed a prior distribution similar to that of NSL, it appears possible to define an entailment relation equivalent to that of NSL. In their random-worlds method, which assumed a prior distribution dramatically different from that of NSL, it is known that the entailment relation is different from that of NSL. 相似文献
112.
The paper presents an argument against a metaphysical conception of logic according to which logic spells out a specific kind of mathematical structure that is somehow inherently related to our factual reasoning. In contrast, it is argued that it is always an empirical question as to whether a given mathematical structure really does captures a principle of reasoning. (More generally, it is argued that it is not meaningful to replace an empirical investigation of a thing by an investigation of its a priori analyzable structure without paying due attention to the question of whether it really is the structure of the thing in question.) It is proposed to elucidate the situation by distinguishing two essentially different realms with which our reason must deal: the realm of the natural, constituted by the things of our empirical world, and the realm of the formal, constituted by the structures that we use as prisms to view, to make sense of, and to reconstruct the world. It is suggested that this vantage point may throw light on many foundational problems of logic. 相似文献
113.
This paper explores allowing truth value assignments to be undetermined or "partial" (no truth values) and overdetermined or "inconsistent" (both truth values), thus returning to an investigation of the four-valued semantics that I initiated in the sixties. I examine some natural consequence relations and show how they are related to existing logics, including ukasiewicz's three-valued logic, Kleene's three-valued logic, Anderson and Belnap's (first-degree) relevant entailments, Priest's "Logic of Paradox", and the first-degree fragment of the Dunn-McCall system "R-mingle". None of these systems have nested implications, and I investigate twelve natural extensions containing nested implications, all of which can be viewed as coming from natural variations on Kripke's semantics for intuitionistic logic. Many of these logics exist antecedently in the literature, in particular Nelson's "constructible falsity". 相似文献
114.
Combinatory logic is known to be related to substructural logics. Algebraic considerations of the latter, in particular, algebraic considerations of two distinct implications (, ), led to the introduction of dual combinators in Dunn & Meyer 1997. Dual combinators are "mirror images" of the usual combinators and as such do not constitute an interesting subject of investigation by themselves. However, when combined with the usual combinators (e.g., in order to recover associativity in a sequent calculus), the whole system exhibits new features. A dual combinatory system with weak equality typically lacks the Church-Rosser property, and in general it is inconsistent. In many subsystems terms "unexpectedly" turn out to be weakly equivalent. The paper is a preliminary attempt to investigate some of these issues, as well as, briefly compare function application in symmetric -calculus (cf. Barbanera & Berardi 1996) and dual combinatory logic. 相似文献
115.
This work is divided in two papers (Part I and Part II). In Part I, we study a class of polymodal logics (herein called the class of "Rare-logics") for which the set of terms indexing the modal operators are hierarchized in two levels: the set of Boolean terms and the set of terms built upon the set of Boolean terms. By investigating different algebraic properties satisfied by the models of the Rare-logics, reductions for decidability are established by faithfully translating the Rare-logics into more standard modal logics. The main idea of the translation consists in eliminating the Boolean terms by taking advantage of the components construction and in using various properties of the classes of semilattices involved in the semantics. The novelty of our approach allows us to prove new decidability results (presented in Part II), in particular for information logics derived from rough set theory and we open new perspectives to define proof systems for such logics (presented also in Part II). 相似文献
116.
We look at the problem of revising fuzzy belief bases, i.e., belief base revision in which both formulas in the base as well as revision-input formulas can come attached with varying degrees. Working within a very general framework for fuzzy logic which is able to capture certain types of uncertainty calculi as well as truth-functional fuzzy logics, we show how the idea of rational change from “crisp” base revision, as embodied by the idea of partial meet (base) revision, can be faithfully extended to revising fuzzy belief bases. We present and axiomatise an operation of partial meet fuzzy base revision and illustrate how the operation works in several important special instances of the framework. We also axiomatise the related operation of partial meet fuzzy base contraction.This paper is an extended version of a paper presented at the Nineteenth Conference on Uncertainty in Arti.cial Intelligence (UAI’03). 相似文献
117.
The fixed point combinator (Y) is an important non-proper combinator, which is defhable from a combinatorially complete base. This combinator guarantees
that recursive equations have a solution. Structurally free logics (LC) turn combinators into formulas and replace structural rules by combinatory ones. This paper introduces the fixed point and
the dual fixed point combinator into structurally free logics. The admissibility of (multiple) cut in the resulting calculus is not provable by a simple adaptation of the similar proof for LC with proper combinators. The novelty of our proof—beyond proving the cut for a newly extended calculus–is that we add a fourth induction to the by-and-large Gentzen-style proof.
Presented by Robert Goldblatt 相似文献
118.
The current paper introduces the special issue on research attempting to extend the construct of psychopathy to child and adolescent samples. Past special sections and reviews have typically focused on the implications of this research for forensic research and practice. The current special issue focuses on topics relevant for integrating this research within the broader literature on childhood psychopathology. Papers included in this special issue focus on the structure of psychopathic traits in youth, the relation of these traits to other important psychopathological and personality constructs in children and adolescents, and the utility of these traits for identifying a distinct subgroup of antisocial youth who differ on important cognitive processes and on the severity and stability of their problem behavior. These empirical works are followed by commentary provided by two prominent scholars who outline the potential importance of the construct for advancing our understanding of childhood psychopathology. In addition, these scholars provide a discussion of important directions for future research. 相似文献
119.
Doctor's Expertise and Managing Discrepant Information from Other Sources in Genetic Counseling: A Conversation Analytic Perspective 总被引:1,自引:0,他引:1
The study examines a recurrent interactional pattern in genetic counseling. It describes clinical geneticists' responses in
situations in which clients have presented information from other sources that is potentially discrepant with information
given by the doctor. The data consists of 12 video-recorded sessions of genetic counseling in Finland, and the method is conversation
analysis. There are two primary ways the doctors respond: either they accept the client's information as such, but show that
it is not discrepant with the doctor's information, or they reject the client's information. In the latter case they mitigate
the ‘wrongness’ of the client's information. The clinical geneticists seem to be working with a dilemma: they need to find
a balance between ensuring correct understanding of the information and showing respect for the expertise of others. A particularly
complex case is also analyzed and reflected on. 相似文献
120.
Bates BR 《Journal of genetic counseling》2005,14(6):423-434
Critics of genetic discourse are concerned that deterministic and discriminatory views of genetics are increasingly becoming
adopted. These views argue that current genetic discourse becomes a source of power whereby powerful institutions harm people
with so-called “bad” genes. This essay argues that current analyses of the power of genetics discourse are grounded in an
improper reading that disempowers patients. Deploying Michel Foucault's concept “care of the self,” this essay claims that
genetics discourse is better understood as a way that patients take on power through rhetoric rather than a force that has
power over patients. Through a close reading of the “My Family Health Portrait” program, this paper argues that patients experience
a process of “subjection” wherein they become agents of and objects of genetics discourse both. This alternative mode of analyzing
the power of genetics discourse has implications for our collective understanding of the operations of the care of the self
and the uses of genetic information that we propose. 相似文献