Results 1  10
of
16
PSPACE bounds for rank 1 modal logics
 IN LICS’06
, 2006
"... For lack of general algorithmic methods that apply to wide classes of logics, establishing a complexity bound for a given modal logic is often a laborious task. The present work is a step towards a general theory of the complexity of modal logics. Our main result is that all rank1 logics enjoy a sh ..."
Abstract

Cited by 26 (15 self)
 Add to MetaCart
For lack of general algorithmic methods that apply to wide classes of logics, establishing a complexity bound for a given modal logic is often a laborious task. The present work is a step towards a general theory of the complexity of modal logics. Our main result is that all rank1 logics enjoy a shallow model property and thus are, under mild assumptions on the format of their axiomatisation, in PSPACE. This leads to a unified derivation of tight PSPACEbounds for a number of logics including K, KD, coalition logic, graded modal logic, majority logic, and probabilistic modal logic. Our generic algorithm moreover finds tableau proofs that witness pleasant prooftheoretic properties including a weak subformula property. This generality is made possible by a coalgebraic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way.
A Finite Model Construction For Coalgebraic Modal Logic
"... In recent years, a tight connection has emerged between modal logic on the one hand and coalgebras, understood as generic transition systems, on the other hand. Here, we prove that (finitary) coalgebraic modal logic has the finite model property. This fact not only reproves known completeness result ..."
Abstract

Cited by 24 (16 self)
 Add to MetaCart
In recent years, a tight connection has emerged between modal logic on the one hand and coalgebras, understood as generic transition systems, on the other hand. Here, we prove that (finitary) coalgebraic modal logic has the finite model property. This fact not only reproves known completeness results for coalgebraic modal logic, which we push further by establishing that every coalgebraic modal logic admits a complete axiomatization of rank 1; it also enables us to establish a generic decidability result and a first complexity bound. Examples covered by these general results include, besides standard HennessyMilner logic, graded modal logic and probabilistic modal logic.
Compositional Analysis of Expected Delays in Networks of Probabilistic I/O Automata
, 1998
"... Probabilistic I/O automata (PIOA) constitute a model for distributed or concurrent systems that incorporates a notion of probabilistic choice. The PIOA model provides a notion of composition, for constructing a PIOA for a composite system from a collection of PIOAs representing the components. We pr ..."
Abstract

Cited by 17 (8 self)
 Add to MetaCart
Probabilistic I/O automata (PIOA) constitute a model for distributed or concurrent systems that incorporates a notion of probabilistic choice. The PIOA model provides a notion of composition, for constructing a PIOA for a composite system from a collection of PIOAs representing the components. We present a method for computing completion probability and expected completion time for PIOAs. Our method is compositional, in the sense that it can be applied to a system of PIOAs, one component at a time, without ever calculating the global state space of the system (i.e. the composite PIOA). The method is based on symbolic calculations with vectors and matrices of rational functions, and it draws upon a theory of observables, which are mappings from delayed traces to real numbers that generalize the classical "formal power series " from algebra and combinatorics. Central to the theory is a notion of representation for an observable, which generalizes the clasical notion "linear representation " for formal power series. As in the classical case, the representable observables coincide with an abstractly defined class of "rational" observables; this fact forms the foundation of our method. 1
Learning restricted models of arithmetic circuits
 Theory of computing
"... Abstract: We present a polynomial time algorithm for learning a large class of algebraic models of computation. We show that any arithmetic circuit whose partial derivatives induce a lowdimensional vector space is exactly learnable from membership and equivalence queries. As a consequence, we obtai ..."
Abstract

Cited by 5 (3 self)
 Add to MetaCart
Abstract: We present a polynomial time algorithm for learning a large class of algebraic models of computation. We show that any arithmetic circuit whose partial derivatives induce a lowdimensional vector space is exactly learnable from membership and equivalence queries. As a consequence, we obtain polynomialtime algorithms for learning restricted algebraic branching programs as well as noncommutative setmultilinear arithmetic formulae. In addition, we observe that the algorithms of Bergadano et al. (1996) and Beimel et al. (2000) can be used to learn depth3 setmultilinear arithmetic circuits. Previously only versions of depth2 arithmetic circuits were known to be learnable in polynomial time. Our learning algorithms can be viewed as solving a generalization of the well known polynomial interpolation problem where the unknown polynomial has a succinct representation. We can learn representations of polynomials encoding exponentially many monomials. Our techniques combine a careful algebraic analysis of the partial derivatives of arithmetic circuits with “multiplicity automata ” learning algorithms due to Bergadano et al. (1997) and Beimel et al. (2000).
Spectral dimensionality reduction for hmms
 CoRR
"... Hidden Markov Models (HMMs) can be accurately approximated using cooccurrence frequencies of pairs and triples of observations by using a fast spectral method Hsu et al. (2009) in contrast to the usual slow methods like EM or Gibbs sampling. We provide a new spectral method which significantly redu ..."
Abstract

Cited by 4 (2 self)
 Add to MetaCart
