next up previous
Next: Predicate logic Up: Artificial Intelligence II Previous: Further Reading

Logic Knowledge Representation

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 		 tex2html_wrap_inline7176

There exists tex2html_wrap_inline7174

Implies tex2html_wrap_inline7156

Not tex2html_wrap_inline7182

Or tex2html_wrap_inline7184

And tex2html_wrap_inline7186

Let us now look at an example of how predicate logic is used to represent knowledge. There are other ways but this form is popular.





dave@cs.cf.ac.uk