HIGHER ORDER ASYMPTOTIC EFFICIENCY OF ESTIMATORS IN DECISION PROCEDURES

Author(s):  
Kei Takeuchi
2002 ◽  
Vol 18 (5) ◽  
pp. 1040-1085 ◽  
Author(s):  
Donald W.K. Andrews

It is well known that a one-step scoring estimator that starts from any N1/2-consistent estimator has the same first-order asymptotic efficiency as the maximum likelihood estimator. This paper extends this result to k-step estimators and test statistics for k ≥ 1, higher order asymptotic efficiency, and general extremum estimators and test statistics.The paper shows that a k-step estimator has the same higher order asymptotic efficiency, to any given order, as the extremum estimator toward which it is stepping, provided (i) k is sufficiently large, (ii) some smoothness and moment conditions hold, and (iii) a condition on the initial estimator holds.For example, for the Newton–Raphson k-step estimator based on an initial estimator in a wide class, we obtain asymptotic equivalence to integer order s provided 2k ≥ s + 1. Thus, for k = 1, 2, and 3, one obtains asymptotic equivalence to first, third, and seventh orders, respectively. This means that the maximum differences between the probabilities that the (N1/2-normalized) k-step and extremum estimators lie in any convex set are o(1), o(N−3/2), and o(N−3), respectively.


2021 ◽  
Vol Volume 17, Issue 4 ◽  
Author(s):  
Petar Vukmirović ◽  
Alexander Bentkamp ◽  
Visa Nummelin

We developed a procedure to enumerate complete sets of higher-order unifiers based on work by Jensen and Pietrzykowski. Our procedure removes many redundant unifiers by carefully restricting the search space and tightly integrating decision procedures for fragments that admit a finite complete set of unifiers. We identify a new such fragment and describe a procedure for computing its unifiers. Our unification procedure, together with new higher-order term indexing data structures, is implemented in the Zipperposition theorem prover. Experimental evaluation shows a clear advantage over Jensen and Pietrzykowski's procedure.


2019 ◽  
Vol 42 ◽  
Author(s):  
Daniel J. Povinelli ◽  
Gabrielle C. Glorioso ◽  
Shannon L. Kuznar ◽  
Mateja Pavlic

Abstract Hoerl and McCormack demonstrate that although animals possess a sophisticated temporal updating system, there is no evidence that they also possess a temporal reasoning system. This important case study is directly related to the broader claim that although animals are manifestly capable of first-order (perceptually-based) relational reasoning, they lack the capacity for higher-order, role-based relational reasoning. We argue this distinction applies to all domains of cognition.


Sign in / Sign up

Export Citation Format

Share Document