Results 1  10
of
19
QueryLimited Reducibilities
, 1995
"... We study classes of sets and functions computable by algorithms that make a limited number of queries to an oracle. We distinguish between queries made in parallel (each question being independent of the answers to the others, as in a truthtable reduction) and queries made in serial (each question ..."
Abstract

Cited by 41 (14 self)
 Add to MetaCart
We study classes of sets and functions computable by algorithms that make a limited number of queries to an oracle. We distinguish between queries made in parallel (each question being independent of the answers to the others, as in a truthtable reduction) and queries made in serial (each question being permitted to depend on the answers to the previous questions, as in a Turing reduction). We define computability by a set of functions, and we show that it captures the informationtheoretic aspects of computability by a fixed number of queries to an oracle. Using that concept, we prove a very powerful result, the Nonspeedup Theorem, which states that 2 n parallel queries to any fixed nonrecursive oracle cannot be answered by an algorithm that makes only n queries to any oracle whatsoever. This is the tightest general result possible. A corollary is the intuitively obvious, but nontrivial result that additional parallel queries to an oracle allow us to compute additional functions; t...
Revision Programming
 THEORETICAL COMPUTER SCIENCE
, 1994
"... In this paper we introduce revision programming  a logicbased framework for describing constraints on databases and providing a computational mechanism to enforce them. Revision programming captures those constraints that can be stated in terms of the membership (presence or absence) of items (re ..."
Abstract

Cited by 36 (1 self)
 Add to MetaCart
In this paper we introduce revision programming  a logicbased framework for describing constraints on databases and providing a computational mechanism to enforce them. Revision programming captures those constraints that can be stated in terms of the membership (presence or absence) of items (records) in a database. Each such constraint is represented by a revision rule ff / ff 1 ; : : : ; ff k , where ff and all ff i are of the form in(a) and out(b). Collections of revision rules form revision programs. Similarly as logic programs, revision programs admit both declarative and imperative (procedural) interpretations. In our paper, we introduce a semantics that reflects both interpretations. Given a revision program, this semantics assigns to any database B a collection (possibly empty) of Pjustified revisions of B. The paper contains a thorough study of revision programming. We exhibit several fundamental properties of revision programming. We study the relationship of revision programming to logic programming. We investigate complexity of reasoning with revision programs as well as algorithms to compute P justified revisions. Most importantly from the practical database perspective, we identify two classes of revision programs, safe and stratified, with a desirable property that they determine for each initial database a unique revision.
On the Structure of Degrees of Inferability
 Journal of Computer and System Sciences
, 1993
"... Degrees of inferability have been introduced to measure the learning power of inductive inference machines which have access to an oracle. The classical concept of degrees of unsolvability measures the computing power of oracles. In this paper we determine the relationship between both notions. ..."
Abstract

Cited by 32 (19 self)
 Add to MetaCart
Degrees of inferability have been introduced to measure the learning power of inductive inference machines which have access to an oracle. The classical concept of degrees of unsolvability measures the computing power of oracles. In this paper we determine the relationship between both notions. 1 Introduction We consider learning of classes of recursive functions within the framework of inductive inference [21]. A recent theme is the study of inductive inference machines with oracles ([8, 10, 11, 17, 24] and tangentially [12]; cf. [10] for a comprehensive introduction and a collection of all previous results.) The basic question is how the information content of the oracle (technically: its Turing degree) relates with its learning power (technically: its inference degreedepending on the underlying inference criterion). In this paper a definitive answer is obtained for the case of recursively enumerable oracles and the case when only finitely many queries to the oracle are allo...
Quantifying the Amount of Verboseness
, 1995
"... We study the fine structure of the classification of sets of natural numbers A according to the number of queries which are needed to compute the nfold characteristic function of A. A complete characterization is obtained, relating the question to finite combinatorics. In order to obtain an explic ..."
Abstract

Cited by 16 (6 self)
 Add to MetaCart
We study the fine structure of the classification of sets of natural numbers A according to the number of queries which are needed to compute the nfold characteristic function of A. A complete characterization is obtained, relating the question to finite combinatorics. In order to obtain an explicit description we consider several interesting combinatorial problems. 1 Introduction In the theory of bounded queries, we measure the complexity of a function by the number of queries to an oracle which are needed to compute it. The field has developed in various directions, both in complexity theory and in recursion theory; see Gasarch [21] for a recent survey. One of the original concerns is the classification of sets A of natural numbers by their "query complexity," i.e., according to the number of oracle queries that are needed to compute the nfold characteristic function F A n = x 1 ; : : : ; x n : (ØA (x 1 ); : : : ; ØA (x n )). In [3, 8] a set A is called verbose iff F A n is com...
Bounded Query Classes and the Difference Hierarchy
 Archive for Mathematical Logic
