Description and Theoretical Analysis (Using Schemata) of Planner: A Language for Proving Theorems and Manipulating Models in a Robot

Planner is a formalism for proving theorems and manipulating models in a robot. The formalism is built out of a number of problem-solving primitives together with a hierarchical multiprocess backtrack control structure. Statements can be asserted and perhaps later withdrawn as the state of the world changes. Under BACKTRACK control structure, the hierarchy of activations of functions previously executed is maintained so that it is possible to revert to any previous state. Thus programs can easily manipulate elaborate hypothetical tentative states. In addition PLANNER uses multiprocessing so that there can be multiple loci of changes in state. Goals can be established and dismissed when they are satisfied. The deductive system of PLANNER is subordinate to the hierarchical control structure in order to maintain the desired degree of control. The use of a general-purpose matching language as the basis of the deductive system increases the flexibility of the system. Instead of explicitly naming procedures in calls, procedures can be invoked implicitly by patterns of what the procedure is supposed to accomplish. The language is being applied to solve problems faced by a robot, to write special purpose routines from goal oriented language, to express and prove properties of procedures, to abstract procedures from protocols of their actions, and as a semantic base for English.

The Definition and Implementation of a Computer Programming Language Based on Constraints

The constraint paradigm is a model of computation in which values are deduced whenever possible, under the limitation that deductions be local in a certain sense. One may visualize a constraint 'program' as a network of devices connected by wires. Data values may flow along the wires, and computation is performed by the devices. A device computes using only locally available information (with a few exceptions), and places newly derived values on other, locally attached wires. In this way computed values are propagated. An advantage of the constraint paradigm (not unique to it) is that a single relationship can be used in more than one direction. The connections to a device are not labelled as inputs and outputs; a device will compute with whatever values are available, and produce as many new values as it can. General theorem provers are capable of such behavior, but tend to suffer from combinatorial explosion; it is not usually useful to derive all the possible consequences of a set of hypotheses. The constraint paradigm places a certain kind of limitation on the deduction process. The limitations imposed by the constraint paradigm are not the only one possible. It is argued, however, that they are restrictive enough to forestall combinatorial explosion in many interesting computational situations, yet permissive enough to allow useful computations in practical situations. Moreover, the paradigm is intuitive: It is easy to visualize the computational effects of these particular limitations, and the paradigm is a natural way of expressing programs for certain applications, in particular relationships arising in computer-aided design. A number of implementations of constraint-based programming languages are presented. A progression of ever more powerful languages is described, complete implementations are presented and design difficulties and alternatives are discussed. The goal approached, though not quite reached, is a complete programming system which will implicitly support the constraint paradigm to the same extent that LISP, say, supports automatic storage management.

Estrutura básica do MicroArray Gene Expression Markup Language - MAGE-ML.

Um dos objetivos da Rede Genômica Animal é a identificação de genes que contribuam para o melhoramento de características de interesse econômico em animais de produção. Uma das ferramentas para prospecção e análise desses genes é o Microarranjo de DNA, uma técnica que permite avaliar a expressão gênica em condições específicas. Apesar de seu uso amplamente difundido na comunidade científica, os procedimentos e as informações de experimentos nem sempre são padronizados, a despeito dos esforços na criação de uma linguagem padrão como o MAGE-ML. Este documento visa apresentar o padrão MAGE-ML para aqueles que ainda não se utilizam desse recurso e gostariam de aprender um pouco a respeito.

Deconstructing 'Mono'-Lingualism: considerations of value for 'English' 'language' education in a global setting.

