Q & A for Introduction AI

Tuesday, November 2, 2010

Proving Unsatisfiability

›
By applying a k-sat solver (and finding a solution) we can prove that a k-sat problem is satisfiable. For random 3-sat problems for instance...
1 comment:
Thursday, September 30, 2010

The Ambiguity of Defining Task Environments

›
Consider a taxi driving agent. This agent is clearly in a multi-agent environment because of the other drivers on the road. They typically p...
1 comment:
Sunday, October 25, 2009

Q: Is the fixed point of constraint propagation unique?

›
The answer is yes (with thanks to Rina Dechter). First imagine there were multiple fixed points with different domain sets. Each of these do...
Wednesday, October 14, 2009

Q: Why domination implies faster search in A*

›
If we have 2 heuristics h1 and h2 and h1 The reason why domination translates into fewer nodes expanded is that A* is guaranteed to expand e...
Thursday, October 8, 2009

Q: What's the difference between time and space complexity?

›
Time complexity concerns the number of operations you have to perform to get to a goal state. We measure these usually in b: the maximal bra...
2 comments:

Q: How is graph search different from tree search?

›
This is actually a very important issue which is perhaps a little under-emphasized in the book. Graph search maintains in addition to its fr...
3 comments:

Q: Is BFS really O(b^[d+1])?

›
In the book (Russel & Norvig) it is argued that the time and space complexity of BFS (breadth first search) is O(b^[d+1]) where b is the...
3 comments:
Home
View web version

About Me

My photo
Max Welling
Professor Computer Science and Statistics.
View my complete profile
Powered by Blogger.