Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 17 of 17 for “"inductive logic"”.
-
Probabilistic Inference: Theory and Practice (Learning, Inductive, Logic, Synthesis)
This thesis presents a system and a methodology for probabilistic learning from examples.
-
Inductive logic programming with gradient descent for supervised binary classification
… seeks to develop an interpretable model using logical rules, rather than explaining existing blackbox models. We extend recent inductive logic programming methods developed by Evans and Grefenstette [3] to develop an gradient descent-based inductive logic programming technique for supervised …
-
An inductive logic programming approach to learning which uORFs regulate gene expression.
… In this thesis, for the first time, the use of inductive logic programming (ILP) is explored for the task of learning which uORFs regulate gene expression in the yeast Saccharomyces cerevisiae. This work is directed to help select sets of candidate functional uORFs for experimental studies. With …
-
A sequence-length sensitive approach to learning biological grammars using inductive logic programming.
… help us to improve the process of learning biological grammars from protein sequences using Inductive Logic Programming (ILP). Contrary to most traditional ILP learning problems, biological sequences often have a high variation in their length. This variation in length is an important feature …
-
Anti-Unification in Constraint Logics: Foundations and Applications to Learnability in First-Order Logic, to Speed-Up Learning, and to Deduction
… several forms of anti-unification in constraint logic, anti-unification relative to background information, are defined, and their semantic and computational properties are studied. It is shown that these forms of anti-unification are applicable to inductive logic programming (inductive learning …
-
Fusion: a Visualization Framework for Interactive Ilp Rule Mining With Applications to Bioinformatics
… different types of data. Fusion uses Proteus, an Inductive Logic Programming (ILP) rule finding algorithm to mine relationships in the microarray data. Fusion allows the user to explore the data interactively, choose biases, run the data mining algorithms and visualize the discovered rules. Fusion …
-
Attitude Change in Inductively and Deductively Organized Ethical Belief Structures
… from a pro-choice perspective. Deductive and inductive logic were proposed as ways to organize beliefs in these domains. Participants rated agreement with the behavior of the protagonist in four abortion and four euthanasia scenarios where the principle of respect for life (Experiment 1) or …
-
Envisionment-Based Scheduling Using Time Interval Petri Networks: Representation, Inference, and Learning
… between Petri Nets and Horn clauses by using inductive logic programming methods (ILP) to learn Horn-clauses first and then convert them to TIPNs. The other algorithm employs a general-to-specific search in the space of Petri Net topologies starting with a given initial topology. (5) The …
-
Motivations and Drivers of Unionization Among General Surgery Residents
… transcribed, and thematically analyzed using inductive logic. Emergent themes were identified by dyads of independent coders, applying constant comparative approach to reach consensus. Results: Across 24 interviews, four main themes were identified regarding unionization. First was resident …
-
Using genetic programming to learn predictive models from spatio-temporal data
… been compared against the following methods: an Inductive Logic Programming system (Progol), Stochastic Logic Programs, Neural Networks, Bayesian Networks and C4.5, on learning the rules of card games, and predicting a person’s course through a network of CCTV cameras. This thesis also describes …
-
Theorizing in Unfamiliar Contexts: New Directions in Translation Studies
… more broadly. Advocating the use of abductive logic, the thesis infers translators‟ probable understandings of their own actions, and compares these with the reasoning provided by contemporary theories. It finds that it may not be possible to rely on common theories to analyse the work of …
-
A paradox of the second order digital divide in higher education institutions of developing countries: case of Zimbabwe
… case. Preliminary analysis based on a deductive logic approach identified signification, domination, and legitimation as some of the structures leading to the second order digital divide at the HEI case. Further analysis based on an inductive logic approach revealed additional belief, …
-
OWL-Miner: Concept Induction in OWL Knowledge Bases
… semantics of OWL is underpinned by Description Logics (DLs), a family of expressive and decidable fragments of first-order logic. Recently, methods of concept induction which are well studied in the field of Inductive Logic Programming have been applied to the related formalism of DLs. These …
-
OWL-Miner: Concept Induction in OWL Knowledge Bases
… semantics of OWL is underpinned by Description Logics (DLs), a family of expressive and decidable fragments of first-order logic. Recently, methods of concept induction which are well studied in the field of Inductive Logic Programming have been applied to the related formalism of DLs. These …
-
A Hybrid Theory of Induction
… The HTI is a hybrid second-order model of inductive support. It is a hybrid model of inductive support because it holds that two ingredients play a necessary role in understanding inductive support: rules and facts. It is a second-order model of inductive support because it is a model …
-
Statistical Relational Learning for Proteomics: Function, Interactions and Evolution
… methods rely on some First- Order Logic as a general, expressive formal language to encode both the data instances and the relations or constraints between them. The latter encode background knowledge on the problem domain, and are use to restrict or bias the model search space …
-
A Framework for Combining Logical and Probabilistic Models
… the expressive power of first-order logic with the probabilistic reasoning power of Bayesian networks has attracted the interest of many researchers. We review many techniques for integration of first-order logic and Bayesian networks and propose a new framework that exploits the …