Friday, August 22, 2014

 

 



Soy un nuevo usuario

Olvidé mi contraseña

Entrada usuarios

Lógica Matemáticas Astronomía y Astrofísica Física Química Ciencias de la Vida
Ciencias de la Tierra y Espacio Ciencias Agrarias Ciencias Médicas Ciencias Tecnológicas Antropología Demografía
Ciencias Económicas Geografía Historia Ciencias Jurídicas y Derecho Lingüística Pedagogía
Ciencia Política Psicología Artes y Letras Sociología Ética Filosofía
 

rss_1.0 Clasificación por Disciplina

Nomenclatura Unesco > (11) Lógica > (1104) Lógica inductiva
(1104.01) Inducción (1104.02) Intuicionismo
(1104.03) Probabilidad (1104.99) Otras (especificar)

Mostrando recursos 1 - 20 de 2,473

1. Meta-Interpretive Learning of Higher-Order Dyadic Datalog: Predicate Invention revisited - Stephen Muggleton; Dianhuan Lin
In recent years Predicate Invention has been underexplored within Inductive Logic Programming due to difficulties in formulating efficient search mechanisms. However, a recent paper demonstrated that both predicate invention and the learning of recursion can be efficiently implemented for regular and context-free grammars, by way of abduction with respect to a meta-interpreter. New predicate symbols are introduced as constants representing existentially quantified higher-order variables. In this paper we generalise the approach of Meta-Interpretive Learning (MIL) to that of learning higher-order dyadic datalog programs. We show that with an infinite signature the higher-order dyadic datalog class H 2 2 has universal...

2. The elements of inductive logic, designed mainly for the use of students in the universities / - Fowler, Thomas.
Mode of access: Internet.

3. The principles of science : a treatise on logic and scientific method / - Jevons, William Stanley, 1835-1882.
Book I. Formal logic, deductive and inductive -- Book II. Number, variety and probability -- Book III. Methods of measurement -- Book IV. Inductive investigation -- Book V. Generalisation, analogy, and classification -- Book VI. Reflections on the results and limits of scientific method.

4. On the Implementation of an ILP System with Prolog - Nuno Fonseca; Vitor Santos Costa; Fernando Silva; Rui Camacho
Inductive Logic Programming (ILP) systems is a set of Machine Learning techniques that have been quite successful in knowledge discovery in relational domains. These systems implemented in Prolog are among the most successfull ILP systems. They challenge the limits of Prolog systems due to heavy usage of resources, such as database accesses and memory usage, and very long execution times. In this work we discuss the fundamental performance issues found in an ILP engine – the April system. Namely, we evaluate the impact of a fundamental technique, called coverage caching, that stores previous results in order to avoid recomputation. To...

5. On the Implementation of an ILP System with Prolog - Nuno Fonseca; Vitor Santos Costa; Fernando Silva; Rui Camacho

6. On avoiding redundancy in Inductive Logic Programming systems - Nuno Fonseca; Vitor S. Costa; Fernando Silva; Rui Camacho

7. On avoiding redundancy in Inductive Logic Programming systems - Nuno Fonseca; Vitor S. Costa; Fernando Silva; Rui Camacho
Inductive Logic Programming (ILP) is a subfield of Machine Learning that provides an excellent framework for learning in multi-relational domains and inducing first-order clausal theories. ILP systems perform a search through very large hypothesis spaces containing redundant hypotheses. The generation of redundant hypotheses may prevent the systems from finding good models and increase the time to induce them. In this paper we propose a classification of hypotheses redundancy. We show how expert knowledge can be provided to an ILP system to avoid the generation of redundant hypotheses. Preliminary results suggest that the the number of hypotheses generated and execution time...

8. Theoretical and Empirical Analysis of ReliefF and RReliefF - MARKO ROBNIK-SIKONJA; Igor Kononenko
Relief algorithms are general and successful attribute estimators. They are able to detect conditional dependencies between attributes and provide a unified view on the attribute estimation in regression and classification. In addition, their quality estimates have a natural interpretation. While they have commonly been viewed as feature subset selection methods that are applied in prepossessing step before a model is learned, they have actually been used successfully in a variety of settings, e.g., to select splits or to guide constructive induction in the building phase of decision or regression tree learning, as the attribute weighting method and also in the...

9. Logic: deductive and inductive. - Bain, Alexander, 1818-1903.
Mode of access: Internet.

10. Elementary lessons in logic: deductive and inductive, with copious questions and examples, and a vocabulary of logical terms, - Jevons, William Stanley, 1835-1882.
Mode of access: Internet.

11. Elements of inductive logic. - Davis, Noah Knowles, 1830- [from old catalog]
Mode of access: Internet.

