1. Minería de datos en el analisis de las firmas de cultivos agrícolas - Rodríguez Moreno, Fernando
El propósito de esta tesis es realizar dos aportaciones significativas en el campo de la agricultura de precisión. Ambas aportaciones persiguen el mismo objetivo, aumentar la eficacia y reducir los costes de los diagnósticos agronómicos integrales. En caso de conseguirlo aumentaría el número de explotaciones agrícolas que pueden apostar por la agricultura de precisión. Esa resultaría ser la opción más rentable tanto para el presente como para el futuro. Una explicación simplificada del proceso de diagnóstico agronómico sería adquisición de información relevante del cultivo e interpretación de la misma, los dos procesos a los que esta tesis dirige la atención....

2. Inferencias inductivas y deductivas: una revisión desde la lógica clásica, la teoría de conjuntos y la cognición humana - Emiro Restrepo, Jorge

3. Proving Meta-Theorems in a Logical Framework - Raymond Mcdowell; Val Tannen
We investigate extensions to the language of hereditary Harrop formulas as logical frameworks for meta-theoretic analysis of deductive systems. We find that a combination of partial inductive definitions and elementary number theory greatly increase our ability to express and analyze relations and their properties in a formal setting. We also encounter a conflict between using higher-order abstract syntax and establishing induction principles; reconciling these two is an important challenge in logical frameworks that has been inadequately addressed in previous research. By defining an object logic and specifying the deductive systems in the object logic, we are able to overcome the...

4. Estrategia de actividades físico recreativas para la incorporación de los adolescentes de 12 a 15 años a las actividades comunitarias en el Consejo Popular Rodas 2 - Cabrera Baró, Zeida Gicela; Carballosa Manresa, Olga Lidia; Aranzola Rodríguez, Norys Magalys
El trabajo realizado en el Consejo Popular de Rodas 2, sobre la aplicación de una estrategia de actividades físicorecreativas para la incorporación de los adolescentes a las actividades comunitarias. Aspecto imprescindible es lograr la motivación de acuerdo a los gustos, preferencias y la necesidad de que los adolescentes ocupen su tiempo libre en actividades sanas que contribuyan a la formación de su personalidad, comenzando con el diagnóstico durante 4 semanas (Septiembre) mientras que el diseño, la capacitación la validación durante 2 meses y la aplicación en el período comprendido de Enero a Julio del 2010 con el objetivo de incorporar a los adolescentes a las...

5. An introduction to deductive logic / Hugues Leblanc. - Leblanc, Hugues, 1924-
xii, 244 p. ;

6. The Objective Bayesian Conceptualisation of Proof and Reference Class Problems - James Franklin
The objective Bayesian view of proof (or logical probability, or evidential support) is explained and defended: that the relation of evidence to hypothesis (in legal trials, science etc) is a strictly logical one, comparable to deductive logic. This view is distinguished from the thesis, which had some popularity in law in the 1980s, that legal evidence ought to be evaluated using numerical probabilities and formulas. While numbers are not always useful, a central role is played in uncertain reasoning by the ‘proportional syllogism’, or argument from frequencies, such as ‘nearly all aeroplane flights arrive safely, so my flight is very...

7. Una formalización del razonamiento hipotético e inductivo en teoría de la ciencia - Delrieux, Claudio
Se presenta una formalización del razonamiento hipotético adecuada para integrarse dentro del contexto del razonamiento científico. Dicha formalización está fundamentada en la importancia epistémica que se asigna a la información factual. Esto permite caracterizar los distintos tipos de conocimiento que se utilizan, es decir, el conocimiento lógico-deductivo, conocimiento tentativo proveniente de reglas default y el conocimiento proveniente de opiniones o hipótesis. Cada tipo de conocimiento tiene una importancia epistémica diferente. En [2] se presentó una correspondencia entre los aspectos formales de la teoría de la ciencia y un modelo de razonamiento revisable. El comportamiento de una teoría científica dentro del contexto...

8. Logic and Partially Ordered Abelian Groups - David J. Foulis
The unit interval in a partially ordered abelian group with order unit forms an interval effect algebra (IEA) and can be regarded as an algebraic model for the semantics of a formal deductive logic. There is

9. Syntactic Analysis for Natural Language Interfaces - the Integrated Deductive Approach - Werner Winiwarter
The objective of our research is the implementation of a German natural language interface for a deductive database system which models a production planning and control system. By means of our approach we suggest a way to overcome the severe drawbacks of interfaces that are designed as loosely coupled filters only. We integrate the interface into the database system itself, that is, the complete natural language analysis is done by the powerful logic language supplied by deductive databases. The paper focuses on the current state of work, the syntactic analysis. Since we had built up a powerful hierarchical dictionary for...

10. A Computational Model for Functional Logic Deductive Databases - Jesús M. Almendros-Jiménez; Antonio Becerra-Terón; Jaime Sánchez-Hernández
This paper adds the handling of negative information to a functional-logic deductive database language. By adopting as semantics for negation the so-called CRWLF, wherein the negation is intended as 'nite failure' of reduction, we will dene Herbrand algebras and models for this semantics and a x point operator to be used in a new goaldirected bottom-up evaluation mechanism based on magic transformations. This bottom-up evaluation will simulate the top-down one of the original program; in fact, it will carry out a goal-directed lazy evaluation.

