Anthony Herron

An Analysis of the Deliberation and Task Performance of an Active Logic Based Agent (Student Abstract)

Active logic is a time-situated reasoner that can track the history of inferences, detect contradictions, and make parallel inferences in time. In this paper, we explore the behavior of an active-logic based agent on different sets of action selection axioms for a time-constrained target search task…