ورقة المصطلحات ثنائية اللغة
Knowledge-Based Agents • English ↔ Arabic
SE444: Artificial Intelligence - Lecture 7Purpose: This comprehensive bilingual reference covers all essential terminology from the Knowledge-Based Agents and Logical Agents topics. Each term includes:
الغرض: هذا المرجع الشامل ثنائي اللغة يغطي جميع المصطلحات الأساسية من موضوعات الوكلاء القائمين على المعرفة والوكلاء المنطقيين. كل مصطلح يتضمن:
| English Term | Arabic Translation | Explanation (English) | الشرح بالعربية |
|---|---|---|---|
| Agent | الوكيل | An entity that perceives its environment and acts upon it. | كيان يستقبل المدركات من بيئته ويتخذ إجراءات بناءً عليها. |
| Environment | البيئة | The external world with which the agent interacts. | العالم الخارجي الذي يتفاعل معه الوكيل. |
| Percept | المُدرَك | Information received by the agent's sensors at a given time. | المعلومات التي يستقبلها الوكيل من بيئته عبر الحواس. |
| Percept Sequence | تسلسل المدركات | The complete history of everything the agent has perceived so far. | جميع المدركات التي استقبلها الوكيل منذ البداية حتى الآن. |
| Action | الإجراء | Something the agent can do to change the environment. | أي فعل يقوم به الوكيل لتغيير البيئة. |
| Actuator | المُنفِّذ | The mechanism by which the agent performs actions. | الجزء المسؤول عن تنفيذ الأفعال في الوكيل. |
| Performance Measure | مقياس الأداء | A criterion to evaluate the success of an agent's behavior. | معيار يُستخدم لتقييم مدى نجاح تصرفات الوكيل. |
| Rational Agent | الوكيل العقلاني | An agent that acts to maximize its expected performance measure. | وكيل يتصرف بطريقة تزيد من أدائه المتوقع بناءً على معرفته. |
| Knowledge-Based Agent (KBA) | الوكيل القائم على المعرفة | An agent that uses stored knowledge and reasoning to make decisions. | وكيل يعتمد على قاعدة معرفة واستدلال منطقي لاتخاذ القرارات. |
| Knowledge Base (KB) | قاعدة المعرفة | A set of sentences representing facts and rules about the world. | مجموعة من الجمل التي تمثل حقائق وقواعد عن العالم. |
| Sentence | الجملة المنطقية | A statement that can be either true or false. | عبارة منطقية يمكن أن تكون صحيحة أو خاطئة. |
| Knowledge Representation | تمثيل المعرفة | The formal way to encode knowledge in the agent's memory. | الطريقة الرسمية لتمثيل المعرفة داخل الوكيل. |
| English Term | Arabic Translation | Explanation (English) | الشرح بالعربية |
|---|---|---|---|
| Tell Operation | عملية الإضافة (أخبر) | Adding new facts or percepts to the KB. | إضافة حقائق جديدة إلى قاعدة المعرفة. |
| Ask Operation | عملية الاستعلام (اسأل) | Querying the KB to derive conclusions or choose actions. | استعلام قاعدة المعرفة للحصول على استنتاجات أو قرارات. |
| Inference | الاستدلال | The process of deriving new knowledge from existing facts. | عملية استنتاج معرفة جديدة من حقائق موجودة. |
| Inference Engine | محرك الاستدلال | The system that applies inference rules to derive new facts from the KB. | الجزء الذي يطبّق قواعد الاستدلال لاستخراج معلومات جديدة من قاعدة المعرفة. |
| English Term | Arabic Translation | Explanation (English) | الشرح بالعربية |
|---|---|---|---|
| Entailment (⊨) | الاستلزام | A sentence logically follows from another if it must be true whenever the other is true. | جملة تكون صحيحة بالضرورة عندما تكون الجملة الأخرى صحيحة. |
| Model | النموذج / العالم الممكن | A possible world that describes which sentences are true or false. | وصف كامل للعالم يحدد الجمل الصحيحة والخاطئة. |
| Possible World | العالم الممكن | One configuration of truth values for all propositions. | حالة واحدة ممكنة من قيم الصدق لجميع الجمل. |
| Entailment by Models | الاستلزام عبر النماذج | A relationship that holds when all models of KB also make α true. | علاقة تتحقق عندما تكون الجملة α صحيحة في كل النماذج التي تكون فيها KB صحيحة. |
| Soundness | سلامة النظام | All derived conclusions are logically true (no false inferences). | كل الاستنتاجات الناتجة صحيحة منطقياً (لا أخطاء في الاستدلال). |
| Completeness | الكمال | The ability to derive all true statements that logically follow from KB. | قدرة النظام على استنتاج جميع الجمل الصحيحة التي تستلزمها قاعدة المعرفة. |
| Monotonicity | خاصية الرتابة | Adding new knowledge never invalidates previous conclusions. | إضافة معرفة جديدة لا تُلغي استنتاجات سابقة. |
| Logical Reasoning | التفكير المنطقي | Drawing valid conclusions based on formal logic rules. | استخلاص استنتاجات صحيحة بناءً على قواعد منطقية. |
| Propositional Logic | المنطق القضوي | A logical system dealing with propositions that are either true or false, using connectives (¬, ∧, ∨, →, ↔) but no quantifiers or variables. | نظام منطقي يتعامل مع القضايا التي تكون إما صحيحة أو خاطئة، باستخدام الروابط (¬، ∧، ∨، →، ↔) دون استخدام الكميات أو المتغيرات. |
| First-Order Logic (FOL) | منطق الدرجة الأولى | A more expressive logical system that extends propositional logic with quantifiers (∀, ∃), variables, predicates, and functions to reason about objects and their relationships. | نظام منطقي أكثر تعبيراً يوسّع المنطق القضوي بإضافة الكميات (∀، ∃) والمتغيرات والمحمولات والدوال للاستدلال على الأشياء وعلاقاتها. |
| Formal Language | اللغة الرسمية | A precise symbolic system for representing knowledge and reasoning. | نظام رمزي دقيق لتمثيل المعرفة والاستدلال. |
| Syntax | البنية أو الصياغة | The structure or grammar that defines valid sentences. | القواعد الشكلية التي تحدد كيفية تكوين الجمل الصحيحة. |
| Semantics | الدلالة | The meaning — what each sentence says about the world. | المعنى أو ما تعنيه الجمل بالنسبة للعالم. |
| Atomic Sentence | الجملة الذرية | A simple, indivisible logical statement (no connectives). | جملة بسيطة لا تحتوي على روابط منطقية. |
| Complex Sentence | الجملة المركبة | A logical sentence built from atomic sentences and connectives. | جملة مكونة من جمل ذرية وروابط منطقية. |
| Connective | الرابط المنطقي | Operators that combine or modify logical sentences (¬, ∧, ∨, →). | رموز تُستخدم لربط أو تعديل الجمل المنطقية مثل (¬، ∧، ∨، →). |
| Proposition | القضية أو العبارة | A statement that expresses a fact or condition, true or false. | عبارة تُعبّر عن حقيقة أو حالة يمكن أن تكون صحيحة أو خاطئة. |
| Logical Consequence | النتيجة المنطقية | A statement that necessarily follows from premises. | نتيجة يجب أن تكون صحيحة إذا كانت المقدمات صحيحة. |
| Rule | القاعدة | A conditional statement expressing relationships between facts. | عبارة شرطية تُعبّر عن علاقة بين الحقائق. |
| Fact | الحقيقة | A statement that represents a true condition about the world. | جملة تمثل حقيقة عن العالم. |
| Axiom | البديهية / المسلّمة | A fundamental statement or principle accepted as true without proof; forms the foundation of a logical system. | عبارة أساسية تُقبل على أنها صحيحة دون إثبات؛ تشكّل أساس النظام المنطقي. |
| Premise | المقدّمة | A statement assumed to be true and used as the basis for reasoning or argument to derive a conclusion. | عبارة تُفترض أنها صحيحة وتُستخدم كأساس للاستدلال أو الحجة للوصول إلى نتيجة. |
| Inference Rule | قاعدة الاستدلال | A logical pattern or procedure that allows deriving new sentences from existing ones (e.g., Modus Ponens, Resolution). | نمط أو إجراء منطقي يسمح باشتقاق جمل جديدة من جمل موجودة (مثل: القياس المثبت، الحل). |
| English Term | Arabic Translation | Explanation (English) | الشرح بالعربية |
|---|---|---|---|
| Rule-Based System | النظام القائم على القواعد | A reasoning system that applies rules to derive conclusions. | نظام يستخدم قواعد منطقية لاستخلاص النتائج. |
| Knowledge Level | مستوى المعرفة | Describes what the agent knows, regardless of implementation. | يصف ما يعرفه الوكيل دون النظر إلى طريقة التنفيذ. |
| Implementation Level | مستوى التنفيذ | How knowledge and inference are represented internally (data structures, algorithms). | كيفية تمثيل المعرفة والاستدلال داخل النظام من حيث البنية والخوارزميات. |
| Declarative Approach | المنهج التصريحي | Describing what is true instead of how to achieve it. | أسلوب يعتمد على وصف الحقائق بدلاً من كيفية تنفيذها. |
| Procedural Approach | المنهج الإجرائي | Encoding knowledge as procedures or rules to execute. | تمثيل المعرفة على شكل إجراءات أو خطوات تنفيذية. |
| Forward Chaining | الاستدلال التقدّمي | Data-driven reasoning — start from known facts and derive new ones. | استدلال يبدأ من الحقائق المعروفة لاستخلاص حقائق جديدة. |
| Backward Chaining | الاستدلال العكسي | Goal-driven reasoning — start from a goal and find supporting facts. | استدلال يبدأ من الهدف ويبحث عن الحقائق التي تدعمه. |