A new class of message-passing algorithms for motif finding is presented. Motif finding is the problem of identifying a collection of common subsequences within a given set of DNA sequences. It can be cast as an integ...
详细信息
ISBN:
(纸本)9781424442959;9781424442966
A new class of message-passing algorithms for motif finding is presented. Motif finding is the problem of identifying a collection of common subsequences within a given set of DNA sequences. It can be cast as an integer linear program (ILP). Message-passing techniques are a computationally efficient alternative to the often infeasible combinatorial solutions to the ILP. We introduce a new graphical representation of the ILP formulation of the problem, and use it to develop new message-passing algorithms for motif finding. Simulation results demonstrate that the new algorithms have better performance and convergence properties than the previously proposed solutions.
Formal Concept Analysis(FCA),inductive logic programming(ILP) and Genetic programming(GP) have received increasing interest since them can be applied to many areas *** their formalisms are so different,these three app...
详细信息
Formal Concept Analysis(FCA),inductive logic programming(ILP) and Genetic programming(GP) have received increasing interest since them can be applied to many areas *** their formalisms are so different,these three approaches cannot be integrated easily though they share many common or similar goals and functionalities.A fusion will greatly enhance their problem solving *** this paper,a framework to combine FCA,ILP and GP is *** framework is based on a formalism of logic rules for refinement learning that can include concept and program both induction and evolution using FCA,ILP and *** experiment illustrates that our learner based on the framework is promising by compareing the performance with other learner.
The configurable nature of field-programmable gate arrays (FPGAs) has allowed designers to take advantage of various data flow characteristics in application kernels to create custom architecture implementations, by o...
详细信息
The configurable nature of field-programmable gate arrays (FPGAs) has allowed designers to take advantage of various data flow characteristics in application kernels to create custom architecture implementations, by optimising instruction level paralleism (ILP) and pipelining at the register transfer level. However, not all applications are composed of pure data flow kernels. Intermingling of control and data flows in applications offers more interesting challenges in creating custom architectures. The authors present one possible way to take advantage of correlations that may be present among data flow graphs (DFGs) embedded in control flow graphs. In certain cases, where there is sufficient correlation and ILP, the proposed context adaptable architecture (CAA) design methodology results in an interesting and useful custom architecture for such embedded DFGs. Certain other application characteristics may demand the use of alternative methodologies such as partial and dynamic reconfiguration (PDR) and a mixture of PDR and common sub-graph methods (PDR-CSG). The authors present a rigorous analysis, combined with some benchmarking efforts to showcase the differences, advantages and disadvantages of the CAA methodology with other methodologies. The authors also present an analysis of how the core underlying algorithm in our methodology compares with other published algorithms and the differences in resulting designs on an FPGA for a sample set of test cases.
This paper introduces a novel logical framework for concept-learning called brave induction. Brave induction uses brave inference for induction and is useful for learning from incomplete information. Brave induction i...
详细信息
This paper introduces a novel logical framework for concept-learning called brave induction. Brave induction uses brave inference for induction and is useful for learning from incomplete information. Brave induction is weaker than explanatory induction which is normally used in inductive logic programming, and is stronger than learning from satisfiability, a general setting of concept-learning in clausal logic. We first investigate formal properties of brave induction, then develop an algorithm for computing hypotheses in full clausal theories. Next we extend the framework to induction in nonmonotonic logic programs. We analyze computational complexity of decision problems for induction on propositional theories. Further, we provide examples of problem solving by brave induction in systems biology, requirement engineering, and multiagent negotiation.
Requirements Engineering involves the elicitation of high-level stakeholder goals and their refinement into operational system requirements. A key difficulty is that stakeholders typically convey their goals indirectl...
详细信息
Requirements Engineering involves the elicitation of high-level stakeholder goals and their refinement into operational system requirements. A key difficulty is that stakeholders typically convey their goals indirectly through intuitive narrative-style scenarios of desirable and undesirable system behaviour, whereas goal refinement methods usually require goals to be expressed declaratively using, for instance, a temporal logic. In actual software engineering practice, the extraction of formal requirements from scenario-based descriptions is a tedious and error-prone process that would benefit from automated tool support. This paper presents an inductive logic programming method for inferring operational requirements from a set of example scenarios and an initial but incomplete requirements specification. The approach is based on translating the specification and the scenarios into an event-based logicprogramming formalism and using a non-monotonic reasoning system, called eXtended Hybrid Abductive inductive Learning, to automatically infer a set of event pre-conditions and trigger-conditions that cover all desirable scenarios and reject all undesirable ones. This learning task is a novel application of logicprogramming to requirements engineering that also demonstrates the utility of non-monotonic learning capturing pre-conditions and trigger-conditions. (C) 2008 Elsevier B.V. All rights reserved.
Process discovery is the automated construction of structured process models from information system event logs. Such event logs often contain positive examples only. Without negative examples, it is a challenge to st...
详细信息
Process discovery is the automated construction of structured process models from information system event logs. Such event logs often contain positive examples only. Without negative examples, it is a challenge to strike the right balance between recall and specificity, and to deal with problems such as expressiveness, noise, incomplete event logs, or the inclusion of prior knowledge. In this paper, we present a configurable technique that deals with these challenges by representing process discovery as a multi-relational classification problem on event logs supplemented with Artificially Generated Negative Events (AGNEs). This problem formulation allows using learning algorithms and evaluation techniques that are well-know in the machine learning community. Moreover, it allows users to have a declarative control over the inductive bias and language bias.
Background: Some upstream open reading frames (uORFs) regulate gene expression (i.e., they are functional) and can play key roles in keeping organisms healthy. However, how uORFs are involved in gene regulation is not...
详细信息
Background: Some upstream open reading frames (uORFs) regulate gene expression (i.e., they are functional) and can play key roles in keeping organisms healthy. However, how uORFs are involved in gene regulation is not yet fully understood. In order to get a complete view of how uORFs are involved in gene regulation, it is expected that a large number of experimentally verified functional uORFs are needed. Unfortunately, wet-experiments to verify that uORFs are functional are expensive. Results: In this paper, a new computational approach to predicting functional uORFs in the yeast Saccharomyces cerevisiae is presented. Our approach is based on inductive logic programming and makes use of a novel combination of knowledge about biological conservation, Gene Ontology annotations and genes' responses to different conditions. Our method results in a set of simple and informative hypotheses with an estimated sensitivity of 76%. The hypotheses predict 301 further genes to have 398 novel functional uORFs. Three (RPC11, TPK1, and FOL1) of these 301 genes have been hypothesised, following wet-experiments, by a related study to have functional uORFs. A comparison with another related study suggests that eleven of the predicted functional uORFs from genes LDB17, HEM3, CIN8, BCK2, PMC1, FAS1, APP1, ACC1, CKA2, SUR1, and ATH1 are strong candidates for wet-lab experimental studies. Conclusions: Learning based prediction of functional uORFs can be done with a high sensitivity. The predictions made in this study can serve as a list of candidates for subsequent wet-lab verification and might help to elucidate the regulatory roles of uORFs.
Objective. In laser treatment of voluminous vascular lesions, there are many cases in which submucosally located angioma remnants cannot be reached by noncontact superficial laser application. To diminish these remnan...
详细信息
Objective. In laser treatment of voluminous vascular lesions, there are many cases in which submucosally located angioma remnants cannot be reached by noncontact superficial laser application. To diminish these remnants we used intralesional photocoagulation (ILP) in treatment of oral vascular lesions, because this approach is effective in treatment of voluminous vascular lesions of the skin. Study design. Four cases of voluminous vascular malformation in the oral cavity were treated by ILP using a potassium-titanyl-phosphate (KTP) laser. In 1 case, treatment was carried out under ultrasound and manual control. Results. All lesions showed more than 70% regression after the first ILP session, and the treatment outcome was satisfactory. There were no serious complications, such as bleeding or invasive infection. Ultrasonography was useful for guiding laser treatment in the oral cavity. Conclusion. Intralesional photocoagulation treatment with a KTP laser is effective and safe for treatment of a vascular lesion in the oral cavity. (Oral Surg Oral Med Oral Pathol Oral Radiol Endod 2009;107: 164-172)
inductive logic programming (ILP) is a generic tool aiming at learning rules from relational databases. Introducing fuzzy sets and fuzzy implication connectives in this framework allows us to increase the expressive p...
详细信息
ISBN:
(纸本)0780391586
inductive logic programming (ILP) is a generic tool aiming at learning rules from relational databases. Introducing fuzzy sets and fuzzy implication connectives in this framework allows us to increase the expressive power of the induced rules while keeping the readability of the rules. Moreover, fuzzy sets facilitate the handling of numerical attributes by avoiding crisp and arbitrary transitions between classes. In this paper, the meaning of a fuzzy rule is encoded by its implication operator, which is to be determined in the learning process. An algorithm is proposed for inducing first order rules having fuzzy predicates, together with the most appropriate implication operator. The benefits of introducing fuzzy logic in ILP and the validation process of what has been learnt are discussed and illustrated on a benchmark.
Compounds in drug screening-libraries should resemble pharmaceuticals. To operationally test this, we analysed the compounds in terms of known drug-like filters and developed a novel machine learning method to discrim...
详细信息
ISBN:
(纸本)9783642040306
Compounds in drug screening-libraries should resemble pharmaceuticals. To operationally test this, we analysed the compounds in terms of known drug-like filters and developed a novel machine learning method to discriminate approved pharmaceuticals from "drug-like" compounds. This method uses both structural features and molecular properties for discrimination. The method has an estimated accuracy of 91% in discriminating between the Maybridge Hit-Finder library and approved pharmaceuticals, and 99% between the NATDiverse collection (from Analyticon Discovery) and approved pharmaceuticals. These results show that Lipinski's Rule of 5 for oral absorption is not Sufficient to describe "drug-likeness" and be the main basis of screening-library design.
暂无评论