The paper addresses important problems of building complex logical systems and their representations in universal logics in a systematic way. Following Goguen and Burstall, we adopt the model-theoretic view of logic a...
详细信息
We consider the learnability of classes of logic programs in the presence of noise, assuming that the label of each example is reversed with a fixed probability. We review the polynomial PAC learnabi]Jty of nonrecursi...
详细信息
We study the bipartite crossing number problem. When the minimum degree and the maximum degree of the graph are close to each other, we derive two polynomial time approximation algorithms for solving this problem, wit...
详细信息
Let G = (V0,V1,E) be a connected bipartite graph, where V0, V1 is the bipartition of the vertex set V(G) into independent sets. A bipartite drawing of G consists of placing the vertices of v0 and v1 into distinct poin...
详细信息
In this paper we present a system which integrates an ECG waveform classifier (called PECG) with an interactive learner (called IMPUT). The PECG system is based on an attribute grammar specification of ECGs that has b...
详细信息
In this paper a learning system is presented that is able to learn both the syntax (from an over-generalized grammar) and semantic rules (containing threshold values and relations) of an ECG grammar. These rules are u...
详细信息
Current speech recognition systems can be categorized into two broad classes;the knowledge-based approach and the stochastic one. In this paper we present a rule-based method for the recognition of Hungarian vowels. A...
详细信息
We use the well-known framework of concrete categories to show how much of standard universal algebra may be done in an abstract and still rather intuitive way. This is used to recast the unifying view of behavioural ...
详细信息
The problem of imperfect knowledge has been tackled for a long time by philosophers, logicians and mathematicians. Recently it became also a crucial issue for computer scientists, particularly in the area of artificia...
详细信息
The problem of imperfect knowledge has been tackled for a long time by philosophers, logicians and mathematicians. Recently it became also a crucial issue for computer scientists, particularly in the area of artificial intelligence. There are many approaches to the problem of how to understand and manipulate the imperfect knowledge. The most successful one is, no doubt, fuzzy set theory proposed by Zadeh. Rough set theory is another attempt to this problem. The theory has attracted attention of many researchers and practitioners all over the world, who contributed essentially to its development and applications. Rough set theory overlaps with many other theories, especially with fuzzy set theory, evidence theory and Boolean reasoning methods-nevertheless it can be viewed in its own rights, as an independent, complementary, and not competing discipline.
暂无评论