A Polynomial Time Learning Algorithm of Simple Deterministic Languages via Membership Queries and a Representative Sample

Author(s):  
Yasuhiro Tajima ◽  
Etsuji Tomita
2004 ◽  
Vol 329 (1-3) ◽  
pp. 203-221 ◽  
Author(s):  
Yasuhiro Tajima ◽  
Etsuji Tomita ◽  
Mitsuo Wakatsuki ◽  
Matsuaki Terada

Author(s):  
Maurice Funk ◽  
Jean Christoph Jung ◽  
Carsten Lutz

We consider the problem to learn a concept or a query in the presence of an ontology formulated in the description logic ELr, in Angluin's framework of active learning that allows the learning algorithm to interactively query an oracle (such as a domain expert). We show that the following can be learned in polynomial time: (1) EL-concepts, (2) symmetry-free ELI-concepts, and (3) conjunctive queries (CQs) that are chordal, symmetry-free, and of bounded arity. In all cases, the learner can pose to the oracle membership queries based on ABoxes and equivalence queries that ask whether a given concept/query from the considered class is equivalent to the target. The restriction to bounded arity in (3) can be removed when we admit unrestricted CQs in equivalence queries. We also show that EL-concepts are not polynomial query learnable in the presence of ELI-ontologies.


2000 ◽  
Vol 11 (04) ◽  
pp. 613-632 ◽  
Author(s):  
Johannes Köbler ◽  
Wolfgang Lindner

We study the learnability of representation classes in Angluin's exact learning model. In particular, we consider the following three query types: equivalence queries, equivalence and membership queries, and membership queries only. We show in all three cases that polynomial query complexity implies already polynomial-time learnability, provided that the learner additionally has access to an oracle in [Formula: see text]. It follows that boolean circuits are polynomial-time learnable with equivalence queries and the help of an oracle in [Formula: see text].a


1999 ◽  
Vol 10 (04) ◽  
pp. 483-501
Author(s):  
OKADOME TAKESI

The class of simple flat languages defined here is shonw to be learnable in the limit from positive data. In particular, its subclass named k-consecutive, which covers a part of the class of context-sensitive languages not belonging to the class of context-free languages, is polynomial-time learnable in the limit from positive data. The class of "disjunct" unions of simple flat languages is a nontrivial example which is learnable in the limit from positive data, but does not have Wright's finite elasticity. The learning algorithm presented here for identifying the subclasses of flat languages consists essentially of identifying an arithmetic progression in the limit from positive examples using Euclidean algorithm of mutual division.


Entropy ◽  
2018 ◽  
Vol 20 (4) ◽  
pp. 274 ◽  
Author(s):  
◽  

Dynamic Bayesian networks (DBN) are powerful probabilistic representations that model stochastic processes. They consist of a prior network, representing the distribution over the initial variables, and a set of transition networks, representing the transition distribution between variables over time. It was shown that learning complex transition networks, considering both intra- and inter-slice connections, is NP-hard. Therefore, the community has searched for the largest subclass of DBNs for which there is an efficient learning algorithm. We introduce a new polynomial-time algorithm for learning optimal DBNs consistent with a breadth-first search (BFS) order, named bcDBN. The proposed algorithm considers the set of networks such that each transition network has a bounded in-degree, allowing for p edges from past time slices (inter-slice connections) and k edges from the current time slice (intra-slice connections) consistent with the BFS order induced by the optimal tree-augmented network (tDBN). This approach increases exponentially, in the number of variables, the search space of the state-of-the-art tDBN algorithm. Concerning worst-case time complexity, given a Markov lag m, a set of n random variables ranging over r values, and a set of observations of N individuals over T time steps, the bcDBN algorithm is linear in N, T and m; polynomial in n and r; and exponential in p and k. We assess the bcDBN algorithm on simulated data against tDBN, revealing that it performs well throughout different experiments.


Author(s):  
Cosimo Persia ◽  
Ana Ozaki

We investigate learnability of possibilistic theories from entailments in light of Angluin’s exact learning model. We consider cases in which only membership, only equivalence, and both kinds of queries can be posed by the learner. We then show that, for a large class of problems, polynomial time learnability results for classical logic can be transferred to the respective possibilistic extension. In particular, it follows from our results that the possibilistic extension of propositional Horn theories is exactly learnable in polynomial time. As polynomial time learnability in the exact model is transferable to the classical probably approximately correct (PAC) model extended with membership queries, our work also establishes such results in this model.


2000 ◽  
Vol 18 (3) ◽  
pp. 217-242 ◽  
Author(s):  
Satoru Miyano ◽  
Ayumi Shinohara ◽  
Takeshi Shinohara

Sign in / Sign up

Export Citation Format

Share Document