Hidden Markov Models (HMMs) can be accurately approximated using cooccurrence frequencies of pairs and triples of observations by using a fast spectral method Hsu et al. (2009) in contrast to the usual slow methods like EM or Gibbs sampling. We provide a new spectral method which significantly reduces the number of model parameters that need to be estimated, and generates a sample complexity that does not depend on the size of the observation vocabulary. We present an elementary proof giving bounds on the relative accuracy of probability estimates from our model. (Correlaries show our bounds can be weakened to provide either L1 bounds or KL bounds which provide easier direct comparisons to previous work.) Our theorem uses conditions that are checkable from the data, instead of putting conditions on the unobservable Markov transition matrix. 1
On the Limitations of Ordered Representations of Functions
, 1997
"... We introduce a lower bound technique that applies to a broad spectrum of functional representations including Binary Decision Diagrams (BDDs), Binary Moment Diagrams (*BMDs), Hybrid Decision Diagrams (HDDs), and their variants. These representations have been widely used for formal verification of ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
We introduce a lower bound technique that applies to a broad spectrum of functional representations including Binary Decision Diagrams (BDDs), Binary Moment Diagrams (*BMDs), Hybrid Decision Diagrams (HDDs), and their variants. These representations have been widely used for formal verification of hardware systems, particularly symbolic model checking and digitalsystem design, testing and verification. We define a representation called the Binary Linear Diagram (BLD) that generalizes all these representations and then apply our lower bound technique to show exponential size bounds for a wide range of functions. We also give the first examples of integer functions including integer division, remainder, high/loworder words of multiplication, square root and reciprocal that require exponential size in all these representations. Finally, we show that there is a simple regular language that requires exponential size to be represented by any *BMD, even though BDDs can represent any regul...
Learning Stochastic Finite Automata
 Procs. of the 7th International Colloquiuum on Grammatical Inference (ICGI), LNAI 3264
, 2004
"... Abstract. Stochastic deterministic finite automata have been introduced and are used in a variety of settings. We report here a number of results concerning the learnability of these finite state machines. In the setting of identification in the limit with probability one, we prove that stochastic d ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
Abstract. Stochastic deterministic finite automata have been introduced and are used in a variety of settings. We report here a number of results concerning the learnability of these finite state machines. In the setting of identification in the limit with probability one, we prove that stochastic deterministic finite automata cannot be identified from only a polynomial quantity of data. If concerned with approximation results, they become Paclearnable if the L ∞ norm is used. We also investigate queries that are sufficient for the class to be learnable. 1
Spectral Learning of General Weighted Automata via Constrained Matrix Completion
"... Many tasks in text and speech processing and computational biology require estimating functions mapping strings to real numbers. A broad class of such functions can be defined by weighted automata. Spectral methods based on the singular value decomposition of a Hankel matrix have been recently propo ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
Many tasks in text and speech processing and computational biology require estimating functions mapping strings to real numbers. A broad class of such functions can be defined by weighted automata. Spectral methods based on the singular value decomposition of a Hankel matrix have been recently proposed for learning a probability distribution represented by a weighted automaton from a training sample drawn according to this same target distribution. In this paper, we show how spectral methods can be extended to the problem of learning a general weighted automaton from a sample generated by an arbitrary distribution. The main obstruction to this approach is that, in general, some entries of the Hankel matrix may be missing. We present a solution to this problem based on solving a constrained matrix completion problem. Combining these two ingredients, matrix completion and spectral method, a whole new family of algorithms for learning general weighted automata is obtained. We present generalization bounds for a particular algorithm in this family. The proofs rely on a joint stability analysis of matrix completion and spectral learning. 1
Algebra and language theory
 Bull. London Math. Soc
, 1975
"... In the early days of highspeed computers there was a hope that it would be possible to program a computer to translate from one language to another, and this led to an intensive study of language structure. The result has been disappointing in that we are still far from making translations by compu ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
In the early days of highspeed computers there was a hope that it would be possible to program a computer to translate from one language to another, and this led to an intensive study of language structure. The result has been disappointing in that we are still far from making translations by computer, but that is no cause for
PSPACE bounds for rank 1 modal logics
 In LICS’06
, 2006
"... For lack of general algorithmic methods that apply to wide classes of logics, establishing a complexity bound for a given modal logic is often a laborious task. The present work is a step towards a general theory of the complexity of modal logics. Our main result is that all rank1 logics enjoy a sh ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
For lack of general algorithmic methods that apply to wide classes of logics, establishing a complexity bound for a given modal logic is often a laborious task. The present work is a step towards a general theory of the complexity of modal logics. Our main result is that all rank1 logics enjoy a shallow model property and thus are, under mild assumptions on the format of their axiomatisation, in PSPACE. This leads to a unified derivation of tight PSPACEbounds for a number of logics including K, KD, coalition logic, graded modal logic, majority logic, and probabilistic modal logic. Our generic algorithm moreover finds tableau proofs that witness pleasant prooftheoretic properties including a weak subformula property. This generality is made possible by a coalgebraic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way.