Artificial Intelligence 2

um. found it! For anyone else looking - look under announcements Mac, posted a path to the brochure...by

Hi, Does anyone know where I can find information on any of the postgraduate modules? the myModules brochure only lists undergraduate modules. The specific modules I am looking for info on are: COS405A Computability Theory COS408D Datastructures And Algorithms COS416D Theory Of Program Languages 1 COS430B Computer Networks COS461J Capita Selecta 2 (Computer Science) COS492R Formal Progby

I would like to buy Machine Learning (4th ed) by Tom Mitchell (ISBN: 978-0-07-042807-7). Is anyone interested in selling?by

http://www.fastcompany.com/node/28121/printby

Hi Bob, I realize you've probably aced this subject already, but was wondering if you ever figured out 19.4. I'm having similar troubles (yes it's part of the assingment this year too ). To jog your memory a little, part a reads as follows: The resolvent C: True -> P(A,B ) Clause 1 C1: P(x,y) -> Q(x,y) Clause 2 C2: ??? Now for resolution to apply, I realise that theseby

I found this easier to follow than the textbook. http://people.cs.vt.edu/~ramakris/Courses/CS6604/lectures/lec12/lec12.pdf Hope it helps someone else tooby

last day for this assignment was yesterdayby

Did you have any luck? I managed to get the assignment question and textbook and answer the assignment - but they're refusing to accept my assignment 'cos their internal processes are still all confused (yes we have your money; no there are no outstanding requirements; yes you are temporarily registered; NO- we can't register you !?!).by

when is the first assignment due? (and what are the questions - if possible) (( having difficulty with my registration ))by

I found Enterprise Architecture as Strategy: Creating a Foundation for Business Execution on Kalahari. For those of you still struggling to find it, they'll deliver to your door in 10 days. I just bought it there.by

I found it on Kalahari - they'll deliver to your door in 10 days. Enterprise Architecture as Strategy: Creating a Foundation for Business Execution I just bought it there.by

do you know when the first assignment is due? I don't have my tut letters yet...by

which edition is your Object Orientated Analysis and Design, R. Schach book?by

is your 417 textbook 6th edition or 7th?by

Hi, I've just managed to register and am still awaiting material for this module. Does anyone know when the first assignment is due?by

Hi, I've just managed to register and am still awaiting material for this module. Does anyone know when the first assignment is due?by

The only diagonalization that I am familiar with is matrix diagonalization and I don't see how that can be use to enumerate all ground terms as in secion 7.1 on p141 where the countable set of function symbols are placed into a single list. Would anyone like to enlighten me?by

Has anyone else noticed that: solve([,[],[]], Sol). given: s(Stacks, | OtherStacks]) :- del(, Stacks, Stacks1), del(Stack2, Stacks1, OtherStacks). del(X, , L). del(X, , ) :- del(X, L, L1). goal(Situation) :- member(, Situation). member(X, L) :- del(X, L, _). solve(N, ) :- goal(N). solve(N, ) :- s(N, N1), solve(N1, Sol1). does not actually work? I tby

Thanks Celene, Perhaps the bit that's really getting me is what you are allowed to choose as an axiom. Does it really say that you can choose _any_ complimentary pair of literals and not any pair that occurs in the formula or some sub formula? And why do they make the choices they do in the examples? I can totally see how to create a proof from the tablueax but from the explanation of why tby

I'm struggling a bit with the definition of a Gentzen system presented in the textbook on page 45. Please help. What do the bits above & below the lines mean after the first paragraph? It looks like division, but can't be (I think). How would one read those formulae/expressions? I did see the bit that says the bit above the line is called a premise and the bit below the line a conclusion bby

(right-click/view source for formatted text) b = [1 1 0 1]T; f = [0 2 0 1]T (a) |1/2 0 0 0||1| |1/2| | 0 1 0 0||1|=| 1 | | 0 0 1 0||0| | 0 | | 0 0 0 1||1| | 1 | and |1/2 0 0 0||0| |0| | 0 1 0 0||2|=|2| | 0 0 1 0||0| |0| | 0 0 0 1||1| |1| (b) sin(45) = 1/sqrt(2) but positive rotation is anti-clockwise and we're asked for clockwise rotation: sin(360-45) = sin(360)cos(45)by

maybe. please explain how you would do that and why it would work though? the determinant seems like magic to me - it gets used for all kinds of strange things.by

#include <GL/glut.h> #include <math.h> void earth() { float x, y, z, thet, phi; float c = 3.14159/180.0; for (phi = -90.0; phi <= 90.0; phi += 20.0) { glBegin(GL_QUAD_STRIP); for (thet = -180.0; thet <= 180.0; thet += 20.0) { x = sin(c*thet)*cos(c*phi); y = cos(c*thet)*cos(c*phi); zby

that they were all posed as negatives threw me rather a lot as well. it's a lot harder to think of what something is not than to say what it is (for me anyway).by

err... the exam only starts in an hour and a half! Sure you wrote the right paper?by

I think I got it. show that the first three vectors are linearly independent. this means that they are not a linear combination of each other, which means that they do not all lie on the same line. which means that they form a plane. then show that the last point is a linear combination of the previous 3. I believe linear combinations and planes are part of the subject matter so I guess itby

sorry for the delayed post (was focusing on cos311) the glNormal functions specify the normal vector to use for all subsequent glVertex calls. these are ignored if lighting is off, which is why we didn't need to worry about them early on in the course. with flat shading OpenGL only uses the normal defined for the first vertex on a face. and for smooth shading it uses the normal at every vertex toby

I seem to remember that in using this causes the server object to activate if it has the implicit activation policy. maybe in the first case the author of the code wanted to activate the object and in the second he might have been sure that the object must be activated by now. that might also have been _this-> though. hope this helps...by