Probabilistic models that associate annotations to sequential data are widely used in computational biology and a range of other applications. Models integrating with logic programs provide, furthermore, for sophistic...
详细信息
ISBN:
(纸本)9783939897316
Probabilistic models that associate annotations to sequential data are widely used in computational biology and a range of other applications. Models integrating with logic programs provide, furthermore, for sophistication and generality, at the cost of potentially very high computational complexity. A methodology is proposed for modularization of such models into sub-models, each representing a particular interpretation of the input data to be analysed. Their composition forms, in a natural way, a Bayesian network, and we show how standard methods for prediction and training can be adapted for such composite models in an iterative way, obtaining reasonable complexity results. Our methodology can be implemented using the probabilistic-logic PRISM system, developed by Sato et al, in a way that allows for practical applications.
This paper introduces Stochastic Definite Clause Grammars, a stochastic variant of the wellknown Definite Clause Grammars. The grammar formalism supports parameter learning from annotated or unannotated corpora and pr...
详细信息
This paper introduces Stochastic Definite Clause Grammars, a stochastic variant of the wellknown Definite Clause Grammars. The grammar formalism supports parameter learning from annotated or unannotated corpora and provides a mechanism for parse selection by means of statistical inference. Unlike probabilistic contextfree grammars, it is a context-sensitive grammar formalism and it has the ability to model cross-serial dependencies in natural language. SDCG also provides some syntax extensions which makes it possible to write more compact grammars and makes it straight-forward to add lexicalization schemes to a grammar.
This project aims to investigate biologically inspired, logic-statistic models with constraints. The complexity and expressiveness of models with different kinds of constraints will be examined and algorithms to effic...
详细信息
The concept of anti-link is defined, and useful equivalence-preserving operations on propositional formulas based on anti-links are introduced. These operations eliminate a potentially large number of subsumed paths i...
详细信息
Tabling of structured data is important to support dynamic programming in logic programs. Several existing tabling systems for Prolog do not efficiently deal with structured data, but duplicate part of the structured ...
详细信息
A class of Probabilistic Abductive Logic Programs (PALPs) is introduced and an implementation is developed in CHR for solving abductive problems, providing minimal explanations with their probabilities. Both all-expla...
详细信息
An accuracy of classifying human emotional states from speech has been dependent on emotional speech database, speech signal processing algorithms, and classification methods. Numerous static and dynamic classificatio...
详细信息
Most of the direct control algorithms are connected with, a lot of logical and computing operations. These algorithms have two important characteristicsirequred memory and exeqution time. They change in a wide range, ...
详细信息
Most of the direct control algorithms are connected with, a lot of logical and computing operations. These algorithms have two important characteristicsirequred memory and exeqution time. They change in a wide range, which is clear from the example snown in table 1. Taking our stand on information about required direct control and execution time Tmax, we have to find an optimal structure realisation of the control algorithm. This paper examines, the structures for parallel realisatin. of these algorithms. There are- several types of these structures. The problems in this connection are *** here. It is created a system for fast control system design. The system configuration is a minicomputer configuration. The structure of- the interactive software and the general design algorithm are described in connection with this.
This paper presents an overview of the recent systems, that combine inductive logic programming with genetic algorithms. The systems are described and then compared to their design and their behaviour with correct and...
详细信息
This paper presents an overview of the recent systems, that combine inductive logic programming with genetic algorithms. The systems are described and then compared to their design and their behaviour with correct and incorrect training data.
Early in the dark days of World War II, President Roosevelt asked the Navy how it would provide the thousands of ships necessary for the numerous amphibious assault landings that were being planned. At a subsequent hi...
详细信息
Early in the dark days of World War II, President Roosevelt asked the Navy how it would provide the thousands of ships necessary for the numerous amphibious assault landings that were being planned. At a subsequent high-level meeting, where John Neidermair, the Technical Director of the Preliminary Design Division at BUSHIPS (Bureau of Ships-a predecessor organization to the Naval Sea systems Command-NAVSEA), created a concept design sketch of the now famous LSTs. It was this same BUSHIPS Ship Design organization that designed the US Navy Fleet which defeated the Japanese and German navies. And it was the BUSHIPS successor organization, NAVSEA, which designed the 600-ship Fleet during the President Reagan build-up of the 1980s and early 1990s. This early stage ship design capability to translate the operators' needs into technically feasible ship concepts and designs is still a core responsibility of NAVSEA. However, NAVSEA is now undertaking the grand challenge of rebuilding the Navy's ship design capabilities which were dramatically downsized during the 1990s. The Human Capital Strategy for Ship Design Acquisition Workforce Improvement is a proven road map for reconstituting the Navy's ship design capabilities and reinvigorating the naval ship design community. The Office of Naval Research (ONR) and NAVSEA made significant progress in this direction by establishing the Navy's Center for Innovation in Ship Design (CISD). CISD is accelerating the career development of ship design leaders, and is paving the way for fully implementing a Human Capital Strategy for Ship Design Acquisition Workforce Improvement.
暂无评论