البيان المعرفي
البيان المعرفي Conceptual Graph هو بيان منته ومرتبط وثنائي ,العقد هي إما معارف أو علاقات معرفية.
المعرفة تعرف بنمط أو (صف دلالي) وربما بقيمة من النط نفسه.
العلاقة المعرفيةتعرف بنمط فقط وتربط بين معرفتين على الأقل.
وتكون أنماط المعارف مرتبة ضمن هرمية معينة وكذلك العلاقات المعرفية يكون لها هرمية
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
البيانات القانونية الأصغرية والاشتقاق والتعميم
تسمى البيانات المعرفية المعرفة مسبقا و التي لها معنى صحيح بالبيانات القانونية الأصغرية ويمكن أن نشتق منها بيانات قانونية جديدة اعتمادا على تطبيق على عميلة أو أكثر من العمليات المعرفة على البيان المعرفي
العمليات المعرفة على البيان المعرفي
النسخ أي نسخة من بيان قانوني هي بيان قانوني
التخصيص يمكن استبدال أي نمط لمعرفة من بيان بنط أكثر تخصصاً (من هرمية الأنماط) بحيث أن تبقى قيمة المعرفة متوافقة مع النمط الجديد للمعرفة
الضم يمكن ضم أي بيانين معرفين على معرفة مشركة بينهما
الاختصار إذا كان لدينا العلاقة المعرفية نفسها مكررة بين معرفيتين فمن الممكن حذف أحدهما.
واعتمادا على العمليات السابقة ممكن اشتقاق بيان من آخر حيث يعني الرمز u<=v أي البيان u مشتق من البيان v وذلك بتطبيق عملية أو أكثر من العلميات السابقة على البيان v وعندها نقول أن v هو تعميم لـ u أو u هو تخصيص لـ v وبناء على ذلك نستطيع القول أن البيانات القانونية الأصغرية هي البيانات الأكثر تعميماً في القاعدة ومنها يتم اشتقاق جميع بيانات القاعدة.
A graphical interface for first-order logic
In this approach, a formula in first-order logic (predicate calculus) is represented by a labeled graph.
A linear notation, called the Conceptual Graph Interchange Format (CGIF), has been standardized in the ISO standard for common logic.
The diagram on the right is an example of the display form for a conceptual graph. Each box is called a concept node, and each oval is called a relation node. In CGIF, this CG would be represented by the following statement:
[Cat Elsie] [Sitting *x] [Mat *y] (agent ?x Elsie) (location ?x ?y)
In CGIF, brackets enclose the information inside the concept nodes, and parentheses enclose the information inside the relation nodes. The letters x and y, which are called coreference labels, show how the concept and relation nodes are connected. In the Common Logic Interchange Format (CLIF), those letters are mapped to variables, as in the following statement:
(exists ((x Sitting) (y Mat)) (and (Cat Elsie) (agent x Elsie) (location x y)))
As this example shows, the asterisks on the coreference labels *x and *y in CGIF map to existentially quantified variables in CLIF, and the question marks on ?x and ?y map to bound variables in CLIF. A universal quantifier, represented @every*z in CGIF, would be represented forall (z) in CLIF.
Reasoning can be done by translating graphs into logical formulas, then applying a logical inference engine.