¡منطق گزارهای (Propositional Logic)
lشرح: گزارههایی درباره دنیا که یا صحیح است یا غلط.
lکلمات ربط: شامل AND، OR و NOT.
lمثال: “I always get wet and annoyed when it rains.”
It is raining→I am wet⋀I am annoyed.
¡منطق گزاره نمای مرتبه اول (First Order Predicate Logic)
lوجود مقادیر ثابت (constants)، مقادیر متغیر (variables)، گزارهها (Predicates)، توابع (functions) و توصیف کنندهها (qualifiers) امکان پذیر است.
lمثال: “Every Monday and Wednesday I go to John’s house for dinner.”
∀X ((day_of_week(X, monday)⋁day_of_week(X, wednesday))→(go_to(me, house_of(john))⋀eat_meal(me, dinner))).
شبکه های معنایی (Semantic Networks)
¡یک نمایش گرافیکی از دانش است.
¡گرهها و لینکها ارتباطات سلسله مراتبی بین اشیاء را نشان میدهند.
¡گرهها: اشیاء
¡لینکها: ارتباطات
¡شبکههای معنایی میتوانند وراثت را نشان دهند.
¡شبکههای معنایی، ارائه بصری از ارتباطات هستند.
¡شبکههای معنایی میتوانند با سایر روشهای نمایش ترکیب شوند.