The role of computational logic as a hinge paradigm among deduction, problem solving, programming, and parallelism

This paper presents some brief considerations on the role of Computational Logic in the construction of Artificial Intelligence systems and in programming in general. It does not address how the many problems in AI can be solved but, rather more modestly, tries to point out some advantages of Computational Logic as a tool for the AI scientist in his quest. It addresses the interaction between declarative and procedural views of programs (deduction and action), the impact of the intrinsic limitations of logic, the relationship with other apparently competing computational paradigms, and finally discusses implementation-related issues, such as the efficiency of current implementations and their capability for efficiently exploiting existing and future sequential and parallel hardware. The purpose of the discussion is in no way to present Computational Logic as the unique overall vehicle for the development of intelligent systems (in the firm belief that such a panacea is yet to be found) but rather to stress its strengths in providing reasonable solutions to several aspects of the task.

Energy- and environmentally efficient road management: The case of the Spanish motorway network

Transport is responsible for 41% of CO2 emissions in Spain, and around 65% of that figure is due to road traffic. Tolled motorways are currently managed according to economic criteria: minimizing operational costs and maximizing revenues from tolls. Within this framework, this paper develops a new methodology for managing motorways based on a target of maximum energy efficiency. It includes technological and demand-driven policies, which are applied to two case studies. Various conclusions emerge from this study. One is, that the use of intelligent payment systems is recommended; and another, is that the most sustainable policy would involve defining the most efficient strategy for each motorway section, including the maximum use of its capacity, the toll level which attracts the most vehicles, and the optimum speed limit for each type of vehicle.

Atmospheric modelling of tritium forms transport: review of capabilities and R&D needs for the assessment of fusion facilities environmental impact

One of the key scrutiny issues of new coming energy era would be the environmental impact of fusion facilities managing one kg of tritium. The potential change of committed dose regulatory limits together with the implementation of nuclear design principles (As Low as Reasonably achievable - ALARA -, Defense in Depth -D-i-D-) for fusion facilities could strongly impact on the cost of deployment of coming fusion technology. Accurate modeling of environmental tritium transport forms (HT, HTO) for the assessment of fusion facility dosimetric impact in Accidental case appears as of major interest. This paper considers different short-term releases of tritium forms (HT and HTO) to the atmosphere from a potential fusion reactor located in the Mediterranean Basin. This work models in detail the dispersion of tritium forms and dosimetric impact of selected environmental patterns both inland and in-sea using real topography and forecast meteorological data-fields (ECMWF/FLEXPART). We explore specific values of this ratio in different levels and we examine the influence of meteorological conditions in the HTO behavior for 24 hours. For this purpose we have used a tool which consists on a coupled Lagrangian ECMWF/FLEXPART model useful to follow real time releases of tritium at 10, 30 and 60 meters together with hourly observations of wind (and in some cases precipitations) to provide a short-range approximation of tritium cloud behavior. We have assessed inhalation doses. And also HTO/HT ratios in a representative set of cases during winter 2010 and spring 2011 for the 3 air levels.

Applied genre analysis: the case of introductions in spanish teacher trainees curricular design documents

A host of studies over the years have been published on introductions to research articles across a variety of fields. However, much less attention has been paid to professional or workplace introductions as well as student written introductions. This study aims to redress this imbalance by studying the writing samples of four primary English teacher trainees’ introductions to curricular design i.e. the document candidates must present to an examination board in Spain. This genre can be considered occluded in that exemplars are private and confidential and not readily available to the aspiring candidate. Three recurrent moves were identified, namely, explaining the importance of curricular design, providing background and defining concepts. Instances of self-glorification (Bhatia 1996) were revealed. The implications of the findings can have a positive effect on students’ future writing. RESUMEN. Se han publicado varios estudios en los últimos años sobre las introducciones de los artículos de investigación en varios campos. Sin embargo, se ha prestado mucha menor atención a las introducciones en los ámbitos profesionales o las introducciones en el lugar de trabajo, así como a las introducciones escritas por estudiantes. Este estudio tiene por objeto corregir este desequilibrio mediante el análisis de cuatro introducciones redactadas por candidatos para las oposiciones públicas de profesores de inglés de primaria. Este género se puede considerar oculto puesto que las muestras de dichas introducciones no están publicadas. El análisis de estas introducciones muestra que hay tres movimientos recurrentes: una explicación de la importancia del diseño curricular, definición del contexto educativo y, por último, definición de conceptos. Hay ejemplos en este estudio empírico de auto-promoción (Bhatia 1996). Las implicaciones de los resultados pueden tener un efecto positivo en la escritura de estos estudiantes en el futuro.

