We briefly mentioned how logic can be used to represent simple facts in the last lecture. Here we will highlight major principles involved in knowledge representation. In particular predicate logic will be met in other knowledge representation schemes and reasoning methods.

A more comprehensive treatment is given in the third year Expert Systems course. Symbols used The following standard logic symbols we use in this course are:

For all            


   
		
		
	 


Leave a Comment





Name


Mail (will not be published)


Website





	
Please note: Comment moderation is enabled and may delay your comment. There is no need to resubmit your comment.