Here are Stephen’s solutions to Tuesday’s in-class activity. Note that these are not the only possible solutions.

Here are the solutions to Thursday’s in-class predicate logic exercise: Can we prove ¬Teaching(Zeitz, 419)? Yes, with KB sentences 1, 26, 39, and 44. (Note that sentence 29 is not needed here!) Can we prove Overcommitted(Zeitz)? Nope. (Might or might not be actually true, but the current KB contents cannot prove it.) Can we prove…

Tomorrow (Thu Oct 19) I have an unexpected meeting from 2-2:30pm. So I’ll be opening up office hours just a tad bit late that day.

I ran across this recent StackOverflow policy, which is especially interesting considering the reasons given. Would like to hear others’ thoughts!

Predictably, CVS didn’t have the new Covid booster shots yesterday when they said they would. They instead booked me for Thursday morning. I’ve decided I’m still going to have classes and office hours this week, but will minimize other contacts. So I’m going to cancel our BSG movie night tomorrow. If we get a chance,…

Here’s my solution to the in-class activity from today (and the map it was based on). Studying this example again in detail is an excellent and praiseworthy idea.

Here’s the map:

The sixth student of mine to get Covid told me of their positive test result, and given the new variant I’m going to tread very lightly indeed. Class tomorrow (Thurs 9/14) will be on Zoom. The Meeting ID is 5406541317 and the pass code is my UMW extension (4 digits). See you there, with web…

Hey everybody, welcome to the fall 2023 edition of CPSC 415: Artificial Intelligence! (with Stephen!) This site is gonna be hip-hoppin’ with all kinds of great stuff real soon, so stay tuned!