Branch 2.5 · فرع
المنطق والتمثيل المعرفي والاستدلال
Logic, Knowledge Representation and Reasoning
البابالأسس النظرية والعلمية
الرمز2.5
المداخل0
§ 2.5.1
النطاق
Scopeيضم المنطق وتمثيل المعرفة والاستدلال: منطق القضايا والمحمولات، والمنطق الوصفي، وقواعد الاستدلال، وإثبات النظريات، وأنظمة التمثيل الدلالي. ولا يدخل هنا المدرسة الرمزية بوصفها مقاربة فموطنها الفرع 3.1، ولا الرسوم البيانية المعرفية والأنطولوجيات الهندسية فموطنها الفرع 6.2، ولا الاستدلال وقت التنفيذ فموطنه الفرع 4.12.
§ 2.5.2
المداخل
Entriesلا مداخل بعد في هذا الفرع.
§ 2.5.3