Προτασιακή Λογική

Αναπαράσταση Γνώσης με Λογική.

Πράκτορες Βασισμένοι στη Γνώση.

Παραδείγματα.