-
1 формальное определение
Russian-english psychology dictionary > формальное определение
-
2 формальное определение
Русско-английский синонимический словарь > формальное определение
-
3 формальное определение
formal definition мат.Русско-английский научно-технический словарь Масловского > формальное определение
-
4 формальное описание
1) Information technology: formal description, formal specification2) Programming: formal definitionУниверсальный русско-английский словарь > формальное описание
-
5 формальное определение
Mathematics: formal characterization, formal definitionУниверсальный русско-английский словарь > формальное определение
-
6 По этой причине я полагаю, что в будущем спецификации будут состоять как из формальных, так и из текстовых описаний
General subject: For these reasons, I think we will see future specifications to consist of both a formal definition and a prose definition (см. Freder)Универсальный русско-английский словарь > По этой причине я полагаю, что в будущем спецификации будут состоять как из формальных, так и из текстовых описаний
-
7 состоять как из формальных, так и из текстовых описаний
Универсальный русско-английский словарь > состоять как из формальных, так и из текстовых описаний
-
8 формальное определение контекстно-свободной грамматики
Programming: formal definition of a context-free grammarУниверсальный русско-английский словарь > формальное определение контекстно-свободной грамматики
-
9 формальное определение относится только к внешним спецификациям
Programming: formal definition applies only to externalsУниверсальный русско-английский словарь > формальное определение относится только к внешним спецификациям
-
10 Cadre
a manager or executive, notably in private sector employment. Though there is no formal definition of what a cadre is, the expression is regularly used in the language of business and industrial relations, and having the status of cadre within an enterprise usually brings privileges and specific terms of employment. Cadres supérieurs are the French equivalent of senior management. The status of cadre - albeit undefined - is extended by the French statistical office INSEE to top intellectual professions.Dictionnaire Français-Anglais. Agriculture Biologique > Cadre
-
11 Artificial Intelligence
In my opinion, none of [these programs] does even remote justice to the complexity of human mental processes. Unlike men, "artificially intelligent" programs tend to be single minded, undistractable, and unemotional. (Neisser, 1967, p. 9)Future progress in [artificial intelligence] will depend on the development of both practical and theoretical knowledge.... As regards theoretical knowledge, some have sought a unified theory of artificial intelligence. My view is that artificial intelligence is (or soon will be) an engineering discipline since its primary goal is to build things. (Nilsson, 1971, pp. vii-viii)Most workers in AI [artificial intelligence] research and in related fields confess to a pronounced feeling of disappointment in what has been achieved in the last 25 years. Workers entered the field around 1950, and even around 1960, with high hopes that are very far from being realized in 1972. In no part of the field have the discoveries made so far produced the major impact that was then promised.... In the meantime, claims and predictions regarding the potential results of AI research had been publicized which went even farther than the expectations of the majority of workers in the field, whose embarrassments have been added to by the lamentable failure of such inflated predictions....When able and respected scientists write in letters to the present author that AI, the major goal of computing science, represents "another step in the general process of evolution"; that possibilities in the 1980s include an all-purpose intelligence on a human-scale knowledge base; that awe-inspiring possibilities suggest themselves based on machine intelligence exceeding human intelligence by the year 2000 [one has the right to be skeptical]. (Lighthill, 1972, p. 17)4) Just as Astronomy Succeeded Astrology, the Discovery of Intellectual Processes in Machines Should Lead to a Science, EventuallyJust as astronomy succeeded astrology, following Kepler's discovery of planetary regularities, the discoveries of these many principles in empirical explorations on intellectual processes in machines should lead to a science, eventually. (Minsky & Papert, 1973, p. 11)5) Problems in Machine Intelligence Arise Because Things Obvious to Any Person Are Not Represented in the ProgramMany problems arise in experiments on machine intelligence because things obvious to any person are not represented in any program. One can pull with a string, but one cannot push with one.... Simple facts like these caused serious problems when Charniak attempted to extend Bobrow's "Student" program to more realistic applications, and they have not been faced up to until now. (Minsky & Papert, 1973, p. 77)What do we mean by [a symbolic] "description"? We do not mean to suggest that our descriptions must be made of strings of ordinary language words (although they might be). The simplest kind of description is a structure in which some features of a situation are represented by single ("primitive") symbols, and relations between those features are represented by other symbols-or by other features of the way the description is put together. (Minsky & Papert, 1973, p. 11)[AI is] the use of computer programs and programming techniques to cast light on the principles of intelligence in general and human thought in particular. (Boden, 1977, p. 5)The word you look for and hardly ever see in the early AI literature is the word knowledge. They didn't believe you have to know anything, you could always rework it all.... In fact 1967 is the turning point in my mind when there was enough feeling that the old ideas of general principles had to go.... I came up with an argument for what I called the primacy of expertise, and at the time I called the other guys the generalists. (Moses, quoted in McCorduck, 1979, pp. 228-229)9) Artificial Intelligence Is Psychology in a Particularly Pure and Abstract FormThe basic idea of cognitive science is that intelligent beings are semantic engines-in other words, automatic formal systems with interpretations under which they consistently make sense. We can now see why this includes psychology and artificial intelligence on a more or less equal footing: people and intelligent computers (if and when there are any) turn out to be merely different manifestations of the same underlying phenomenon. Moreover, with universal hardware, any semantic engine can in principle be formally imitated by a computer if only the right program can be found. And that will guarantee semantic imitation as well, since (given the appropriate formal behavior) the semantics is "taking care of itself" anyway. Thus we also see why, from this perspective, artificial intelligence can be regarded as psychology in a particularly pure and abstract form. The same fundamental structures are under investigation, but in AI, all the relevant parameters are under direct experimental control (in the programming), without any messy physiology or ethics to get in the way. (Haugeland, 1981b, p. 31)There are many different kinds of reasoning one might imagine:Formal reasoning involves the syntactic manipulation of data structures to deduce new ones following prespecified rules of inference. Mathematical logic is the archetypical formal representation. Procedural reasoning uses simulation to answer questions and solve problems. When we use a program to answer What is the sum of 3 and 4? it uses, or "runs," a procedural model of arithmetic. Reasoning by analogy seems to be a very natural mode of thought for humans but, so far, difficult to accomplish in AI programs. The idea is that when you ask the question Can robins fly? the system might reason that "robins are like sparrows, and I know that sparrows can fly, so robins probably can fly."Generalization and abstraction are also natural reasoning process for humans that are difficult to pin down well enough to implement in a program. If one knows that Robins have wings, that Sparrows have wings, and that Blue jays have wings, eventually one will believe that All birds have wings. This capability may be at the core of most human learning, but it has not yet become a useful technique in AI.... Meta- level reasoning is demonstrated by the way one answers the question What is Paul Newman's telephone number? You might reason that "if I knew Paul Newman's number, I would know that I knew it, because it is a notable fact." This involves using "knowledge about what you know," in particular, about the extent of your knowledge and about the importance of certain facts. Recent research in psychology and AI indicates that meta-level reasoning may play a central role in human cognitive processing. (Barr & Feigenbaum, 1981, pp. 146-147)Suffice it to say that programs already exist that can do things-or, at the very least, appear to be beginning to do things-which ill-informed critics have asserted a priori to be impossible. Examples include: perceiving in a holistic as opposed to an atomistic way; using language creatively; translating sensibly from one language to another by way of a language-neutral semantic representation; planning acts in a broad and sketchy fashion, the details being decided only in execution; distinguishing between different species of emotional reaction according to the psychological context of the subject. (Boden, 1981, p. 33)Can the synthesis of Man and Machine ever be stable, or will the purely organic component become such a hindrance that it has to be discarded? If this eventually happens-and I have... good reasons for thinking that it must-we have nothing to regret and certainly nothing to fear. (Clarke, 1984, p. 243)The thesis of GOFAI... is not that the processes underlying intelligence can be described symbolically... but that they are symbolic. (Haugeland, 1985, p. 113)14) Artificial Intelligence Provides a Useful Approach to Psychological and Psychiatric Theory FormationIt is all very well formulating psychological and psychiatric theories verbally but, when using natural language (even technical jargon), it is difficult to recognise when a theory is complete; oversights are all too easily made, gaps too readily left. This is a point which is generally recognised to be true and it is for precisely this reason that the behavioural sciences attempt to follow the natural sciences in using "classical" mathematics as a more rigorous descriptive language. However, it is an unfortunate fact that, with a few notable exceptions, there has been a marked lack of success in this application. It is my belief that a different approach-a different mathematics-is needed, and that AI provides just this approach. (Hand, quoted in Hand, 1985, pp. 6-7)We might distinguish among four kinds of AI.Research of this kind involves building and programming computers to perform tasks which, to paraphrase Marvin Minsky, would require intelligence if they were done by us. Researchers in nonpsychological AI make no claims whatsoever about the psychological realism of their programs or the devices they build, that is, about whether or not computers perform tasks as humans do.Research here is guided by the view that the computer is a useful tool in the study of mind. In particular, we can write computer programs or build devices that simulate alleged psychological processes in humans and then test our predictions about how the alleged processes work. We can weave these programs and devices together with other programs and devices that simulate different alleged mental processes and thereby test the degree to which the AI system as a whole simulates human mentality. According to weak psychological AI, working with computer models is a way of refining and testing hypotheses about processes that are allegedly realized in human minds.... According to this view, our minds are computers and therefore can be duplicated by other computers. Sherry Turkle writes that the "real ambition is of mythic proportions, making a general purpose intelligence, a mind." (Turkle, 1984, p. 240) The authors of a major text announce that "the ultimate goal of AI research is to build a person or, more humbly, an animal." (Charniak & McDermott, 1985, p. 7)Research in this field, like strong psychological AI, takes seriously the functionalist view that mentality can be realized in many different types of physical devices. Suprapsychological AI, however, accuses strong psychological AI of being chauvinisticof being only interested in human intelligence! Suprapsychological AI claims to be interested in all the conceivable ways intelligence can be realized. (Flanagan, 1991, pp. 241-242)16) Determination of Relevance of Rules in Particular ContextsEven if the [rules] were stored in a context-free form the computer still couldn't use them. To do that the computer requires rules enabling it to draw on just those [ rules] which are relevant in each particular context. Determination of relevance will have to be based on further facts and rules, but the question will again arise as to which facts and rules are relevant for making each particular determination. One could always invoke further facts and rules to answer this question, but of course these must be only the relevant ones. And so it goes. It seems that AI workers will never be able to get started here unless they can settle the problem of relevance beforehand by cataloguing types of context and listing just those facts which are relevant in each. (Dreyfus & Dreyfus, 1986, p. 80)Perhaps the single most important idea to artificial intelligence is that there is no fundamental difference between form and content, that meaning can be captured in a set of symbols such as a semantic net. (G. Johnson, 1986, p. 250)Artificial intelligence is based on the assumption that the mind can be described as some kind of formal system manipulating symbols that stand for things in the world. Thus it doesn't matter what the brain is made of, or what it uses for tokens in the great game of thinking. Using an equivalent set of tokens and rules, we can do thinking with a digital computer, just as we can play chess using cups, salt and pepper shakers, knives, forks, and spoons. Using the right software, one system (the mind) can be mapped into the other (the computer). (G. Johnson, 1986, p. 250)19) A Statement of the Primary and Secondary Purposes of Artificial IntelligenceThe primary goal of Artificial Intelligence is to make machines smarter.The secondary goals of Artificial Intelligence are to understand what intelligence is (the Nobel laureate purpose) and to make machines more useful (the entrepreneurial purpose). (Winston, 1987, p. 1)The theoretical ideas of older branches of engineering are captured in the language of mathematics. We contend that mathematical logic provides the basis for theory in AI. Although many computer scientists already count logic as fundamental to computer science in general, we put forward an even stronger form of the logic-is-important argument....AI deals mainly with the problem of representing and using declarative (as opposed to procedural) knowledge. Declarative knowledge is the kind that is expressed as sentences, and AI needs a language in which to state these sentences. Because the languages in which this knowledge usually is originally captured (natural languages such as English) are not suitable for computer representations, some other language with the appropriate properties must be used. It turns out, we think, that the appropriate properties include at least those that have been uppermost in the minds of logicians in their development of logical languages such as the predicate calculus. Thus, we think that any language for expressing knowledge in AI systems must be at least as expressive as the first-order predicate calculus. (Genesereth & Nilsson, 1987, p. viii)21) Perceptual Structures Can Be Represented as Lists of Elementary PropositionsIn artificial intelligence studies, perceptual structures are represented as assemblages of description lists, the elementary components of which are propositions asserting that certain relations hold among elements. (Chase & Simon, 1988, p. 490)Artificial intelligence (AI) is sometimes defined as the study of how to build and/or program computers to enable them to do the sorts of things that minds can do. Some of these things are commonly regarded as requiring intelligence: offering a medical diagnosis and/or prescription, giving legal or scientific advice, proving theorems in logic or mathematics. Others are not, because they can be done by all normal adults irrespective of educational background (and sometimes by non-human animals too), and typically involve no conscious control: seeing things in sunlight and shadows, finding a path through cluttered terrain, fitting pegs into holes, speaking one's own native tongue, and using one's common sense. Because it covers AI research dealing with both these classes of mental capacity, this definition is preferable to one describing AI as making computers do "things that would require intelligence if done by people." However, it presupposes that computers could do what minds can do, that they might really diagnose, advise, infer, and understand. One could avoid this problematic assumption (and also side-step questions about whether computers do things in the same way as we do) by defining AI instead as "the development of computers whose observable performance has features which in humans we would attribute to mental processes." This bland characterization would be acceptable to some AI workers, especially amongst those focusing on the production of technological tools for commercial purposes. But many others would favour a more controversial definition, seeing AI as the science of intelligence in general-or, more accurately, as the intellectual core of cognitive science. As such, its goal is to provide a systematic theory that can explain (and perhaps enable us to replicate) both the general categories of intentionality and the diverse psychological capacities grounded in them. (Boden, 1990b, pp. 1-2)Because the ability to store data somewhat corresponds to what we call memory in human beings, and because the ability to follow logical procedures somewhat corresponds to what we call reasoning in human beings, many members of the cult have concluded that what computers do somewhat corresponds to what we call thinking. It is no great difficulty to persuade the general public of that conclusion since computers process data very fast in small spaces well below the level of visibility; they do not look like other machines when they are at work. They seem to be running along as smoothly and silently as the brain does when it remembers and reasons and thinks. On the other hand, those who design and build computers know exactly how the machines are working down in the hidden depths of their semiconductors. Computers can be taken apart, scrutinized, and put back together. Their activities can be tracked, analyzed, measured, and thus clearly understood-which is far from possible with the brain. This gives rise to the tempting assumption on the part of the builders and designers that computers can tell us something about brains, indeed, that the computer can serve as a model of the mind, which then comes to be seen as some manner of information processing machine, and possibly not as good at the job as the machine. (Roszak, 1994, pp. xiv-xv)The inner workings of the human mind are far more intricate than the most complicated systems of modern technology. Researchers in the field of artificial intelligence have been attempting to develop programs that will enable computers to display intelligent behavior. Although this field has been an active one for more than thirty-five years and has had many notable successes, AI researchers still do not know how to create a program that matches human intelligence. No existing program can recall facts, solve problems, reason, learn, and process language with human facility. This lack of success has occurred not because computers are inferior to human brains but rather because we do not yet know in sufficient detail how intelligence is organized in the brain. (Anderson, 1995, p. 2)Historical dictionary of quotations in cognitive science > Artificial Intelligence
-
12 alto
1. adj highpersona talla voce alta in a loud voiceleggere aloudin alto at the topmoto upa notte alta in the middle of the night2. m top* * *alto agg.1 high; ( di statura) tall; ( di spessore) thick: quella torre è molto alta, that tower is very high; il monte è alto 2114 metri, the mountain is 2114 metres high; il ragazzo è alto per la sua età, the boy is tall for his age; una bistecca bella alta, a really thick steak // il sole era alto sull'orizzonte, the sun was high above the horizon // andare a testa alta, to hold one's head high // tenere alto il morale, to keep one's morale high4 ( di suono) ( acuto) high, shrill; ( forte) loud: parlare a voce alta, to speak in a loud voice (o loudly)5 ( elevato) high: il prezzo mi sembra molto alto, the price seems very high to me // (econ.): alto costo, expensiveness; alta congiuntura, boom // (med.) pressione alta, high pressure6 (fig.) ( nobile, sublime) high, excellent; noble; un gesto di alta generosità, a very generous gesture; un uomo di alti sentimenti, a man of noble character; avere un'alta opinione di qlcu., to have a high (o excellent) opinion of s.o. // tenere alto il proprio nome, la propria reputazione, to keep one's (good) reputation7 (fig.) ( di classe, di importanza) high; ( di grado) high-ranking, top: l'alta società, high society; l'alta finanza, high finance; l'alta matematica, higher mathematics; le classi alte, upper classes; un alto funzionario, a high-ranking (o top) official; l'alta direzione, top management; alti studi, advanced studies // l'alta stagione, the high season // alto tradimento, high treason10 ( di tempo) late: la Pasqua è alta quest'anno, Easter is late this year // a giorno alto, a notte alta, late in the day, in the night◆ s.m.1 height, top // gli alti e bassi della vita, the ups and downs of life (o the vicissitudes of life) // un ordine venuto dall'alto, an order from the top // far cadere una cosa dall'alto, to do (o to give) sthg. condescendingly // guardare qlcu. dall'alto in basso, to look down on s.o.alto avv.2 ( ad alta voce) aloud, loudly: proclamare alto che..., to proclaim loudly that...* * *['alto] alto (-a)1. agg1) (gen) high, tall2) (suono: elevato) high(-pitched), (forte) loudad alta voce — out loud, aloud
l'ha detto a voce alta perché sentissero tutti — she said it in a loud voice so that everybody would hear
abbassa un po', è troppo alto — turn it down a bit, it's too loud
3) (fig : elevato: carica, dignitario) high, (sentimenti, pensieri) lofty, nobleavere un'alta opinione di sé — to have a high opinion of o.s.
4) (profondo: acqua) deep5) Geog6) (largo: tessuto) wide2. sm(parte superiore) top (part)in alto — up
dall'alto fig — from on high
dall'alto in o al basso — up and down
3. avv(volare) high"alto" — (su casse di imballaggio) "this side up"
4.* * *['alto] 1.1) (di altezza considerevole) [montagna, muro, tacco] high; [albero, monumento, edificio, erba] tall; [ neve] deep; (profondo) [ acqua] deep; (spesso) [ strato] thick2) (di statura elevata) [ persona] tallla parte -a di — the top part of [edificio, muro]
4) (in una scala di valori) [temperatura, pressione, densità, voto, prezzo, reddito] highavere un'-a opinione di qcn. — to have a high opinion of sb
5) (forte) [voce, suono] loud6) mus. (acuto) [nota, tonalità] high(-pitched)di alto rango — of high rank, high-ranking
8) (nel tempo)10) geogr. upper2.sostantivo maschile1) (parte superiore) top"alto" — (sugli imballaggi) "this side up"
2) in alto3) dall'alto from above, from the top, from on high3.avverbio [volare, saltare] highalto dirigente — top o senior manager
alto funzionario — high-ranking official, senior officer
- a definizione — telev. high definition
- a moda — haute couture, high fashion
- a pressione — meteor. high pressure
- a stagione — peak o high season
- a tensione — el. high tension o voltage
- a uniforme — dress uniform, formal o full dress
- a velocità — ferr. high speed
••guardare qcn. dall'alto in basso — to eye sb. up and down, to look down on sb. o down one's nose at sb.
avere degli -i e bassi — to have one's ups and downs; econ. to have peaks and troughs
andare a testa -a — to walk tall o with one's head held high
* * *alto/'alto/1 (di altezza considerevole) [montagna, muro, tacco] high; [albero, monumento, edificio, erba] tall; [ neve] deep; (profondo) [ acqua] deep; (spesso) [ strato] thick; un muro alto 5 metri a five-metre high wall2 (di statura elevata) [ persona] tall; quanto sei alto? how tall are you? what's your height? sono alto un metro e sessanta I'm one metre sixty (tall)3 (in posizione elevata) la parte -a di the top part of [edificio, muro]; lo scaffale più alto the top shelf; la città -a the upper town; il sole è alto sull'orizzonte the sun is high above the horizon4 (in una scala di valori) [temperatura, pressione, densità, voto, prezzo, reddito] high; avere un'-a opinione di qcn. to have a high opinion of sb.5 (forte) [voce, suono] loud; a voce -a [leggere, pensare] aloud, in a loud voice; [ parlare] loudly6 mus. (acuto) [nota, tonalità] high(-pitched)8 (nel tempo) l'alto Medioevo the early Middle Ages2 in alto guardare in alto to look up; nell'angolo in alto a sinistra in the top left-hand corner; mirare troppo in alto to aim too high (anche fig.)3 dall'alto from above, from the top, from on highIII avverbio[volare, saltare] highguardare qcn. dall'alto in basso to eye sb. up and down, to look down on sb. o down one's nose at sb.; - i e bassi ups and downs; avere degli -i e bassi to have one's ups and downs; econ. to have peaks and troughs; mani in alto! hands up! andare a testa -a to walk tall o with one's head held high\alto dirigente top o senior manager; alto funzionario high-ranking official, senior officer; alto mare high o open sea; alto tradimento high treason; - a definizione telev. high definition; - a fedeltà high-fidelity; - a finanza high finance; - a marea high tide o water; - a moda haute couture, high fashion; - a pressione meteor. high pressure; - a società high society; - a stagione peak o high season; - a tensione el. high tension o voltage; - a uniforme dress uniform, formal o full dress; - a velocità ferr. high speed. -
13 Grammar
I think that the failure to offer a precise account of the notion "grammar" is not just a superficial defect in linguistic theory that can be remedied by adding one more definition. It seems to me that until this notion is clarified, no part of linguistic theory can achieve anything like a satisfactory development.... I have been discussing a grammar of a particular language here as analogous to a particular scientific theory, dealing with its subject matter (the set of sentences of this language) much as embryology or physics deals with its subject matter. (Chomsky, 1964, p. 213)Obviously, every speaker of a language has mastered and internalized a generative grammar that expresses his knowledge of his language. This is not to say that he is aware of the rules of grammar or even that he can become aware of them, or that his statements about his intuitive knowledge of his language are necessarily accurate. (Chomsky, 1965, p. 8)Much effort has been devoted to showing that the class of possible transformations can be substantially reduced without loss of descriptive power through the discovery of quite general conditions that all such rules and the representations they operate on and form must meet.... [The] transformational rules, at least for a substantial core grammar, can be reduced to the single rule, "Move alpha" (that is, "move any category anywhere"). (Mehler, Walker & Garrett, 1982, p. 21)4) The Relationship of Transformational Grammar to Semantics and to Human Performancehe implications of assuming a semantic memory for what we might call "generative psycholinguistics" are: that dichotomous judgments of semantic well-formedness versus anomaly are not essential or inherent to language performance; that the transformational component of a grammar is the part most relevant to performance models; that a generative grammar's role should be viewed as restricted to language production, whereas sentence understanding should be treated as a problem of extracting a cognitive representation of a text's message; that until some theoretical notion of cognitive representation is incorporated into linguistic conceptions, they are unlikely to provide either powerful language-processing programs or psychologically relevant theories.Although these implications conflict with the way others have viewed the relationship of transformational grammars to semantics and to human performance, they do not eliminate the importance of such grammars to psychologists, an importance stressed in, and indeed largely created by, the work of Chomsky. It is precisely because of a growing interdependence between such linguistic theory and psychological performance models that their relationship needs to be clarified. (Quillian, 1968, p. 260)here are some terminological distinctions that are crucial to explain, or else confusions can easily arise. In the formal study of grammar, a language is defined as a set of sentences, possibly infinite, where each sentence is a string of symbols or words. One can think of each sentence as having several representations linked together: one for its sound pattern, one for its meaning, one for the string of words constituting it, possibly others for other data structures such as the "surface structure" and "deep structure" that are held to mediate the mapping between sound and meaning. Because no finite system can store an infinite number of sentences, and because humans in particular are clearly not pullstring dolls that emit sentences from a finite stored list, one must explain human language abilities by imputing to them a grammar, which in the technical sense is a finite rule system, or programme, or circuit design, capable of generating and recognizing the sentences of a particular language. This "mental grammar" or "psychogrammar" is the neural system that allows us to speak and understand the possible word sequences of our native tongue. A grammar for a specific language is obviously acquired by a human during childhood, but there must be neural circuitry that actually carries out the acquisition process in the child, and this circuitry may be called the language faculty or language acquisition device. An important part of the language faculty is universal grammar, an implementation of a set of principles or constraints that govern the possible form of any human grammar. (Pinker, 1996, p. 263)A grammar of language L is essentially a theory of L. Any scientific theory is based on a finite number of observations, and it seeks to relate the observed phenomena and to predict new phenomena by constructing general laws in terms of hypothetical constructs.... Similarly a grammar of English is based on a finite corpus of utterances (observations), and it will contain certain grammatical rules (laws) stated in terms of the particular phonemes, phrases, etc., of English (hypothetical constructs). These rules express structural relations among the sentences of the corpus and the infinite number of sentences generated by the grammar beyond the corpus (predictions). (Chomsky, 1957, p. 49)Historical dictionary of quotations in cognitive science > Grammar
-
14 Virtual Machine
wo programs can be thought of as strongly equivalent or as different realizations of the same algorithm or the same cognitive process if they can be represented by the same program in some theoretically specified virtual machine. A simple way of stating this is to say that we individuate cognitive processes in terms of their expression in the canonical language of this virtual machine. The formal structure of the virtual machine-or what I call its functional architecture-thus represents the theoretical definition of, for example, the right level of specificity (or level of aggregation) at which to view mental processes, the sort of functional resources the brain makes available-what operations are primitive, how memory is organized and accessed, what sequences are allowed, what limitations exist on the passing of arguments and on the capacities of various buffers, and so on. (Pylyshyn, 1984, p. 92)Historical dictionary of quotations in cognitive science > Virtual Machine
-
15 Erklärung
Erklärung f 1. GEN, RECHT declaration, statement, explanation; 2. MEDIA, POL statement • eine Erklärung abgeben MEDIA put out a statement, issue a statement, make a statement* * *f 1. <Geschäft, Recht> declaration, statement, explanation; 2. <Medien, Pol> statement ■ eine Erklärung abgeben < Medien> put out a statement, issue a statement, make a statement* * *Erklärung
declaration, statement, representation, demonstration, (Auslegung) interpretation, (Aussage) deposition, testimony, (Definition) legend, comment, exposition, definition, (Erläuterung) explanation, (Gründe) reasons, (Veranschaulichung) illustration;
• nach seinen eigenen Erklärungen according to his own statement;
• in Erfüllung rechtlicher, moralischer oder sozialer Pflichten abgegebene Erklärung statements made in discharge of a legal, moral or social duty;
• im Laufe der Verhandlung abgegebene Erklärung statement made during the course of negotiations;
• aus freien Stücken (freiem Willen) abgegebene Erklärung voluntary statement;
• amtliche Erklärung official statement;
• bindende Erklärung binding declaration;
• eidesstattliche Erklärung declaration in lieu of oath (Br.), affidavit, statutory declaration (Br.);
• einleitende Erklärungen opening statement;
• einseitige Erklärung unilateral declaration;
• falsche Erklärung inaccurate statement, false demonstration;
• feierliche Erklärung pronouncement, solemn declaration;
• formelle Erklärung explicit declaration;
• gleich lautende Erklärungen identical statements;
• hinreichende Erklärung satisfactory explanation;
• legalisierte Erklärung duly certified declaration;
• mündliche Erklärung verbal statement;
• rechtserhebliche Erklärung material statement;
• rechtlich unbedeutende Erklärungen mere representations;
• unrichtige Erklärung false demonstration;
• unwiderrufliche Erklärung irrevocable statement;
• zusammenfassende Erklärung summary statement;
• Erklärung über die Beendigung eines Treuhandverhältnisses deed of discharge;
• Erklärung des Börsenvorstands [über nicht eingehaltene Verpflichtungen (über den Konkurs eines Börsenmitglieds)] declaration of default (Br.);
• Erklärung der üblichen Dividende regular dividend announcement;
• Erklärung über die Entwicklung des Eigenkapitals statement of investment (stockholders’ equity);
• Erklärung über das ausgewiesene Grundkapital statement of nominal capital (Br.);
• Erklärung auf dem Sterbebett dying declaration, deathbed deed;
• Erklärung des Vorstands über dem Prüfer zur Verfügung gestellte Unterlagen liability certificate (US);
• Erklärung in Wahrnehmung berechtigter Interessen statement on a privileged occasion (Br.);
• Erklärung des letzten Willens publication;
• Erklärung abgeben to declare, to give (make) a declaration, to make a statement, to announce;
• amtliche Erklärung abgeben to make an official statement;
• eidesstattliche Erklärung abgeben to depose on oath, to affirm (US), to file a statutory declaration (Br.) (an affidavit);
• einschränkende Erklärung abgeben to qualify a statement;
• persönliche Erklärung abgeben to make a personal statement;
• Erklärung unter Eid abgeben to make a statement on oath;
• Erklärung in Wahrnehmung berechtigter Interessen abgeben to make a statement on a privileged occasion;
• Erklärung abschwächen to modify a statement;
• keiner Erklärung bedürfen to need no explanation;
• durch eidesstattliche Erklärung bestätigen to verify by affidavit;
• zu einem Thema keine Erklärungen abgeben dürfen not to be competent to speak on a matter;
• Erklärung zu Protokoll geben to read a statement into the minutes;
• Erklärung für sein Verhalten geben to give explanations for one’s conduct;
• Erklärung gutheißen to justify a statement;
• [offizielle] Erklärung herausgeben to issue a [formal] statement;
• von einer Erklärung offiziell Kenntnis nehmen to take note of a declaration;
• befriedigende Erklärung verlangen to want satisfactory reasons. -
16 bestemmelse
sg - bestémmelsen, pl - bestémmelser1) реше́ние с, постановле́ние с2) назначе́ние с* * ** * *(en -r)( beslutning) decision;( lovbestemmelse) provision;(i kontrakt etc) stipulation;( i reglement) rule; regulation ( fx safety regulations);( konstatering, klassificering) determination;( definition) definition;(af mødetid etc) appointment;( skæbne) destiny;( formål) purpose;[ efter bestemmelsen] according to schedule;[ opfylde sin bestemmelse] have the intended effect;[ tage en bestemmelse] come to (el. make, arrive at, reach) a decision, make up one's mind;[ ved skæbnens bestemmelse] by a decree of fate. -
17 enlace
m.1 link (conexión) (gen) & (computing).2 go-between (person).3 bond (chemistry).4 connection.estación de enlace junctionvía de enlace crossoverpres.subj.3rd person singular (él/ella/ello) Present Subjunctive of Spanish verb: enlazar.* * *1 (conexión) link, connection2 (boda) marriage3 (tren etc) connection4 (intermediario) liaison, link5 QUÍMICA bond\establecer un enlace to forge a linkservir de enlace to provide a linkenlace sindical shop steward, US union delegateestación de enlace junction 2 (metro) connecting stationvía de enlace crossover* * *noun m.1) link, connection2) liaison* * *SM1) (=relación) connection, relationship2) (=conexión) (Elec) linkage; (Quím) bond; (Ferro) connection; [de vías] crossover; [en autopista] motorway junction; (Mil) liaisonlos buques no lograron efectuar el enlace en el punto indicado — the ships did not manage to rendezvous at the spot indicated
4) (=mediador) link, go-between5) (Internet) linkenlace de datos — (Inform) data link
* * *1)a) (conexión, unión) linkenlace telefónico/por satélite — telephone/satellite link
b) (de vías, carreteras) intersection, junction2) (frml) ( casamiento) tb3) ( persona) liaisonactúa de enlace entre... — he acts as liaison o as a link between...
4) (Quím) linkage, bond* * *= interfixing, link, linkage, pointer, bridge, bonding, liaison, bond, link-up, relay point, nexus.Ex. The device known as links (sometimes referred to as 'interfixing') simply indicates that some connection exists between two or more terms (ie concepts) in a particular document.Ex. Explanatory references give a little more explanation as to why the link between two names is being made in the catalogue or index.Ex. We have just stated that the linkage of varying titles and varying forms of entry have to be done on the same basis in an automated situation as in a manual situation.Ex. Note also, that the subdivided heading MUSIC -- AUSTRIA consists only of two pointers.Ex. My own definition of 'Hypermedia' is a system whereby audiovisual 'statements' can be used as bridges between materials that are conceptually related in some way.Ex. The authors suggest that there should be a bonding between and among governing agencies and local schools.Ex. It is important to make sure that there is close liaison between the cataloguing department and the order department, otherwise cards are liable to be ordered twice or in insufficient quantity to meet the total demand.Ex. Networking creates bonds where none may have existed and multiplies individual capabilities manifold.Ex. Today the link-up with television is obviously very useful indeed.Ex. These information centres function as ports of first call for officials stationed nearby, and also as relay points to the central collections.Ex. The author explores the nexus between record keeping and the execution of government 'watchdog' functions.----* deterioro de los enlaces = link rot.* enlace cita = backlink.* enlace cita, enlace referencia, enlace de referencia = backlink.* enlace de comunicaciones = communications link.* enlace de comunicaciones vía satélite = satellite link.* enlace de referencia = backlink.* enlace de telecomunicaciones = telecommunications link.* enlace hipertextual inserto = embedded link.* enlace obsoleto = broken link, dead link.* enlace químico = chemical bond.* enlace referencia = backlink, outlink [out-link].* enlace referente = backlink, inlink [in-link].* enlace roto = broken link, dead link.* enlaces a sitios web = sitation.* puerta en enlace = gateway.* solventador de enlace = resolver.* vuelo de enlace = connecting flight.* * *1)a) (conexión, unión) linkenlace telefónico/por satélite — telephone/satellite link
b) (de vías, carreteras) intersection, junction2) (frml) ( casamiento) tb3) ( persona) liaisonactúa de enlace entre... — he acts as liaison o as a link between...
4) (Quím) linkage, bond* * *= interfixing, link, linkage, pointer, bridge, bonding, liaison, bond, link-up, relay point, nexus.Ex: The device known as links (sometimes referred to as 'interfixing') simply indicates that some connection exists between two or more terms (ie concepts) in a particular document.
Ex: Explanatory references give a little more explanation as to why the link between two names is being made in the catalogue or index.Ex: We have just stated that the linkage of varying titles and varying forms of entry have to be done on the same basis in an automated situation as in a manual situation.Ex: Note also, that the subdivided heading MUSIC -- AUSTRIA consists only of two pointers.Ex: My own definition of 'Hypermedia' is a system whereby audiovisual 'statements' can be used as bridges between materials that are conceptually related in some way.Ex: The authors suggest that there should be a bonding between and among governing agencies and local schools.Ex: It is important to make sure that there is close liaison between the cataloguing department and the order department, otherwise cards are liable to be ordered twice or in insufficient quantity to meet the total demand.Ex: Networking creates bonds where none may have existed and multiplies individual capabilities manifold.Ex: Today the link-up with television is obviously very useful indeed.Ex: These information centres function as ports of first call for officials stationed nearby, and also as relay points to the central collections.Ex: The author explores the nexus between record keeping and the execution of government 'watchdog' functions.* deterioro de los enlaces = link rot.* enlace cita = backlink.* enlace cita, enlace referencia, enlace de referencia = backlink.* enlace de comunicaciones = communications link.* enlace de comunicaciones vía satélite = satellite link.* enlace de referencia = backlink.* enlace de telecomunicaciones = telecommunications link.* enlace hipertextual inserto = embedded link.* enlace obsoleto = broken link, dead link.* enlace químico = chemical bond.* enlace referencia = backlink, outlink [out-link].* enlace referente = backlink, inlink [in-link].* enlace roto = broken link, dead link.* enlaces a sitios web = sitation.* puerta en enlace = gateway.* solventador de enlace = resolver.* vuelo de enlace = connecting flight.* * *A1 (conexión, unión) linkenlace telefónico telephone linkenlace por or vía satélite satellite linkel enlace ferroviario/aéreo entre las dos ciudades the rail/air link between the two citiesuna partícula de enlace a linking o connecting particle2 (de vías, carreteras) intersection, junctionCompuestos:( Inf) weblinkcloverleafB ( frml) (casamiento) tbenlace matrimonial marriageC (persona) liaisonactúa de enlace entre … he acts as liaison o as a link between …, he liaises between … ( BrE)Compuesto:masculine and feminine ( Esp) shop steward, union repD ( Quím) linkage, bond* * *
Del verbo enlazar: ( conjugate enlazar)
enlacé es:
1ª persona singular (yo) pretérito indicativo
enlace es:
1ª persona singular (yo) presente subjuntivo3ª persona singular (él/ella/usted) presente subjuntivo3ª persona singular (él/ella/usted) imperativo
Multiple Entries:
enlace
enlazar
enlace sustantivo masculino
c) tb
enlazar ( conjugate enlazar) verbo transitivo
1
‹ideas/temas› to link, connect
2 (Col, RPl) ‹res/caballo› to lasso, rope (AmE)
3 (Méx frml) ( casar) to marry
verbo intransitivo enlace con algo [tren/vuelo] to connect with sth;
[ carretera] to link up with sth
enlace sustantivo masculino
1 (relación, ligazón) link, connection
enlace químico, chemical bond
2 frml (boda) wedding
3 (persona de contacto) liaison
4 Ferroc connection
5 (de carreteras, autopistas) intersection, junction
enlazar verbo transitivo & verbo intransitivo to link [con, with/to], connect [con, with]
' enlace' also found in these entries:
Spanish:
boda
- comunicación
- nexo
English:
connection
- liaison
- link
- union
- interchange
- liaise
- rep
- shuttle
* * *enlace nm1. [conexión] link;el enlace ferroviario/aéreo entre París y Madrid the rail/air link between Paris and Madrid;un enlace vía satélite a satellite link o hook-up3. [persona] go-between;sirvió de enlace en las negociaciones he acted as mediator in the negotiationsEsp enlace sindical shop stewardestación de enlace junction;vía de enlace crossover, crossing5. Quím bondenlace covalente covalent bond;enlace de hidrógeno hydrogen bond;enlace iónico ionic bond;enlace químico chemical bond* * *m link, connection* * *enlace nm1) : bond, link, connection2) : liaison* * *enlace n1. (conexión) link / connection2. (autobús, tren) connection3. (boda) marriage -
18 ὅρος
Grammatical information: m.Meaning: `border, boundary mark (pole, column, stone), term, limit, mark, appointment, definition' (Att. Cf. Koller Glotta 38, 70ff.).Compounds: Sometimes as 1. member, e.g. ὁρο-θεσία f. `the fixing of boundaries' (hell. inscr., Act. Ap., pap.), as νομο-θεσία a.o., formal from ὁρο-θέ-της (gloss.), comp. of ὅρον θεῖναι with τη-suffix; often as 2. member, e.g. δί-ωρος `with two boundary stones' (Arc. IVa), ἀμφ-ούρ-ιον n. `toll, paid by the seller to the owner of the neighbouring estate as a fixation of the sale' (pap. IIIa, Rhod. inscr. IIa), ἀμφουριασμός m. (*ἀμφουρι-άζω); s. Wilhelm Glotta 14, 68ff., 83, Preisigke Wb. s.v.; zu εὑθυωρία s. v.Derivatives: 1. ὅρία n. pl. (rarely sg.) `borderline, border areas etc.' (Hp., Att., Arc.); 2. ὁρία f. `border' (Att. inscr.); 3. ὅριος `belonging to the border' ( Ζεὺς ὅρ., Pl., D.) = Lat. Terminus (D.H., Plu.); 4. ὁρικός `belonging to definition' (Arist.); 5. ὁρ-αία τεκτονική = gruma, - ιαῖος λίθος (gloss.); 6. ὁρίζω, aor. - ίσαι (Ion. οὑρ-), often w. prefix, e.g. δι- ( ἐπι-δι- etc.), ἀφ-, περι-, προσ-, `to border, to demarcate, to separate, to determine, to define' (IA.) with ( ἀφ-, περι-, δι-)ὅρισμα ( οὔρ-) `limitation, border' (Hdt., E.), ( ἀφ-, περι- etc.) ὁρισμός `limitation, determination etc.' (Att.), ( δι-)ὅρισις (Pl., Arist.), ὁρισ-τής m. `landmarker' (Att., Tab. Heracl.), - τικός `belonging to limitation or determination, limiting, defining' (Arist.). -- 7. ὀρεύς s. v.Origin: IE [Indo-European]X [probably] [?] *(u̯)eru̯-?Etymology: Not certainly explained. -- An orig. (h) όρϜος (= Corc.) can stand for still older *ϜόρϜος (Schwyzer 306 a. 226 f.) and can be connected wih Lat. urvāre ( amb-) `surround with a (boundary)furrow' (Fest. from Enn., Dig.) as a cognate; the basic noun urvus `circuitus civitatis' (gloss.; transm. urus) can agree except for he ablaut (IE *u̯r̥u̯os against *u̯oru̯os). Here also Osc. uruvú from PItal. * urvā, if with Schulze ZGLE 549 n. 1 a.o. `boundaryfurrow, border' (cf. Vetter Hb. d. ital. Dial. 1, 442). Further connection wih ἐρύω `draw' (s.v.) is then possible. -- Also an alternative basis *ὄρϜος (w. second. asper) can be combined with Lat. urvus (then from *r̥u̯os; to ὀρύ-σσω?, s.v.). -- WP. 1, 293 a. 2, 352 f., W.-Hofmann s. urvus w. further lit. S. also οὑροί and 2. οὖρον.Page in Frisk: 2,425-426Greek-English etymological dictionary (Ελληνικά-Αγγλικά ετυμολογική λεξικό) > ὅρος
-
19 состав преступления
1) General subject: gravamen of a charge, component elements of a crime2) Law: body of the crime, components of crime, constituent elements of offence, corpus, corpus delicti (признаки преступления, доказательства, основные улики), element essential to the offences, elements essential to the offence, elements of a crime, essential elements of offence, legally defined crime, material elements of offence, elements of crime (Black's Law Dictionary - The constituent parts of a crime - usu. consisting of the actus reus, mens rea, and causation - that the prosecution must prove to sustain a conviction.), legal components of a crime3) Business: actus reus4) leg.N.P. formal element of a definition of a crimeУниверсальный русско-английский словарь > состав преступления
-
20 давать
(= дать, обеспечивать, см. также даваться) give, produce, yield, furnish, contribute, offer, afford, give rise to, result in, provide, lead to• В данный момент невозможно дать... - It is not possible at this time to give...• В следующей главе мы дадим количественное представление... - In the next chapter we give a more quantitative account of...• В этом параграфе мы даем краткое введение в... - In this section we give a brief introduction to...• Все вероятности, сложенные вместе, в сумме должны дать единицу. - All the probabilities taken together must add up to 1.• Вышеупомянутые теоремы дают нам... - The foregoing theorems give us...• Давайте рассмотрим детально... - Let us look in detail at...• Дадим этому формальное доказательство. - The formal proof is as follows.• Данная классификация почти ничего не дает нам относительно... - This classification tells us very little about...• Значение наших методов состоит в том, что они дадут... - The significance of our methods is that they will yield...• Метод дал улучшение результатов (= улучшенные результаты). - The method gave improved results.• Мы дадим несколько эквивалентных формулировок (чего-л). - We will give some equivalent formulations of...• Мы можем дать альтернативное определение... - It is possible to give an alternative definition of...• Мы можем дать простое доказательство этой теоремы следующим образом. - We can give a simple proof of this theorem as follows.• Особое рассмотрение должно быть дано (= Необходимо особо рассмотреть)... - Special consideration must be given to...• Перед тем как продолжить (обсуждение), мы прервемся, чтобы дать... - Before going further we pause to give...• Повторное применение соотношения (1) дает соотношение (2). - Repeated application of (1) gives (2).• Подстановка этих значений дает нам... - Substituting these values gives us...• Пусть дан... - Given...; Let there be given...• Пусть дано значение xq. - Suppose xq is given,• Следующая теорема дает (= описывает) условия, при которых... - The following theorem gives conditions under which...• Тем не менее, развитые нами методы дают основание для... - However, the methods we have developed provide a basis for...• Теперь мы дадим краткое заключение (о)... - We now give a brief account of...• Чтобы ответить на этот вопрос, давайте... - То answer this question, let us...• Чтобы показать, что это невозможно, давайте... - То show that this is not possible, let...• Чтобы установить соотношение (1), давайте... - То establish (1), let us...• Эта книга дает современное описание... - This book provides an up-to-date description of...• Это дает основание ожидать, что... - This causes us to anticipate that...• Это дает основание полагать, что... - This suggests that...• Это даст нам необходимую характеристику (чего-л). - This will give us the required characterization of...• Это уже дает некоторую информацию относительно... - This already gives some information about...• Этот метод дает хорошие результаты только если... - The method works well only if...• Этот результат дает более точное необходимое условие для... - This provides a sharper necessary condition for...• Этот случай дает прекрасный пример (чего-л). - This case provides an excellent example of...
- 1
- 2
См. также в других словарях:
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Formal grammar — In formal semantics, computer science and linguistics, a formal grammar (also called formation rules) is a precise description of a formal language ndash; that is, of a set of strings over some alphabet. In other words, a grammar describes which… … Wikipedia
Formal ethics — is a formal logical system for describing and evaluating the form as opposed to the content of ethical principles. Formal ethics was introduced by Harry J. Gensler, in part in his 1990 logic textbook Symbolic Logic: Classical and Advanced Systems … Wikipedia
Definition — For other uses, see Definition (disambiguation). A definition is a passage that explains the meaning of a term (a word, phrase or other set of symbols), or a type of thing. The term to be defined is the definiendum. A term may have many different … Wikipedia
Formal power series — In mathematics, formal power series are devices that make it possible to employ much of the analytical machinery of power series in settings that do not have natural notions of convergence. They are also useful, especially in combinatorics, for… … Wikipedia
Formal language — A formal language is a set of words , i.e. finite strings of letters , or symbols . The inventory from which these letters are taken is called the alphabet over which the language is defined. A formal language is often defined by means of a… … Wikipedia
Formal group — In mathematics, a formal group law is (roughly speaking) a formal power series behaving as if it were the product of a Lie group. They were first defined in 1946 by S. Bochner. The term formal group sometimes means the same as formal group law,… … Wikipedia
Formal interpretation — A formal interpretation [http://books.google.com/books?id=weKqT3ka5g0C pg=PA74 lpg=PA74 dq=%22Formal+interpretation%22+%22formal+language%22 source=web ots=pLN ms7Wi2 sig=P JqwdzOqLcX4nMpP64qmacnkDU hl=en#PPA74,M1 Cann Ronnie, Formal Semantics:… … Wikipedia
Formal scheme — In mathematics, specifically in algebraic geometry, a formal scheme is a type of space which includes data about its surroundings. Unlike an ordinary scheme, a formal scheme includes infinitesimal data that, in effect, points in a direction off… … Wikipedia
Formal system — In formal logic, a formal system (also called a logical system,Audi, Robert (Editor). The Cambridge Dictionary of Philosophy . Second edition, Cambridge University Press, 1999. ISBN 978 0521631365 (hardcover) and ISBN 978 0521637220 (paperback).] … Wikipedia
Formal science — A formal science is a theoretical study that is concerned with theoretical formal systems, for instance, logic, mathematics, systems theory and the theoretical branches of computer science, information theory, economics, statistics, and… … Wikipedia