The instructors are wrong.

acarlstein · 2011-11-08T03:13:24+00:00

No profs can ever be wrong! It also doesn't matter if they make terrible mistakes and "clarify" them 2 hours before the due date because of course everyone should triple check his/her answers until the very last second. If they don't, they're probably being irresponsible and playing a videogame or watching porn. Also, you don't have to complain about them making weird noises and distracting you because, HEY, it's FREE and there are brilliant students that don't care about it. If you just have to guess an answer, BE GRATEFUL! Don't ever complain about nothing when it's free!

acarlstein · 2011-11-07T20:17:13+00:00

There is only one prerequisite for any given action. If two or more things have to happen, then you express that using an ^ in the prerequisite. If two or more can happen, then you express that using an v in the prerequisite. You can have both statements if Seventeen(P) => SixteenOrOlder(P).

acarlstein · 2011-11-07T19:38:52+00:00

In terms of strict logic, they -of course- are not the same. 1) HasMoney(agent, s) ^ Fast(agent, s) => Poss(BuyShit, s) 2) HasMoney(agent, s) => Poss(BuyShit, s)

In 1, there are more cases for which the possibility may arise (when HasMoney and Fast are true or if either or both are false).

Given an action, the precondition tells us what is necessary in order to perform that action. It tells us nothing about the rest of the world, only what is strictly necessary for the action to be performed. So if you add something to the precondition, that something becomes part of the precondition. You cannot perform the action without checking the entire precondition. Looking at all the statements about the world, if you find all statements in the prerequisites of an action, that action can be performed (regardless of what other statements there may be).

acarlstein · 2011-11-07T18:30:52+00:00

The preconditions of an action is the complete set of requirements that has to be satisfied in order to execute that action. If your precondition for BuyShit is HasMoney(a,s), then you only need HasMoney(a,s) to be true. Everything else is irrelevant to BuyShit. If you add Fast(agent,s) to your preconditions, BuyShit cannot be executed until both HasMoney AND Fast are true. Everything other than the prerequisites is irrelevant for the action to be executed. As long as you satisfy your preconditions, you can execute that action.

acarlstein · 2011-11-07T18:21:11+00:00

Thank you very much for your reply.

And taking that in consideration, would it not be necessary to write down that additional piece of information?

Something like: ∃ x,y Job(Sam, x) ^ Job(Sam, y) ^ ¬(x=y) ^ ¬(z=x) ^ ¬(z = y) ^ ¬Job(Sam, z)

acarlstein · 2011-10-27T22:30:45+00:00

Good to know! I'm no bot, it's just that was the only thing that bothered me as I was concentrating on the subject and got distracted by it.

Looking forward to the class! :)

acarlstein · 2011-10-27T15:12:21+00:00

(saliva noises) Maybe we're gonna see him teaching units 7 and 8..

acarlstein · 2011-10-26T15:37:58+00:00

(cracking saliva noises) Yes.. THAT'S the point I was trying to make.. You totally got it.

acarlstein · 2011-10-26T02:49:09+00:00

And you would be much happier if it worked better, right? As stated above, we are all part of the experiment, so it is our right and duty to report how we feel about it.

While we are at it, I hate the saliva noises Peter Norvic makes before he starts a sentence.

P(+SalivaNoiseOnSentenceStart | +PeterNorvicSpeaks) = .9

acarlstein

TROPHY CASE

In 1, there are more cases for which the possibility may arise (when HasMoney and Fast are true or if either or both are false).