Understanding landscape and the values of traditional architecture and construction

Ponencia presentada en el congreso internacional organizado por el Comité Internacional de Arquitectura Vernácula de ICOMOS - UNESCO.

A landscape architectural design approach:the restoration of the Angel Tower and the Cloister of the Cathedral of Cuenca.

Este artículo trata de analizar la reciente evolución de los conceptos sobre intervención en el Patrimonio Cultural. Para ello utiliza como modelo el proyecto metodológico aplicado sobre las dos últimas actuaciones efectuadas en la Catedral de Cuenca. La Carta de Atenas, 1931, que estableció las bases de la modernidad sobre las dos trayectorias de espacio y tiempo, concuerdan hoy después de casi un siglo, recuperando su punto de encuentro. El artículo básicamente valora el potencial que los proyectos contemporáneos de intervención en el patrimonio pueden ofrecer cuando estudias su trayectoria en el paisaje. En orden a certificar sus transformaciones desde la actualidad, el singular monumento de la Catedral de Cuenca, utilizado como modelo, nos aporta a través de sus materiales y morfología la memoria secular que nos informa de sus técnicas constructivas y valores sociales. Este modelo abre un diálogo entre teoría y práctica reflejado a través de los trabajos de restauración aplicados. Después de treinta años de experiencia restauradora llevada a cabo por los autores, las dos últimas intervenciones que son minuciosamente expuestas, revelan algunas nuevas estrategias de aplicación en el proyecto de intervención.

The Theory and Practice of Restoration in England in the Second Half of the 19th Century: The Work of George E. Street

Análisis de la teoría y práctica de la restauración en Inglaterra en la segunda mitad del siglo XIX, enfocada al trabajo realizado por el arquitecto George Edmund Street, desde el punto de vista de su investigación sobre la historia de la construcción de la arquitectura gótica en Europa.

Biomarkers and inorganic proxies in the paleoenvironmental reconstruction of mires: The importance of landscape in Las Conchas (Asturias, Northern Spain)

We determined the lipid distributions (n-alkanes, n-alkan-2-ones, n-alkanoic acids), total organic carbon (TOC), total nitrogen (TN), Ca/Mg and ash content in Las Conchas mire, a 3.2 m deep bryophyte-dominated mire in Northern Spain covering 8000 cal yr BP. Bog conditions developed in the bottom 20 cm of the profile, and good preservation of organic matter (OM) was inferred from n-alkanoic acid distribution, with the exception of the uppermost 20 cm (last ca. 200 yr). Microbial synthesis of long chain saturated fatty acids from primary OM likely produced a dominance of short chain n-alkanoic acids with a bimodal distribution, as well as the lack of correspondence between the n-alkane and n-alkanoic acid profiles in the upper 20 cm. This was accompanied by an increase in ash content, a decrease in TOC and variation in n-alkane ratios, thereby suggesting significant changes in the mire, namely drainage and transformation to a meadow, in the last ca. 200 yr. The distribution of n-alkan-2-ones indicated an increase in bacterial source from the bottom of the record to 94 cm, whereas their distribution in the upper part could be attributed mainly to plant input and/or the microbial oxidation of n-alkanes. The different n-alkane proxies showed variations, which we interpreted in terms of changes in vegetation (Sphagnum vs. non-Sphagnum dominated phases) during the last 8000 cal yr BP. C23 was the most abundant homolog throughout most of the record, thereby suggesting dominant humid conditions alternating with short drier phases. However, such humid conditions were not linked to paleoclimatic variation but rather to geomorphological characteristics: Las Conchas mire, at the base of the Cuera Range, receives continuous runoff—even during drier periods—which is not necessarily accompanied by additional mineral input to peat, producing the development of Sphagnum moss typical of waterlogged ecotopes and damp habitats. Thus, although geochemical proxies indicated an ombrotrophic regime in the mire, geomorphological characteristics may make a considerable contribution to environmental conditions.