Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Logical Circuit Filtering Dafna Shahaf and Eyal Amir

Summary: Logical Circuit Filtering
Dafna Shahaf and Eyal Amir
Computer Science Department
University of Illinois, Urbana-Champaign
Urbana, IL 61801, USA
Logical Filtering is the problem of tracking the pos-
sible states of a world (belief state) after a sequence
of actions and observations. It is fundamental to
applications in partially observable dynamic do-
mains. This paper presents the first exact logical
filtering algorithm that is tractable for all determin-
istic domains. Our tractability result is interesting
because it contrasts sharply with intractability re-
sults for structured stochastic domains. The key to
this advance lies in using logical circuits to repre-
sent belief states. We prove that both filtering time
and representation size are linear in the sequence
length and the input size. They are independent of


Source: Amir, Eyal - Department of Computer Science, University of Illinois at Urbana-Champaign


Collections: Computer Technologies and Information Sciences