UIUC Projects for Students (suggested and biased by Eyal Amir)
Topics include (but not restricted to):
Reasoning, Knowledge Representation, Dynamic Systems,
Decision Making, Optimization Algorithms

Inference Projects

Number Topic Student
1
Extension of lock resolution using craig's interpolation theorem  
2
Hybrid reasoning with logic and probabilities via partitioning (requires knowledge of FOPL, at least Halpern's work)  
3
Logical filtering with a first-order language  
4
Logical filtering with BDDs  
5
Activity detection using filtering (any method)  
6
SLAM2.0 improved and applied to a robotic arm  
7
Combining logical filtering and stochastic filtering  
8
Survey propagation for dynamic settings (e.g., planning via SAT)  
9
Approximation algorithm for hyper-treewidth  
10
Implementation of an algorithm for planar treewidth  
11
TAKEN (replaced soon)  
12
Labeling image segments with words (using a probabilistic graphical model)  
13
Implementation of Message-Passing as a restriction strategy for reasoning in FOL  
14
Playing Kriegspiel  
15
Equational reasoning in first-order probabilistic models  
16
First-Order DPLL with equality  
17
LSA-like robot control architecture with probabilities  
18
Learning action models via filtering  
19
MCMC for image segmentation  
20
Robot localization for a basketball game  
21
Control of a robotic arm via dynamic programming  
22
TAKEN (replaced soon)  
23
TAKEN (replaced soon)  
24
Orienting polygonal parts using filtering  
25
Resolution on reconfigurable hardware  

Decision-Making Projects

Number Topic Presenter
1
Kriegspiel game player  
2
First-Order POMDPs  
3
Exact Factored MDPs  
4
Conformant planning using Logical Filtering  
5
Activity detection using filtering (any method)  
6
SLAM2.0 improved and applied to a mobile robot  
7
Poker Playing  
8
Bridge Player  
9
First-Order Factored Planning  
10
Adventure-Game Exploration using Commonsense knowledge  
11
Approximate Deterministic POMDPs via Logical Filtering  
12
Probabilistic Resolution in Dynamic Bayesian Networks  
13
POMDPs approximated via DBNs  
14
Robot control using a POMDP  
15
First-Order Reinforcement Learning  
16
Reshaping rewards using commonsense knowledge  
17
Partially observable LSA-based robot control architecture  
18
Reinforcement learning in deterministic domains  
19
Controlling a Levitating Robot  
20
Robot localization for a basketball game  
21
LSA-based control system for a robotic arm  
Viewing PostScript and PDF

Depending on the computer you are using, you may be able to download a PostScript viewer or PDF viewer for it if you don't already have one.


Comments to Eyal Amir