Deducción: natural y automática

La Lógica de Predicados pone a nuestra disposición un lenguaje que nos permitirá formalizar expresiones del conocimiento humano haciendo explícitos los objetos y las relaciones, así como sus restricciones. Además nos proporciona un método, la deducción matemática, para obtener nuevo conocimiento a partir del antiguo. Es por ello que la lógica se convierte en una asignatura presente en los primeros cursos de distintas titulaciones, especialmente de informática, ya que proporciona una base formal de trabajo. En la actualidad existe un variado número de herramientas que pueden servir de ayuda en el aprendizaje de la lógica. El razonamiento es el proceso cognitivo por medio del cual utilizamos y aplicamos nuestro conocimiento, permitiéndonos pasar de una información a otra relacionada con esta. Sin la posibilidad de hacer inferencias, el sistema de procesamiento de información se vería obligado a tener que definir todas las situaciones puntuales y específicas con las que se tenga que enfrentar. A las sentencias de las cuales partimos en el proceso de razonamiento se les llama premisas y a la sentencia a la cual llegamos se le denomina conclusión. Las premisas junto a la conclusión forman el argumento. El concepto lógico de deducción correcta dice que de premisas verdaderas debemos obtener conclusión verdadera, es decir, no podemos aceptar que las premisas sean verdaderas y la conclusión falsa. La lógica nos proporciona métodos de cálculo que nos permiten inferir, por simple manipulación sintáctica, nuevas fórmulas a partir de las conocidas. Uno de estos métodos es la Deducción Natural , cuyo mecanismo está muy cercano al razonamiento intuitivo del ser humano. Así, de forma sencilla, a partir de las fórmulas dadas como premisas y con el único apoyo de unas reglas básicas, obtenemos determinadas conclusiones. Podemos utilizar una herramienta didáctica diseñada específicamente para enseñar a los estudiantes a realizar deducciones naturales, el Asistente para Deducción Natural (ADN). Además podemos intentar abordar el tema de la automatización de la deducción. Para ello debemos realizar pequeñas modificaciones a esta técnica (de notación, de reglas a aplicar y de estrategia a utilizar) que nos lo permita. Todos estos desarrollos teóricos dieron lugar a la aparición de la programación lógica, como paradigma de resolución de problemas basado en la lógica. Prolog es el lenguaje de programación lógica más utilizado.

Los métodos de la lógica.

Lección sobre los distintos métodos lógicos que se pueden aplicar para la resolución de un planteamiento cualquiera. Entre los métodos sintácticos se encuentran el método axiomático y el de deducción natural. Entre los métodos semánticos, se utilizan el de las tablas semánticas y la utilización de interpretaciones y modelos para pruebas de independencia. Entre los métodos algorítmicos, destacan los métodos de decisión y los problemas conectados con la decibilidad.

La herencia de jacobinismo en la deducción fichteana del cuerpo propio y del derecho a la existencia. Metafísica y política en el Fundamento del derecho natural

En este trabajo procuro complementar los estudios sobre el Fundamento del derecho natural que sólo reconstruyen la deducción metafísica del cuerpo sin referencia a sus consecuencias sociales y económicas, y las interpretaciones puramente histórico-contextuales del derecho a la existencia, mostrando la relación íntima que Fichte establece entre estos dos momentos de su teoría

La herencia de jacobinismo en la deducción fichteana del cuerpo propio y del derecho a la existencia. Metafísica y política en el Fundamento del derecho natural

En este trabajo procuro complementar los estudios sobre el Fundamento del derecho natural que sólo reconstruyen la deducción metafísica del cuerpo sin referencia a sus consecuencias sociales y económicas, y las interpretaciones puramente histórico-contextuales del derecho a la existencia, mostrando la relación íntima que Fichte establece entre estos dos momentos de su teoría

La herencia de jacobinismo en la deducción fichteana del cuerpo propio y del derecho a la existencia. Metafísica y política en el Fundamento del derecho natural

En este trabajo procuro complementar los estudios sobre el Fundamento del derecho natural que sólo reconstruyen la deducción metafísica del cuerpo sin referencia a sus consecuencias sociales y económicas, y las interpretaciones puramente histórico-contextuales del derecho a la existencia, mostrando la relación íntima que Fichte establece entre estos dos momentos de su teoría

Proyecto huerto escolar : el entorno natural en el centro.

Se pretende desarrollar un huerto en el centro con el fin de fomentar actitudes de respeto y cuidado hacia el medio natural, desarrollo de comportamientos responsables respecto a tareas de interés común, conocimiento del proceso de crecimiento de algunas plantas, etc. Los objetivos buscados con el desarrollo de este Proyecto son los siguientes: 1) Que los alumnos y profesores investiguen las distintas formas de vida natural del entorno. 2) Motivar a los alumnos en el respeto al medio ambiente a través del conocimiento de las plantas y demás seres vivos. 3) Acercar la naturaleza al alumnos para que desarrollo percepción ambiental y consiga respetar el medio ambiente en el que se desenvuelve. 4) Aprender a organizar y distribuir las tareas en equipos de trabajo. 5) Desarrollar la capacidad de observación, análisis, síntesis y deducción del alumno. 6) Despertar el deseo de investigación y experimentación, haciendo que los alumnos descubran las cosas por sí mismos. 7) Aprender a amar la tierra, conociendo las plantas y respetando sus ritmos. 8) Aprender las operaciones básicas del cuidado de un huerto: preparación del terreno, siembra, abonados, riesgos, escarda, etc.., 9) Conocer y utilizar las herramientas más comunes en el trabajo de la tierra. 10) Conocer y clasificar las distintas clases de hortalizas por su raiz, hojas y por el aprovechamiento, etc... La evaluación de la actividad tanto por parte de los alumnos como de los profesores ha sido muy positiva, siendo el interés demostrado en todas las actividades desarrolladas excelente, dando opiniones de lo positivo de la experiencia y de la necesidad de afianzar en los próximos cursos los objetivos conseguidos y ampliarlos.

