检索结果-内蒙古大学图书馆

Compressing probabilistic Prolog programs

MACHINE LEARNING 2008年第2-3期70卷 151-168页

作者： De Raedt, L. Kersting, K. Kimmig, A. Revoredo, K. Toivonen, H. Katholieke Univ Leuven Dept Computerwetenschappen B-3001 Heverlee Belgium Univ Freiburg Inst Informat D-79100 Freiburg Germany Univ Helsinki Dept Comp Sci FIN-00014 Helsinki Finland

ProbLog is a recently introduced probabilistic extension of Prolog (De Raedt, et al. in Proceedings of the 20th international joint conference on artificial intelligence, pp. 2468-2473, 2007). A ProbLog program defines a distribution over logic programs by specifying for each clause the probability that it belongs to a randomly sampled program, and these probabilities are mutually independent. The semantics of ProbLog is then defined by the success probability of a query in a randomly sampled program. This paper introduces the theory compression task for ProbLog, which consists of selecting that subset of clauses of a given ProbLog program that maximizes the likelihood w.r.t. a set of positive and negative examples. Experiments in the context of discovering links in real biological networks demonstrate the practical applicability of the approach.

关键词： probabilistic logic inductive logic programming theory revision compression network mining biological applications statistical relational learning

来源：评论

学校读者我要写书评

暂无评论

Automatic inference of indexing rules for MEDLINE

引用

BMC BIOINFORMATICS 2008年第s11期9卷 S11-S11页

作者： Neveol, Aurelie Shooshan, Sonya E. Claveau, Vincent Natl Lib Med Bethesda MD 20894 USA CNRS IRISA F-35042 Rennes France

Background: Indexing is a crucial step in any information retrieval system. In MEDLINE, a widely used database of the biomedical literature, the indexing process involves the selection of Medical Subject Headings in order to describe the subject matter of articles. The need for automatic tools to assist MEDLINE indexers in this task is growing with the increasing number of publications being added to MEDLINE. Methods: In this paper, we describe the use and the customization of inductive logic programming (ILP) to infer indexing rules that may be used to produce automatic indexing recommendations for MEDLINE indexers. Results: Our results show that this original ILP-based approach outperforms manual rules when they exist. In addition, the use of ILP rules also improves the overall performance of the Medical Text Indexer (MTI), a system producing automatic indexing recommendations for MEDLINE. Conclusion: We expect the sets of ILP rules obtained in this experiment to be integrated into MTI.

关键词： MeSH inductive logic programming Training Corpus Manual Rule Test Corpus

来源：评论

学校读者我要写书评

暂无评论

On the connection between the phase transition of the covering test and the learning success rate in ILP

引用

MACHINE LEARNING 2008年第2-3期70卷 135-150页

作者： Alphonse, Erick Osmani, Aomar Univ Paris 13 LIPN CNRS UMR 7030 Paris France

It is well-known that heuristic search in ILP is prone to plateau phenomena. An explanation can be given after the work of Giordana and Saitta: the ILP covering test is NP-complete and therefore exhibits a sharp phase transition in its coverage probability. As the heuristic value of a hypothesis depends on the number of covered examples, the regions "yes" and "no" represent plateaus that need to be crossed during search without an informative heuristic value. Several subsequent works have extensively studied this finding by running several learning algorithms on a large set of artificially generated problems and argued that the occurrence of this phase transition dooms every learning algorithm to fail to identify the target concept. We note however that only generate-and-test learning algorithms have been applied and that this conclusion has to be qualified in the case of data-driven learning algorithms. Mostly building on the pioneering work of Winston on near-miss examples, we show that, on the same set of problems, a top-down data-driven strategy can cross any plateau if near-misses are supplied in the training set, whereas they do not change the plateau profile and do not guide a generate-and-test strategy. We conclude that the location of the target concept with respect to the phase transition alone is not a reliable indication of the learning problem difficulty as previously thought.

关键词： inductive logic programming heuristic search plateau phenomena phase transition near-miss examples

来源：评论

学校读者我要写书评

暂无评论

Learning qualitative relations in real world scenes

Learning qualitative relations in real world scenes

