I have some difficulty seeing the difference in expressiveness between first-order logic and higher-order logics. Wikipedia (as well as AIMA, AFAICT) says that...
You could do that, and that could be a way of expressing reflexivity, but it wouldn't be quantifying over FOL functions -- it would be quantifying over objects...
Hello, I have noticed that on page 619 of the international edition (figure 17.3) the best action for position 3,1 is to move North. However the figure 17.2...
Is acting human approch to AI it usefull orpractical except for simulation and games. ( robotics exculded ) Are there new avenues for reserch in this area and...
I have problem with following questions: 1) Why state space representation is important in problem solving. Describe in brief with Water Jug problem. 2) Though...
Why does it matter? I'm quantifying over "objects that behave exactly like FOL functions" instead of quantifying directly over FOL functions. I could write a...
I agree that for most of what you would reasonably want to do, it wouldn't matter. But the point is that when you quantify over all functions/relations...
Hello, I'm trying to build an application that optimizes the way packages (cargo) are loaded into a 3D space (truck). The goal is to fit as many packages as...
I don't see why one would ever want to quantify over call_function. I don't think that there is an equivalent to that in "regular" logic. I can quantify over...
This is a classic Operations Research problem that I'd think would be straightforward to solve by linear programming. Have you looked into using an LP solver? ...
Actually, I think that I don't even need levels. for all fun, a, b: call_function(reflexive, fun) <=> call_function(fun, a, b) = call_function(fun, b, a) seems...
... This is a useful technique. I've also seen it called currifying in other papers, however it doesn't let you achieve the full power of second-order logic,...
I looked up linear programming in AIMA and found very little contents. I'm not familiar with the LP solvers, however I looked it up on wikipedia and found the...
... I've found my mistake: the best action in figure 17.3 for 3,1 is *not* to move North, even if the value of the position 3,2 is higher than the one in 2,1....
Hmmm, I've got a hard time translating your example, or those from the Wikipedia article into logical sentences (I have no idea how to express that a model is...
hi, I have just finished my second year at university,and have started reading the aima book, I wanted to know which excersises you think are more important...
It is said in the http://aima.cs.berkeley.edu/python/agents.html: # GUI - Graphical User Interface for Environments # If you do not have Tkinter installed,...
... installation of ... this file ... there is ... return a ... Well, the code " v = VacuumEnvironment() w = EnvFrame(v) w.mainloop() " draw the grid (for us...
Users query Search Engines databases by words. They are enabled to query by sequence of words and/or by combining them logically in a sort of "Logical Hook"....
Hello mates, I've been testing my java code for the algorithm POLICY-ITERATION (chapter 17). It solves the Simplified Bellman Equations (SBE) for the MDP...
Hi! I was studying the section 7.6, about the DPLL and WalkSAT algorithms and I had a doubt about how the random sentences used to plot the fig 7.18 were...
Dear soul-mates, I would like to comment some issues of the QLearning algorithm in the book. (1) First of all I think there is a mistake in the pseudo code:...
Dear All, Who know the answer for following question. It might change nowaday. Read Turing¡¦s original paper on AI (Turing, 1950). In this paper, he...
Hi, I've a question about the difference of the model-based agent(mba) and the goal-based agent (gba) without regarding the difference of reflex and goal. I...
plz review ur question u said mba knows what happen to the world after action x taken and ur question says he didnt ??? thanx ... -- Eng. Osama Lotf Barakat ...
Hi, In page 25, it is said that "AI becomes a science (1987--present)". I understand that it doesn't make much sense to pinpoint the exact time when this...
Having problems with message search?
Fill out this form to ensure your group is one of the first to be migrated to the new message search system.
