We present Policy Gradient Actor-Critic (PGAC), a new model-free Reinforcement Learning (RL) method for creating limited-memory stochastic policies for Partially Observable Markov Decision Processes (POMDPs) that require long-term memories of past observations and actions. The approach involves estimating a policy gradient for an Actor through a Policy Gradient Critic which evaluates probabilit...

D Pereboom’s Living Without Free Will (2001) is an outstanding book that rightly changed the debate over an ancient problem. I am certain that Free Will Skepticism, Agency, and Meaning in Life will join the first book as a must-read for anyone in the world interested in these foundational issues. The main pillars of the account remain, including incompatibilism between free will and determinism...

The discovery of missing lemmas and case-splits are challenging problems for automated theorem proving. Most interactive provers rely on the user for guidance through these proof-steps. Proof-planning critics were introduced by Ireland as a way of automating this. Here, we present ongoing work developing critics for lemma speculation and caseanalysis in higher-order logic in the IsaPlanner system.

This paper proposes a framework for the simplification of the development of Artificial Art Critics. We provide two basic elements: an architecture that consists of two main modules for the pre-processing and classification of an artwork, and a validation methodology that consists of several stages, such as the objective evaluation of an artwork (with targets like author or style identification...

The morality of Administrative Law is a proposal aimed to enable rational administrative action towards the common good, as reply recent critics about expansion state in United States. Rather than dismantle modern state, Sunstein and Vermeule propose use Fuller´s ideas “inner Law”, build system general principles. This connects with principles Law, deeply recognized procedure laws America Latin...