Search engines are a critical tool for intelligence analysis. A number of innovations for search have been introduced since research with an emphasis on analyst needs began in the TIPSTER project. For example, the Inquery search engine introduced support for specification of complex queries in a probabilistic inference network framework. Recent research on language model-ing has led to the deve...

This paper describes the submission of BnO team to the RITE-VAL Fact Validation task [11] for English in NTCIR11. In this submission, the BnO team formulated the fact validation as a textual entailment task, where the objective is to find a piece of text from a corpus such that it entails the stated fact. For that purpose, BnO team made use of search results retrieved by the search engine TSUBA...

Identifying chords and related musical attributes from digital audio has proven a long-standing problem spanning many decades of research. A robust identification may facilitate automatic transcription, semantic indexing, polyphonic source separation and other emerging applications. To this end, we develop a Bayesian inference engine operating on single-frame STFT peaks. Peak likelihoods condit...

It is diicult to assess hypothetical models in poorly measured domains such as neuroendocrino-logy. Without a large library of observations to constrain inference, the execution of such incomplete models implies making assumptions. Mutually exclusive assumptions must be kept in separate worlds. We deene a general abductive multiple-worlds engine that assesses such models by (i) generating the w...

Improving lexical network’s quality is an important issue in the creation process of these language resources. This can be done by automatically inferring new relations from already existing ones with the purpose of (1) densifying the relations to cover the eventual lack of information and (2) detecting errors. In this paper, we devise such an approach applied to the JeuxDeMots lexical network,...

The aim of the project was to create a computer program--expert system, which will support a doctor when a management for patients with acute coronary syndrome needs to be chosen. The expert system consists of four modules: knowledge base, previous cases database, inference engine and explanation module. Knowledge base was created with support of clinical experts, based on current management st...

CR-Prolog is an extension of the knowledge representation language A-Prolog. The extension is built around the introduction of consistency-restoring rules (crrules for short), and allows an elegant formalization of events or exceptions that are unlikely, unusual, or undesired. The flexibility of the language has been extensively demonstrated in the literature, with examples that include plannin...

It is difficult to assess hypothetical models in poorly measured domains such as neuroendocrinology. Without a large library of observations to constrain inference, the execution of such incomplete models implies making assumptions. Mutually exclusive assumptions must be kept in separate worlds. We define a general abductive multiple-worlds engine that assesses such models by (i) generating the...