引用

4th International Conference on Information and Automation for Sustainability

作者： Ranasinghe, D. D. M. Karunananda, A. S. Ratnayake, U. Open Univ Fac N Sc Dept Math & Comp Sci Nugegoda Sri Lanka Open Univ Fac Engn Dept Elect & Comp Engn Nugegoda Sri Lanka Univ Moratuwa Fac Informat Technol Moratuwa Sri Lanka

ISBN: (纸本)9781424428991

Learning from visual scenes is an innate ability of human beings yet an unresolved and highly complex task for machines and is being addressed in the area of cognitive vision systems. Most of the present developments in cognitive vision systems adopt quantitative or model base approaches. Quantitative approaches involve tedious calculations and yield black box type of learning while in model base approaches the structure of the model has to he known before hand, which is not practical in all situations. Therefore, this research work primarily adopts a qualitative approach in learning from visual scenes and inductive logic programming is used to learn rules of a visual scene from a pool of example scenes. The prototype system developed is capable of learning accurate rules, which in turn used for learning new models and the system is capable of learning beyond initial specifications.

关键词： cognitive vision systems qualitative spatial reasoning temporal reasoning inductive logic programming

来源：评论

学校读者我要写书评

暂无评论

On the connection between the phase transition of the covering test and the learning success rate in ILP

On the connection between the phase transition of the coveri...

引用

16th International Conference of inductive logic programming

作者： Alphonse, Erick Osmani, Aomar Univ Paris 13 LIPN CNRS UMR 7030 Paris France

关键词： inductive logic programming heuristic search plateau phenomena phase transition near-miss examples

来源：评论

学校读者我要写书评

暂无评论

Compressing probabilistic Prolog programs

Compressing probabilistic Prolog programs

引用

16th International Conference of inductive logic programming

关键词： probabilistic logic inductive logic programming theory revision compression network mining biological applications statistical relational learning

来源：评论

学校读者我要写书评

暂无评论

Compact representation of knowledge bases in inductive logic programming

引用

MACHINE LEARNING 2004年第3期57卷 305-333页

作者： Struyf, J Ramon, J Bruynooghe, M Verbaeten, S Blockeel, H Katholieke Univ Leuven Dept Comp Sci B-3001 Louvain Belgium

In many applications of inductive logic programming (ILP), learning occurs from a knowledge base that contains a large number of examples. Storing such a knowledge base may consume a lot of memory. Often, there is a substantial overlap of information between different examples. To reduce memory consumption, we propose a method to represent a knowledge base more compactly. We achieve this by introducing a meta-theory able to build new theories out of other ( smaller) theories. In this way, the information associated with an example can be built from the information associated with one or more other examples and redundant storage of shared information is avoided. We also discuss algorithms to construct the information associated with example theories and report on a number of experiments evaluating our method in different problem domains.

关键词： inductive logic programming efficiency scalability knowledge bases compact representation

来源：评论

学校读者我要写书评

暂无评论

Learning semantic lexicons from a part-of-speech and semantically tagged corpus using inductive logic programming

Learning semantic lexicons from a part-of-speech and semanti...

引用

10th International Conference on inductive logic programming (ILP2000)

作者： Claveau, V Sébillot, P Fabre, U Bouillon, P Inst Rech Informat & Syst Aleatoires F-35042 Rennes France Univ Toulouse 2 ERSS F-31058 Toulouse France Univ Geneva TIM ISSCO ETI CH-1205 Geneva Switzerland

This paper describes an inductive logic programming learning method designed to acquire from a corpus specific Noun-Verb (N-V) pairs-relevant in information retrieval applications to perform index expansion-in order to build up semantic lexicons based on Pustejovsky's generative lexicon (GL) principles (Pustejovsky, 1995). In one of the components of this lexical model, called the qualia structure, words are described in terms of semantic roles. For example, the telic role indicates the purpose or function of an item (cut for knife), the agentive role its creation mode (build for house), etc. The qualia structure of a noun is mainly made up of verbal associations, encoding relational information. The learning method enables us to automatically extract, from a morpho-syntactically and semantically tagged corpus, N-V pairs whose elements are linked by one of the semantic relations defined in the qualia structure in GL. It also infers rules explaining what in the surrounding context distinguishes such pairs from others also found in sentences of the corpus but which are not relevant. Stress is put here on the learning efficiency that is required to be able to deal with all the available contextual information, and to produce linguistically meaningful rules.

