Whatís wrong with the theorem-proving view?
Neither users nor programs can formulate precise queries
There is no ìbest answerî in the Web
Web keeps growing, changing
Real goal: To make the best use of the userís and agentís time
Consequence: Web browsing and inference is a real-time activity