Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

First-Order Logical Filtering Afsaneh Shirazi and Eyal Amir

Summary: First-Order Logical Filtering
Afsaneh Shirazi and Eyal Amir
Computer Science Department, University of Illinois at U-C
Urbana, IL 61801, USA {hajiamin,eyal}@cs.uiuc.edu
Logical filtering is the process of updating a belief
state (set of possible world states) after a sequence
of executed actions and perceived observations. In
general, it is intractable in dynamic domains that
include many objects and relationships. Still, po-
tential applications for such domains (e.g., seman-
tic web, autonomous agents, and partial-knowledge
games) encourage research beyond immediate in-
tractability results.
In this paper we present polynomial-time algo-
rithms for filtering belief states that are encoded
as First-Order Logic (FOL) formulae. We sidestep
previous discouraging results, and show that our
algorithms are exact in many cases of interest.
These algorithms accept belief states in full FOL,


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


Collections: Computer Technologies and Information Sciences