关键词： corpus-based acquisition lexicon learning generative lexicon inductive logic programming subsumption under object identity private properties

来源：评论

学校读者我要写书评

暂无评论

Finding the Worst Voltage Violation in Multi-Domain Clock Gated Power Network 08

Finding the Worst Voltage Violation in Multi-Domain Clock Ga...

引用

2008 Design, Automation and Test in Europe (DATE 2008), vol.3

作者： Wanping Zhang Yi Zhu Wenjian Yu Ling Zhang Rui Shi He Peng Zhi Zhu Lew Chua-Eoan Rajeev Murgai Toshiyuki Shibuya Nuriyoki Ito Chung-Kuan Cheng Qualcomm Inc. San Diego CA and UC San Diego La Jolla CA UC San Diego La Jolla CA UC San Diego La Jolla CA and Tsinghua University Beijing China Qualcomm Inc. San Diego CA Fujitsu Laboratories of America Inc. Sunnyvale CA Fujitsu Laboratories LTD Kawasaki Japan Fujitsu Limited Kawasaki Japan

ISBN: (纸本)9783981080131

This paper proposes an efficient method to find the worst case of voltage violation by multi-domain clock gating in an on-chip power network. We first present a voltage response in an arbitrary multi-domain clock gating pattern, using a superposition technique. Then, an integer linear programming (ILP) formulation is proposed to identify the worst-case gating pattern and the maximum variation area. The ILP based method is significantly faster than a conventional method based on enumeration. The experimental results are also compared with a case where peak voltage variation is induced, which shows the latter technique largely underestimated the overall variation effect.

关键词： Power grids Timing devices Superposition technique VOLTAGE inductive logic programming GATING voltage variation

来源：评论

学校读者我要写书评

暂无评论

Optimizing Near-ML MIMO Detector for SDR Baseband on Parallel Programmable Architectures 08

Optimizing Near-ML MIMO Detector for SDR Baseband on Paralle...

引用

2008 Design, Automation and Test in Europe (DATE 2008), vol.1

作者： Min Li Bruno Bougard Weiyu Xu David Novo Liesbet Van Der Perre Francky Catthoor IMEC Leuven Belgium Caltech CA

ISBN: (纸本)9783981080131

ML and near-ML MIMO detectors have attracted a lot of interest in recent years. However, almost all the reported implementations are delivered in ASICs or FPGAs. Our contribution is optimizing the near-ML MIMO detector for parallel programmable architectures, such as those with ILP and DLP features. In the proposed SSFE (Selective Spanning with Fast Enumeration), architecture-friendliness is explicitly introduced from the very beginning of the design flow. Importantly, high level algorithmic transformations make the dataflow pattern and structure fit architecture-characteristics very well. We enable abundant vector-parallelism with highly regular and deterministic dataflow in the SSFE;memory rearrangements, shuffling and non-predictable dynamism are all elaborately excluded. Hence, the SSFE can be easily parallelized and efficiently mapped onto ILP and DLP architectures. Furthermore, to fine-tune the SSFE on parallel architectures, extensive pre-compiler transformations are applied with the help of the application-level information. These optimize not only computation-operations but also address-generations and memory-accesses. Experiments show that the SSFE brings very efficient resource-utilizations on real-life VLIW architectures. Specifically, with the SSFE the percentage of NOPs instructions on VLIW is below 1%, even better than that achieved by the software-pipelined FFT. To the best of our knowledge, this is the first reported work about comprehensive optimizations of near-ML MIMO detectors for parallel programmable architectures.

关键词： inductive logic programming TXNL4B gene digital light processor(DLP) multiple input multiple output systems ARCHITECTURE Very long instruction word PROGRAMMABLE detector Design flow Computer programming Languages data flow Baseband SDPR gene Parallel Lines

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：