Traditionally, language speakers are categorised as mono-lingual, bilingual, or multilingual. It is traditionally assumed in English language education that the ‘lingual’ is something that can be ‘fixed’ in form, written down to be learnt, and taught. Accordingly, the ‘mono’-lingual will have a ‘fixed’ linguistic form. Such a ‘form’ differs according to a number of criteria or influences including region or ‘type’ of English (for example, World Englishes) but is nevertheless assumed to be a ‘form’. ‘Mono-lingualism’ is defined and believed, traditionally, to be ‘speaking one language’; wherever that language is; or whatever that language may be. In this chapter, grounded in an individual subjective philosophy of language, we question this traditional definition. Viewing language from the philosophical perspectives such as those of Bakhtin and Voloshinov, we argue that the prominence of ‘context’ and ‘consciousness’ in language means that to ‘fix’ the form of a language goes against the very spirit of how it is formed and used. We thus challenge the categorisation of ‘mono’-lingualism; proposing that such a categorisation is actually a category error, or a case ‘in which a property is ascribed to a thing that could not possibly have that property’ (Restivo, 2013, p. 175), in this case the property of ‘mono’. Using this proposition as a starting point, we suggest that more time be devoted to language in its context and as per its genuine use as a vehicle for consciousness. We theorise this can be done through a ‘literacy’ based approach which fronts the context of language use rather than the language itself. We outline how we envision this working for teachers, students and materials developers of English Language Education materials in a global setting. To do this we consider Scotland’s Curriculum for Excellence as an exemplar to promote conscious language use in context.

Improving bilingual higher education: Training university professors in content and language integrated learning

With increasing international mobility, higher education must cater to the varying linguistic and cultural needs of students. Successful delivery of courses through English as the vehicular language is essential to encourage international enrollment. However, this cannot be achieved without preparing university professors in the many intricacies delivering their subjects in English may pose. This paper aims to: share preliminary data concerning Content and Language Integrated Learning (CLIL) at Laureate Network Universities worldwide as few studies have been conducted at the tertiary level, reflect upon data regarding student and teacher satisfaction with CLIL at the Universidad Europea de Madrid (UEM), and to propose improvements in English-taught subjects.

Data mining the yeast genome in a lazy functional language

Clare, A. and King R.D. (2003) Data mining the yeast genome in a lazy functional language. In Practical Aspects of Declarative Languages (PADL'03) (won Best/Most Practical Paper award).

Rural Housing, Affordable Housing and Speaking the Language of an Unaffordable Hearth

Huws, Catrin, 'Rural Housing, Affordable Housing and Speaking the Language of an Unaffordable Hearth', Journal of Planning and Environment Law, (2007) pp.1648-1660 RAE2008

The Welsh Language Act 1993 - A Measure of Success?

Huws, C., The Welsh Language Act 1993 - A Measure of Success?, Language Policy, 5(2) pp.141-160 RAE2008

Writing the War on Terrorism: Language, Politics and Counter-terrorism

Jackson, Richard, Writing the War on Terrorism: Language, Politics and Counter-terrorism (Manchester: Manchester University Press, 2005), pp.viii + 232 RAE2008

Language, Policy and the Construction of a Torture Culture in the War on Terrorism

Jackson, R. (2007). Language, Policy and the Construction of a Torture Culture in the War on Terrorism. Review of International Studies. 33(3), pp.353-371 RAE2008

Where the People Are: Language and Community in the Poetry of W.S. Graham

Francis, Matthew, Language and Community in the Poetry of W.S. Graham (Cambridge: Salt Publishing, 2004) RAE2008

Amoral Gower: Language, Sex and Politics

Watt, D. (2003). Amoral Gower: Language, Sex and Politics. Medievil Cultures Series, volume 38. Minneapolis: University of Minnesota Press. RAE2008

The Politics of Language in Romantic Literature

Marggraf Turley, R. (2002). The Politics of Language in Romantic Literature. Basingstoke: Palgrave Macmillan. RAE2008

The development of learner autonomy through Internet resources and its impact on English language attainment

Wydział Neofilologii: Instytut Filologii Angielskiej

Edward Sapir’s View About International Auxiliary Language

The search for common attributes of all languages is connected with the search for characteristics which differentiate languages. If some attributes cannot be found in every language, what is cause of this situation? Is it linked up with the origin of language or with users of the language?