activity
20142020
most citedBoosting One-Point Derivative-Free Online Optimization via Residual Feedback

7 citations · 14 across the 6 of their papers we have counts for

collaborators

6 papers

cs.LG2020★ 7 cited

Boosting One-Point Derivative-Free Online Optimization via Residual Feedback

Yan Zhang, Yi Zhou, Kaiyi Ji +1

Zeroth-order optimization (ZO) typically relies on two-point feedback to estimate the unknown gradient of the objective function. Nevertheless, two-point feedback can not be used f…

math.OC2020★ 5 cited

A New One-Point Residual-Feedback Oracle For Black-Box Learning and Control

Yan Zhang, Yi Zhou, Kaiyi Ji +1

Zeroth-order optimization (ZO) algorithms have been recently used to solve black-box or simulation-based learning and control problems, where the gradient of the objective function…

cs.AI2017

Structured Production System (extended abstract)

Yi Zhou

In this extended abstract, we propose Structured Production Systems (SPS), which extend traditional production systems with well-formed syntactic structures. Due to the richness of…

cs.AI2017

From First-Order Logic to Assertional Logic

Yi Zhou

First-Order Logic (FOL) is widely regarded as one of the most important foundations for knowledge representation. Nevertheless, in this paper, we argue that FOL has several critica…

cs.AI2016

A Set Theoretic Approach for Knowledge Representation: the Representation Part

Yi Zhou

In this paper, we propose a set theoretic approach for knowledge representation. While the syntax of an application domain is captured by set theoretic constructs including individ…

cs.LO2014★ 2 cited

A Logical Study of Partial Entailment

Yi Zhou, Yan Zhang

We introduce a novel logical notion--partial entailment--to propositional logic. In contrast with classical entailment, that a formula P partially entails another formula Q with re…