البيان المعهدي
البيان المعهدي 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.
