Abstract
We present a probability logic (essentially a first order language extended with quantifiers that count the fraction of elements in a model that satisfy a first order formula) which, on the one hand, captures uniform circuit classes such as AC0 and TC0 over arithmetic models, namely, finite structures with linear order and arithmetic relations, and, on the other hand, their semantics, with respect to our arithmetic models, can be closely approximated by giving interpretations of their formulas on finite structures where all relations (including the order) are restricted to be “modular” (i.e. to act subject to an integer modulo). In order to give a precise measure of the proximity between satisfaction of a formula in an arithmetic model and satisfaction of the same formula in the “approximate” model, we define the approximate formulas and work on a notion of approximate truth. We also indicate how to enhance the expressive power of our probability logic in order to capture polynomial time decidable queries.
There are various motivations for this work. As of today, there is not known logical description of any computational complexity class below NP which does not requires a built–in linear order. Also, it is widely recognized that many model theoretic techniques for showing definability in logics on finite structures become almost useless when order is present. Hence, if we want to obtain significant lower bound results in computational complexity via the logical description we ought to find ways of by-passing the ordering restriction. With this work we take steps towards understanding how well can we approximate, without a true order, the expressive power of logics that capture complexity classes on ordered structures.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Barrington, D., Immerman, N., Straubing, H.: On uniformity within NC1. J. Computer and Syst. Sci. 41, 274–306 (1990)
Cook, S.A.: An observation on time-storage trade off. J. Comput. System Sci. 9, 308–316 (1974)
Etessami, K., Immerman, N.: Reachability and the power of local ordering. Theo. Comp. Sci. 148(2), 261–279 (1995)
Gurevich, Y.: Logic and the challenge of computer science. In: Börger, E. (ed.) Current trends in theoretical computer science, pp. 1–57. Computer Science Press (1988)
Immerman, N.: Descriptive Complexity. Springer, Heidelberg (1998)
Keisler, H.J.: Hyperfinite model theory. In: Gandy, R.C., Hyland, J.M.E. (eds.) Logic Colloquium 76. North-Holland, Amsterdam (1977)
Libkin, L., Wong, L.: Lower bounds for invariant queries in logics with counting. Theoretical Comp. Sci. 288, 153–180 (2002)
Stewart, I.: Logical description of monotone NP problems. J. Logic Computat. 4(4), 337–357 (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Arratia, A., Ortiz, C.E. (2004). Approximating the Expressive Power of Logics in Finite Models. In: Farach-Colton, M. (eds) LATIN 2004: Theoretical Informatics. LATIN 2004. Lecture Notes in Computer Science, vol 2976. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24698-5_57
Download citation
DOI: https://doi.org/10.1007/978-3-540-24698-5_57
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21258-4
Online ISBN: 978-3-540-24698-5
eBook Packages: Springer Book Archive