11. The informal logic of mathematical proof - Andrew Aberdein
Paul Erdős famously remarked that ‘a mathematician is a machine for turning coffee into theorems ’ [9, p. 7]. The proof of mathematical theorems is central to mathematical practice and to much recent debate about the nature of mathematics. This paper is an attempt to introduce a new perspective on the argumentation characteristic of mathematical proof. I shall argue that this account, an application of informal logic to mathematics, helps to clarify and resolve several important philosophical difficulties. It might be objected that formal, deductive logic tells us everything we need to know about mathematical argumentation. I shall leave it...

12. Lógica formal y argumentación - Oller, Carlos A.
Este artículo explora críticamente la tesis según la cual la lógica formal deductiva contemporánea proporciona métodos e instrumentos para una teoría de la evaluación de argumentos formulados en un lenguaje natural. En este artículo se sostiene que la teoría de la (in)validez de la lógica formal deductiva sólo se puede aplicar a los argumentos del lenguaje natural utilizando aquello que se quiere explicar teóricamente, i.e. Las intuiciones que los/las hablantes de un lenguaje natural tienen acerca de la relaciones de implicación lógica entre las expresiones de esa lengua. Se exploran también algunas consecuencias pedagógicas de esta crítica.

13. Lógica formal y argumentación - Oller, Carlos A.
Este artículo explora críticamente la tesis según la cual la lógica formal deductiva contemporánea proporciona métodos e instrumentos para una teoría de la evaluación de argumentos formulados en un lenguaje natural. En este artículo se sostiene que la teoría de la (in)validez de la lógica formal deductiva sólo se puede aplicar a los argumentos del lenguaje natural utilizando aquello que se quiere explicar teóricamente, i.e. Las intuiciones que los/las hablantes de un lenguaje natural tienen acerca de la relaciones de implicación lógica entre las expresiones de esa lengua. Se exploran también algunas consecuencias pedagógicas de esta crítica.

14. Lógica formal y argumentación - Oller, Carlos A.
Este artículo explora críticamente la tesis según la cual la lógica formal deductiva contemporánea proporciona métodos e instrumentos para una teoría de la evaluación de argumentos formulados en un lenguaje natural. En este artículo se sostiene que la teoría de la (in)validez de la lógica formal deductiva sólo se puede aplicar a los argumentos del lenguaje natural utilizando aquello que se quiere explicar teóricamente, i.e. Las intuiciones que los/las hablantes de un lenguaje natural tienen acerca de la relaciones de implicación lógica entre las expresiones de esa lengua. Se exploran también algunas consecuencias pedagógicas de esta crítica.

15. Documento marco de la línea de investigación en derecho penal económico - Martínez Sánchez, Wilson Alejandro
Hace 37 años, aproximadamente desde el 13 de mayo de 1970, fecha en la que el profesor Claus Roxin leyó su ponencia titulada “Política criminal y sistema de derecho penal”, la ciencia del derecho penal ha experimentado un profundo cambio en su método y en su objeto. El antiguo paradigma de que el derecho penal debía ser la barrera infranqueable del derecho penal, vigente desde los tiempos en que Franz von Liszt pronunció su conocido “Programa de Marburgo”, fue sustituido por una nueva perspectiva en la que la dogmática jurídico-penal sólo adquiere su verdadera dimensión de sentido, cuando se la elabora en función de la realización...

16. Logic, deductive and inductive, by John Grier Hibben ... - Hibben, John Grier, 1861-1933.
xvi, 439 p.

17. Machine - Robert Kahlert; Benjamin Rode
We describe a framework for linking together a structured ontology, deductive logic, and probability, to solve classification problems. We illustrate this framework with the Whodunit problem: identifying the perpetrator of a crime. Several experiments show that the use of Cyc’s ontology and inference abilities substantially improves classification accuracy, both in decision tree classifiers

18. WS + Branch and Bound = Stable Models - V. S. Subrahmanian; Dana Nau; Carlo Vag
Abstract-Though the semantics of nonmonotonic logic programming has been studied extensively, relatively little work has been done on operational aspects of these semantics. In this paper, we develop techniques to compute the well-founded model of a logic program. We describe a prototype implementation and show, based on experimental results, that our technique is more efficient than the standard alternating fixpoint computation. Subsequently, we develop techniques to compute the set of all stable models of a deductive database. These techniques first compute the well-founded semantics and then use an intelligent branch and bound strategy to compute the stable models. We report...

19. Derivation of Functional Programs In Isabelle - Abdelwaheb Ayari; David A. Basin
We are interested in the general question of how formal metalogics and higher-order resolution can be used as a framework for deductive program development. This question includes how can useful calculi for program development bederived in conservative extensions of standard logics and how can derived rules be applied to build programs during their correctness proofs. We are also interested in howsuchaframework can be used to simplify and improve previously proposed approaches and paradigms to program development. Our starting point hereisthedeductive tableau of Manna and Waldinger [1] which is proposed as a special kind of rst-order proof system suited for the...

20. Updates by Reasoning about States - Georg Lausen; Bertram Ludäscher
We present a language extension to Datalog which allows to specify deterministic update procedures in a declarative way. Existing update languages either rely on procedural aspects of program evaluation or leave the framework of deductive databases and logic programming. In contrast, we show that declarative update semantics can be attained by incorporating state terms into the language. Since the resulting language corresponds to a certain class of logic programs, well-known semantics and evaluation techniques can be applied to it.

Página de resultados: