A fine question. It sure looks like it holds to me, so perhaps somebody a little smarter than I am should take a look... Rob ... ...
684
cedricstjl
Jun 8, 2006 8:47 pm
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...
685
Peter Norvig
norvig
Jun 8, 2006 8:53 pm
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...
686
Ivan F. Villanueva B.
artificialidea
Jun 9, 2006 10:51 pm
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...
687
Maithreebhanu Wimalas...
bhanu128
Jun 12, 2006 2:12 pm
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...
688
Paras Babu Tiwari
punarwas
Jun 13, 2006 11:42 am
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...
689
cedricstjl
Jun 13, 2006 9:49 pm
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...
690
Peter Norvig
norvig
Jun 13, 2006 9:59 pm
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...
691
zappbrann
Jun 14, 2006 4:22 pm
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...
692
cedricstjl
Jun 14, 2006 4:25 pm
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...
693
Robin
get_imaginary
Jun 14, 2006 7:12 pm
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? ...
694
cedricstjl
Jun 14, 2006 7:17 pm
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...
695
Joe Hendrix
joeeeee22
Jun 14, 2006 10:53 pm
... 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,...
696
zappbrann
Jun 14, 2006 11:04 pm
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...
697
Ivan F. Villanueva B.
artificialidea
Jun 15, 2006 6:41 pm
... 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....
698
Ivan F. Villanueva B.
artificialidea
Jun 15, 2006 7:35 pm
... It is a very interesting problem. Please post the solutions, links, etc you find to solve it. -- Ivan F. Villanueva B. A.I. library:...
699
Robin
get_imaginary
Jun 16, 2006 5:01 am
Hello John, It might have helped had I mentioned the problem name. It's "bin packing." You might try searching for that directly, or for that and ...
700
cedricstjl
Jun 16, 2006 5:01 am
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...
701
amy_davis_86
Jul 20, 2006 2:13 am
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...
702
Maithreebhanu Wimalas...
bhanu128
Jul 21, 2006 5:19 am
... it depends on the final year project/module u have chosen. i myself found exec. regarding agents usefull....
703
Сергій
sergijka
Jul 27, 2006 2:21 am
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,...
704
sergijka
Jul 28, 2006 4:44 pm
... installation of ... this file ... there is ... return a ... Well, the code " v = VacuumEnvironment() w = EnvFrame(v) w.mainloop() " draw the grid (for us...
705
ragusa2001
Aug 4, 2006 5:11 pm
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"....
706
Ivan F. Villanueva B.
artificialidea
Aug 13, 2006 2:10 pm
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...
707
andreteves85
Aug 24, 2006 8:51 pm
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...
708
Ivan F. Villanueva B.
artificialidea
Sep 9, 2006 9:36 pm
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:...
709
kbs_group10
Sep 26, 2006 7:35 am
can you help me please to answer this question !! How can Artificial Intelligence technology be used in decision support ? Thank you...
710
€ ¦¤p€ ¦¦|€ ¦¤¤ªºªe€ ...
chrixc.tw
Sep 30, 2006 6:20 am
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...
711
saarlodri1984
Oct 28, 2006 1:01 pm
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...
712
special case
eng_barakat2007
Oct 28, 2006 8:26 pm
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 ...
