Golog and ConGolog are languages defined in the situation calculus for cognitive robotics. Given a Golog program \delta, its semantics is defined by a macro Do(\delta,s,s') that expands to a logical sentence that captures the conditions under which performing \delta in s can terminate in s'. A similarmacro is defined for ConGolog programs. In general, the logical sentences that these macros expand to are second-order, and in the case of ConGolog, may involve quantification over programs. In this paper, we show that by making use of the foundational axioms in the situation calculus, in particular, the second-order closure axiom about the space of situations, these macro expressions can actually be defined using first-order sentences.

Golog and ConGolog are languages defined in the situation calculus for cognitive robotics. Given a Golog program \delta, its semantics is defined by a macro Do(\delta,s,s') that expands to a logical sentence that captures the conditions under which performing \delta in s can terminate in s'. A similarmacro is defined for ConGolog programs. In general, the logical sentences that these macros expand to are second-order, and in the case of ConGolog, may involve quantification over programs. In this paper, we show that by making use of the foundational axioms in the situation calculus, in particular, the second-order closure axiom about the space of situations, these macro expressions can actually be defined using first-order sentences.

Golog and ConGolog are languages defined in the situation calculus for cognitive robotics. Given a Golog program \delta, its semantics is defined by a macro Do(\delta,s,s') that expands to a logical sentence that captures the conditions under which performing \delta in s can terminate in s'. A similarmacro is defined for ConGolog programs. In general, the logical sentences that these macros expand to are second-order, and in the case of ConGolog, may involve quantification over programs. In this paper, we show that by making use of the foundational axioms in the situation calculus, in particular, the second-order closure axiom about the space of situations, these macro expressions can actually be defined using first-order sentences.

Golog and ConGolog are languages defined in the situation calculus for cognitive robotics. Given a Golog program \delta, its semantics is defined by a macro Do(\delta,s,s') that expands to a logical sentence that captures the conditions under which performing \delta in s can terminate in s'. A similarmacro is defined for ConGolog programs. In general, the logical sentences that these macros expand to are second-order, and in the case of ConGolog, may involve quantification over programs. In this paper, we show that by making use of the foundational axioms in the situation calculus, in particular, the second-order closure axiom about the space of situations, these macro expressions can actually be defined using first-order sentences.

Golog and ConGolog are languages defined in the situation calculus for cognitive robotics. Given a Golog program \delta, its semantics is defined by a macro Do(\delta,s,s') that expands to a logical sentence that captures the conditions under which performing \delta in s can terminate in s'. A similarmacro is defined for ConGolog programs. In general, the logical sentences that these macros expand to are second-order, and in the case of ConGolog, may involve quantification over programs. In this paper, we show that by making use of the foundational axioms in the situation calculus, in particular, the second-order closure axiom about the space of situations, these macro expressions can actually be defined using first-order sentences.

Golog and ConGolog are languages defined in the situation calculus for cognitive robotics. Given a Golog program \delta, its semantics is defined by a macro Do(\delta,s,s') that expands to a logical sentence that captures the conditions under which performing \delta in s can terminate in s'. A similarmacro is defined for ConGolog programs. In general, the logical sentences that these macros expand to are second-order, and in the case of ConGolog, may involve quantification over programs. In this paper, we show that by making use of the foundational axioms in the situation calculus, in particular, the second-order closure axiom about the space of situations, these macro expressions can actually be defined using first-order sentences.

Golog and ConGolog are languages defined in the situation calculus for cognitive robotics. Given a Golog program \delta, its semantics is defined by a macro Do(\delta,s,s') that expands to a logical sentence that captures the conditions under which performing \delta in s can terminate in s'. A similarmacro is defined for ConGolog programs. In general, the logical sentences that these macros expand to are second-order, and in the case of ConGolog, may involve quantification over programs. In this paper, we show that by making use of the foundational axioms in the situation calculus, in particular, the second-order closure axiom about the space of situations, these macro expressions can actually be defined using first-order sentences.

Golog and ConGolog are languages defined in the situation calculus for cognitive robotics. Given a Golog program \delta, its semantics is defined by a macro Do(\delta,s,s') that expands to a logical sentence that captures the conditions under which performing \delta in s can terminate in s'. A similarmacro is defined for ConGolog programs. In general, the logical sentences that these macros expand to are second-order, and in the case of ConGolog, may involve quantification over programs. In this paper, we show that by making use of the foundational axioms in the situation calculus, in particular, the second-order closure axiom about the space of situations, these macro expressions can actually be defined using first-order sentences.

Golog and ConGolog are languages defined in the situation calculus for cognitive robotics. Given a Golog program \delta, its semantics is defined by a macro Do(\delta,s,s') that expands to a logical sentence that captures the conditions under which performing \delta in s can terminate in s'. A similarmacro is defined for ConGolog programs. In general, the logical sentences that these macros expand to are second-order, and in the case of ConGolog, may involve quantification over programs. In this paper, we show that by making use of the foundational axioms in the situation calculus, in particular, the second-order closure axiom about the space of situations, these macro expressions can actually be defined using first-order sentences.

Estimation of density derivatives is a versatile tool in statistical data analysis. A naive approach is to first estimate the density and then compute its derivative. However, such a two-step approach does not work well because a good density estimator does not necessarily mean a good density-derivative estimator. In this paper, we give a direct method to approximate the density derivative without estimating the density itself. Our proposed estimator allows analytic and computationally efficient approximation of multi-dimensional high-order density derivatives, with the ability that all hyper-parameters can be chosen objectively by cross-validation. We further show that the proposed density-derivative estimator is useful in improving the accuracy of non-parametric KL-divergence estimation via metric learning. The practical superiority of the proposed method is experimentally demonstrated in change detection and feature selection.