Course talk:CPSC522/Predicate Calculus

Hi Ricky,

I've added in parts about universal/existential instantiation and existential generalization, but I realized it might be useful to also discuss knowledge bases and resolution. I doubt I'll have time to write them, but if you are able to write about those topics, that would be awesome.

Clear skies, Jordon

Hey Jordon,

I've added a Resolution section. Does it cover what you wanted to cover?

I can't seem to find a good source on knowledge bases, so I don't have a good understanding of it. Do you know of any good sources?

Ricky

Sorry for just now getting back to you; there seem to be some interesting behaviours regarding these discussion threads and when they update.

The Resolution section is fine, thank you!

Hi Wenyi, Jordon and Ricky, You have put forward the content very lucidly and in a concise manner which i really liked. I liked how you tried to put forward the boolean functions in predicates with the Star Wars example. However, I would’ve probably gone for a more general example to cater to non sci-fi audience as well. :) I really enjoyed the ‘everybody likes somebody’ and ‘there is someone that everyone likes’. This is a point of confusion for many and you have neatly explained it. I did understand all the terminologies and definitions involved with Predicate Calculus but would’ve liked to see how it fits into the big picture (in the context of AI). How and where could I apply predicate calculus and how does it compare with the other methods like propositional calculus. Overall I really enjoyed the read. It was simple, had a good flow and was explained well. Kuddos to the collaborators for solely coming up with this article! Thanks and warm regards, Ritika

Thank you for the feedback! The Star Wars references were just a way to make the writing fun; I figured I'd have to change them, so no worries. Hopefully I've addressed your other points in the first part of the content section, describing some shortcomings of propositional logic and mentioning how predicate logic is used in logic programming to allow automated reasoning.

Good work w.r.t to time constraint. As Bahare already said, the work till now seems to be just the background information.

Hi all,

I appreciate what you have done as collaborators.

It was really good to have real world examples like star wars characters. But for people like me who have not watched star wars, that does not make much sense. It was better to have more general examples.

It was mentioned that some parts should be added to make things more clear. I am not much familiar with predicate calculus. Things written in the page are easy to understand, but seem like preliminary definitions. I am not sure how much more should be added.

Cheers,

Bahare

I had heard that there were people who had never seen Star Wars, but I didn't want to believe it!  ;) Thank you for your feedback; I'll modify the examples to be more universally relatable (though I will miss hasLightsaber(x)).

Yes you did a great job in presenting the central ideas, despite lacking a principal author. My only tiny bit of request is to elaborate on the variable section a little. Just adding one example as with the others you have provided should suffice. Specifically just point out here what could be variables of an exemplary system.

On a larger perspective I feel that we might need to have a principal author responsible for this page because of its importance. It lays foundations for many pages and topics discussed in class. So it will be good to have a nice write up for this. Thanks again for the effort

Hi Wenyi,

Since the due date for the first draft is today, I was wondering if you had content ready to put on the page so that it can be critiqued. If it's only partially done, that's still fine; I'm willing to write some of the missing sections as needed.

As a precautionary measure, if I don't hear back from you, I'll prepare content to put on the page so that we have something before the end of the day; but I'd rather not step outside the role of secondary author.

Clear skies,

Jordon