Particle and gaseous emissions from compressed natural gas and ultralow sulphur diesel-fuelled buses at four steady engine loads

Exhaust emissions from thirteen compressed natural gas (CNG) and nine ultralow sulphur diesel in-service transport buses were monitored on a chassis dynamometer. Measurements were carried out at idle and at three steady engine loads of 25%, 50% and 100% of maximum power at a fixed speed of 60 kmph. Emission factors were estimated for particle mass and number, carbon dioxide and oxides of nitrogen for two types of CNG buses (Scania and MAN, compatible with Euro 2 and 3 emission standards, respectively) and two types of diesel buses (Volvo Pre-Euro/Euro1 and Mercedez OC500 Euro3). All emission factors increased with load. The median particle mass emission factor for the CNG buses was less than 1% of that from the diesel buses at all loads. However, the particle number emission factors did not show a statistically significant difference between buses operating on the two types of fuel. In this paper, for the very first time, particle number emission factors are presented at four steady state engine loads for CNG buses. Median values ranged from the order of 1012 particles min-1 at idle to 1015 particles km-1 at full power. Most of the particles observed in the CNG emissions were in the nanoparticle size range and likely to be composed of volatile organic compounds The CO2 emission factors were about 20% to 30% greater for the diesel buses over the CNG buses, while the oxides of nitrogen emission factors did not show any difference due to the large variation between buses.

A natural model for architecture : the nature of the evolutionary model 1995

John Frazer's architectural work is inspired by living and generative processes. Both evolutionary and revolutionary, it explores informatin ecologies and the dynamics of the spaces between objects. Fuelled by an interest in the cybernetic work of Gordon Pask and Norbert Wiener, and the possibilities of the computer and the "new science" it has facilitated, Frazer and his team of collaborators have conducted a series of experiments that utilize genetic algorithms, cellular automata, emergent behaviour, complexity and feedback loops to create a truly dynamic architecture. Frazer studied at the Architectural Association (AA) in London from 1963 to 1969, and later became unit master of Diploma Unit 11 there. He was subsequently Director of Computer-Aided Design at the University of Ulter - a post he held while writing An Evolutionary Architecture in 1995 - and a lecturer at the University of Cambridge. In 1983 he co-founded Autographics Software Ltd, which pioneered microprocessor graphics. Frazer was awarded a person chair at the University of Ulster in 1984. In Frazer's hands, architecture becomes machine-readable, formally open-ended and responsive. His work as computer consultant to Cedric Price's Generator Project of 1976 (see P84)led to the development of a series of tools and processes; these have resulted in projects such as the Calbuild Kit (1985) and the Universal Constructor (1990). These subsequent computer-orientated architectural machines are makers of architectural form beyond the full control of the architect-programmer. Frazer makes much reference to the multi-celled relationships found in nature, and their ongoing morphosis in response to continually changing contextual criteria. He defines the elements that describe his evolutionary architectural model thus: "A genetic code script, rules for the development of the code, mapping of the code to a virtual model, the nature of the environment for the development of the model and, most importantly, the criteria for selection. In setting out these parameters for designing evolutionary architectures, Frazer goes beyond the usual notions of architectural beauty and aesthetics. Nevertheless his work is not without an aesthetic: some pieces are a frenzy of mad wire, while others have a modularity that is reminiscent of biological form. Algorithms form the basis of Frazer's designs. These algorithms determine a variety of formal results dependent on the nature of the information they are given. His work, therefore, is always dynamic, always evolving and always different. Designing with algorithms is also critical to other architects featured in this book, such as Marcos Novak (see p150). Frazer has made an unparalleled contribution to defining architectural possibilities for the twenty-first century, and remains an inspiration to architects seeking to create responsive environments. Architects were initially slow to pick up on the opportunities that the computer provides. These opportunities are both representational and spatial: computers can help architects draw buildings and, more importantly, they can help architects create varied spaces, both virtual and actual. Frazer's work was groundbreaking in this respect, and well before its time.

The role of natural ventilation in building sustainable subdivisions in south east Queensland

The objective of the consultative phase is to examine the role that natural ventilation has and can play in the subdivision planning process in SEQ. The Centre for Subtropical Design at QUT coordinated the consultative phase and has conducted a workshop, and interviews, with stakeholders including developers, land development consultants, land surveyors, urban designers and regulators, to identify current understanding of the impact of urban subdivision on natural ventilation, and the role of natural ventilation in achieving energy efficiency for dwellings. This report details the findings.

Report : effect of natural cleaning on salt deposition on Queensland bridges

Maintenance of bridge structures is a major issue for the Queensland Department of Main Roads. In the previous phase of this CRC project an initial approach was made towards the development of a program for lifetime prediction of metallic bridge components. This involved the analysis of five representative bridge structures with respect to salt deposition (a major contributor to metallic corrosion) to determine common elements to be used as “cases” - those defined for buildings are not applicable. The five bridges analysed included the Gladstone Port Access Road Overpass, Stewart Road Overpass, South Johnstone River Bridge, Johnson Creek Bridge and the Ward River Bridge.