12. A manual of logic, deductive and inductive. - Munro, H. H.
Mode of access: Internet.

13. J. S. Mill's theory of inductive logic, - Tawney, Guy Allan, 1870-
pt.I. An expository outline.--pt.II. A discussion.

14. Debate en torno a la enseñanza de la lógica en 1880: una experiencia histórica - Valencia Flores, Abraham O.
The teaching of Logic in Mexico was the cause of a debate of great importance in 1880, after the decision by Ignacio Mariscal, Minister of Justice and Public Instruction, to use the Krausist text, Logic, the Science of Knowledge, by G. Tiberghien, instead of the positivist book, Logic, Deductive and Inductive, by Alexander Bain, as the intellectual guide for the students of the National Preparatory School (nps). The change of textbook lead to the debate among numerous intellectuals of the nps, the Chamber of Deputies, and the world of the press, giving rise to rich considerations about the usefulness of logic in daily life, its metadisciplinary character, its value...

15. Feature Subset Selection and Inductive Logic Programming - Erick Alphonse; Stan Matwin
Applicability of ILP to real-world problems is constrained by the high dimensionality of ILP tasks. This paper proposes to reduce the dimensionality of the ILP example space by bringing feature subset selection to the realm of ILP. Seen as a black box, the method reduces ILP examples, in the form of nonrecursive Datalog clauses, by removing literals judged irrelevant for the ILP task at hand. The approach exploits existing AVL feature selection (FS) algorithms by changing the representation from the FOL clausal format to a fixed-length AV format, performing FS on the AV approximation of the FOL task, and mapping...

16. Reseñas de: Newton C.A. da Costa, Lógica indutiva e probabilidade; Enrique Villanueva, Lenguaje y privacidad; J.J. Acero, Filosofía y análisis del lenguaje - Peña, Lorenzo
En estas tres reseñas se analizan las contribuciones filosóficas de esos tres autores en torno a cuestiones de lógica inductiva, probabilidad, filosofía del lenguaje, privacidad y la naturaleza de la filosofía analítica.

17. Teoría y praxis en el proyecto Filosofar con Niños - Andrade, Sergio F.
Este texto busca revelar que si el interés no se centra en la pretensión de referir a la relación teoría- praxis, si lo que intentamos plantear es la relevancia de ambos términos incluidos en la díada, no se trata de decidir si se hará uso de una lógica deductiva o inductiva, o más bien dialéctica; que, fundamentalmente, no habría que “teorizar” sobre este problema eminentemente filosófico. (Párrafo extraído del texto a modo de resumen)

18. L'educació des del punt de vista racional. El currículum conceptual i procediment evolutiu, els programes de desenvolupament intel·lectual - Riart i Vendrell, Joan
L’article centra, en primer lloc, el sentit del títol: l’educació que potencia la refl exió lògica i racional, suportada en el còrtex cerebral, i la situació educativa actual, que no té establert amb claredat un currículum educatiu específi c per a l’ensenyament obligatori sobre actituds, sociabilitat, valors, emocionabilitat i creativitat. D’altra banda, es propugnen programes de desenvolupament intellectual molt útils, molts dels quals se centren en el treball que suporta la part cortical del cervell: lògica i operacions mentals deductives, inductives… Per tant, tenim currículums centrats en aspectes racionals que, paradoxalment, requereixen programes transversals sobre aspectes també racionals i, a més, obliden aspectes emocionals i creatius. Finalment, es fan dues propostes-suggeriments:...

19. Plan de acciones para contribuir al mejoramiento del proceso de desarrollo físico y la eficiencia física de los niños y adolescentes con retraso mental leve - Castañer Jorrín, Niurka Siomara
El proceso de control del desarrollo físico y la eficiencia física de los niños y adolescentes es de gran importancia para los profesores docentes en el campo de la educación física y el deporte sin embargo en la actualidad se aprecia un incorrecto proceso de control de indicadores de estos, lo que afecta el desarrollo armónico de los niños y adolescentes con Necesidades Educativas Especiales específicamente con retraso mental leve en la provincia, situación que en opinión de la autora se encuentra agravada en el municipio de Unión de Reyes. Por lo que se propone elaborar un plan de acciones para contribuir al mejoramiento del...

20. Learning First Order Logic Time Series Classifiers - Juan J. Rodríguez; Carlos J. Alonso; Henrik Boström
A method for learning multivariate time series classifiers by inductive logic programming is presented. Two types of background predicate that are suited for this task are introduced: interval based predicates, such as "always", and distance based, such as the euclidean distance. Special

Página de resultados:
 

Busque un recurso