, 1995
"... Let A be any nonrecursive set. We define a hierarchy of sets (and a corresponding hierarchy of degrees) that are reducible to A based on bounding the number of queries to A that an oracle machine can make. When A is the halting problem K our hierarchy of sets interleaves with the difference hierarch ..."
Abstract

Cited by 15 (12 self)
 Add to MetaCart
Let A be any nonrecursive set. We define a hierarchy of sets (and a corresponding hierarchy of degrees) that are reducible to A based on bounding the number of queries to A that an oracle machine can make. When A is the halting problem K our hierarchy of sets interleaves with the difference hierarchy Current address: Department of Computer Science, Yale University, 51 Prospect Street, P.O. Box 2158 Yale Station, New Haven, CT 06520. Supported in part by NSF grant CCR8808949. Part of this work was completed while this author was a student at Stanford University supported by fellowships from the National Science Foundation and from the Fannie and John Hertz Foundation. y Supported in part by NSF grant CCR8803641. z Part of this work was completed while this author was on sabbatical leave at the University of California, Berkeley. on the r.e. sets in a logarithmic way; this follows from a tradeoff between the number of parallel queries and the number of serial queries needed to...
On TruthTable Reducibility to SAT and the Difference Hierarchy over NP
, 1987
"... We show that polynomial time truthtable reducibility via Boolean circuits to SAT is the same as log space truthtable reducibility via Boolean formulas to SAT and the same as log space Turing reducibility to SAT . In addition, we prove that a constant number of rounds of parallel queries to SAT ..."
Abstract

Cited by 13 (2 self)
 Add to MetaCart
We show that polynomial time truthtable reducibility via Boolean circuits to SAT is the same as log space truthtable reducibility via Boolean formulas to SAT and the same as log space Turing reducibility to SAT . In addition, we prove that a constant number of rounds of parallel queries to SAT is equivalent to one round of parallel queries.
Bounded Queries in Recursion Theory: A Survey
 In Proceedings of the Sixth Annual Structure in Complexity Theory Conference. IEEE Computer
, 1991
"... this paper we survey much of the work that has been done on these two questions. Our framework is recursiontheoretic the computations have no time or space bound. ..."
Abstract

Cited by 11 (4 self)
 Add to MetaCart
this paper we survey much of the work that has been done on these two questions. Our framework is recursiontheoretic the computations have no time or space bound.
Degree Spectra of Relations on Computable Structures
 J. Symbolic Logic
, 1999
"... Abstract We give some new examples of possible degree spectra of invariant relations on \Delta 02categorical computable structures that demonstrate that such spectra can be fairly complicated. On the other hand, we show that there are nontrivial restrictions on the kinds of sets of degrees that can ..."
Abstract

Cited by 11 (5 self)
 Add to MetaCart
Abstract We give some new examples of possible degree spectra of invariant relations on \Delta 02categorical computable structures that demonstrate that such spectra can be fairly complicated. On the other hand, we show that there are nontrivial restrictions on the kinds of sets of degrees that can be realized as degree spectra of such relations. In particular, we give a sufficient condition for a relation to have infinite degree spectrum that implies that every invariant computable relation on a \Delta 02categorical computable structure is either intrinsically computable or has infinite degree spectrum. This condition also allows us to use the proof of a result of Moses [22] to establish the same result for computable relations on computable linear orderings.
1995], Degree theoretic definitions of the low 2 recursively enumerable sets
 J. Symbolic Logic
, 1995
"... 1. Introduction. The primary relation studied in recursion theory is that of relative complexity: A set or function A (of natural numbers) is reducible to one B if, given access to information about B, we can compute A. The primary reducibility is that of Turing, A ≤T B, where arbitrary (Turing) mac ..."
Abstract

Cited by 7 (5 self)
 Add to MetaCart
1. Introduction. The primary relation studied in recursion theory is that of relative complexity: A set or function A (of natural numbers) is reducible to one B if, given access to information about B, we can compute A. The primary reducibility is that of Turing, A ≤T B, where arbitrary (Turing) machines, ϕe, can be used; access to