Enhance UI with detailed instructions, Russian localization, and examples

app.py

@@ -136,71 +136,232 @@ def run_proof_construction(input_json_str, source_concept, target_concept):
         return f"An error occurred: {e}", ""
 
 
+# --- Example Input Formats ---
+example_verify_json = '''{
+  "text": "Загрязнение воздуха вызывает респираторные заболевания. Загрязнение происходит из-за выбросов заводов.",
+  "vectors": [
+    {
+      "id": "V1",
+      "source": "ЗагрязнениеВоздуха",
+      "target": "РеспираторныеЗаболевания",
+      "type": "Causality",
+      "axis": "relationship",
+      "justification": "Многочисленные эпидемиологические исследования подтверждают эту связь."
+    },
+    {
+      "id": "V2",
+      "source": "ВыбросыЗаводов",
+      "target": "ЗагрязнениеВоздуха",
+      "type": "Causality",
+      "axis": "relationship",
+      "justification": "Промышленные выбросы - один из основных источников загрязняющих веществ."
+    }
+  ]
+}'''
+
+example_proof_json = '''{
+  "vectors": [
+    {
+      "id": "V1",
+      "source": "ВыбросыЗаводов",
+      "target": "ЗагрязнениеВоздуха",
+      "type": "Causality",
+      "axis": "relationship",
+      "justification": "Промышленные выбросы содержат вредные вещества."
+    },
+    {
+      "id": "V2",
+      "source": "ЗагрязнениеВоздуха",
+      "target": "РеспираторныеЗаболевания",
+      "type": "Causality",
+      "axis": "relationship",
+      "justification": "Вредные частицы попадают в дыхательную систему."
+    }
+  ]
+}'''
+
 # --- Gradio Interface Definition ---
 
 with gr.Blocks(theme=gr.themes.Soft()) as demo:
     gr.Markdown(
         """
-        # SFOSR: Semantic Formal Ontology Structure Representation
-        Interact with the SFOSR system to analyze, verify semantic structures,
-        and construct formal proofs based on input vectors.
-        Provide input data in the specified JSON format.
-        [Link to GitHub Repo - Placeholder]
+        # SFOSR: Система Формальной Оценки Смысла и Верификации
+        
+        ## Что это такое?
+        
+        SFOSR (Semantic Formal Ontology Structure Representation) - это система для анализа, верификации и формализации смысловых структур. 
+        Она позволяет представить смысловые связи между концептами в виде векторов, проверить их структурную и логическую валидность, 
+        и автоматически построить доказательства между концептами.
+        
+        ## Для чего это нужно?
+        
+        - **Формализация знаний** - представление утверждений в структурированном виде
+        - **Проверка валидности** - выявление логических ошибок и противоречий
+        - **Построение доказательств** - автоматическое нахождение логических цепочек между концептами
+        - **Оценка достоверности** - выявление слабых мест в структуре аргументации
+        
+        ## Как это работает?
+
+        1. Вы представляете утверждения в виде векторов между концептами (например: "A вызывает B")
+        2. Система анализирует структуру этих векторов и соответствие контрактам
+        3. Система верифицирует векторы, используя базу знаний и правила
+        4. Вы можете построить доказательства между концептами, используя имеющиеся векторы
+        
+        Выберите вкладку ниже, чтобы начать работу:
         """
     )
 
     with gr.Tabs():
-        with gr.TabItem("Analyze & Verify"):
+        with gr.TabItem("Анализ и Верификация"):
+            gr.Markdown(
+                """
+                ### Как пользоваться:
+                
+                1. **Введите JSON** с векторами в поле ниже (см. пример)
+                2. **Нажмите кнопку** "Запустить Анализ и Верификацию"
+                3. **Посмотрите результаты** анализа и верификации справа
+                
+                #### Структура входных данных:
+                - `text`: Контекст (опционально)
+                - `vectors`: Массив векторов, каждый из которых содержит:
+                  - `id`: Уникальный идентификатор вектора
+                  - `source`: Исходный концепт
+                  - `target`: Целевой концепт
+                  - `type`: Тип связи (Causality, Implication, Definition и т.д.)
+                  - `axis`: Ось связи (relationship, logic и т.д.)
+                  - `justification`: Обоснование связи
+                """
+            )
             with gr.Row():
                 with gr.Column(scale=1):
-                    gr.Markdown("### Input Data (JSON)")
+                    gr.Markdown("### Входные данные (JSON)")
                     input_json_av = gr.Textbox(
                         lines=15,
-                        label="SFOSR JSON Input",
-                        info="Paste the JSON containing 'text' (optional) and 'vectors' (required list).",
-                        placeholder='{\n  "text": "Example context...",\n  "vectors": [\n    {\n      "id": "V1",\n      "source": "ConceptA",\n      "target": "ConceptB",\n      "type": "Causality",\n      "axis": "relationship",\n      "justification": "A causes B based on evidence X."\n    }\n    // ... more vectors\n  ],\n "instance_definitions": {\n    "Inst1": {"is_a": "ConceptA", "label": "My Instance"}\n }\n}'
+                        label="SFOSR JSON",
+                        info="Введите JSON с векторами для анализа и верификации",
+                        placeholder='{\n  "text": "Загрязнение воздуха вызывает респираторные заболевания.",\n  "vectors": [\n    {\n      "id": "V1",\n      "source": "ЗагрязнениеВоздуха",\n      "target": "РеспираторныеЗаболевания",\n      "type": "Causality",\n      "axis": "relationship",\n      "justification": "Научные исследования подтверждают эту связь."\n    }\n  ]\n}'
                     )
-                    av_button = gr.Button("Run Analysis & Verification", variant="primary")
+                    av_button = gr.Button("Запустить Анализ и Верификацию", variant="primary")
                 with gr.Column(scale=1):
-                    gr.Markdown("### Analysis Summary")
+                    gr.Markdown("### Результаты Анализа")
                     analysis_output = gr.Markdown()
-                    gr.Markdown("### Verification Summary")
+                    gr.Markdown("### Результаты Верификации")
                     verification_output = gr.Markdown()
-                    gr.Markdown("### Vector Verification Details")
-                    vector_details_output = gr.JSON(label="Vector Details")
-                    gr.Markdown("### Concept Graph (Placeholder)")
-                    graph_placeholder_output = gr.Textbox(label="Graph Info") # Placeholder
-
-            # Add examples later using gr.Examples
-            # gr.Examples(
-            #     examples=[
-            #         [sample_json_1],
-            #         [sample_json_2]
-            #      ],
-            #     inputs=input_json_av
-            # )
-
-        with gr.TabItem("Construct Proof"):
+                    gr.Markdown("### Детали Проверки Векторов")
+                    vector_details_output = gr.JSON(label="Детали по Векторам")
+                    gr.Markdown("### Граф Концептов")
+                    graph_placeholder_output = gr.Textbox(label="Информация о Графе")
+
+            gr.Examples(
+                examples=[
+                    [example_verify_json]
+                ],
+                inputs=input_json_av,
+                label="Примеры входных данных"
+            )
+
+        with gr.TabItem("Построение Доказательств"):
+            gr.Markdown(
+                """
+                ### Как пользоваться:
+                
+                1. **Введите JSON** с векторами-посылками (см. пример)
+                2. **Укажите исходный концепт** (от которого начинается доказательство)
+                3. **Укажите целевой концепт** (к которому нужно построить доказательство)
+                4. **Нажмите кнопку** "Найти Доказательство"
+                5. **Посмотрите результат** справа - система попытается найти цепочку рассуждений
+                
+                #### Что такое дока��ательство?
+                Доказательство - это цепочка логических шагов, которая показывает, как от исходного концепта можно
+                прийти к целевому, используя имеющиеся векторы и правила вывода. Например, если у вас есть
+                векторы "A вызывает B" и "B вызывает C", система может вывести "A вызывает C".
+                """
+            )
             with gr.Row():
                 with gr.Column(scale=1):
-                    gr.Markdown("### Input Data & Query (JSON)")
+                    gr.Markdown("### Входные Данные и Запрос")
                     input_json_p = gr.Textbox(
                         lines=10,
-                        label="SFOSR JSON Context",
-                        info="Paste the JSON containing 'vectors' to be used as premises.",
-                         placeholder='{\n  "vectors": [\n    {\n      "id": "V1", "source": "A", "target": "B", "type": "Implication", "axis": "logic", "is_valid": true \n    },\n    {\n      "id": "V2", "source": "B", "target": "C", "type": "Implication", "axis": "logic", "is_valid": true \n    }\n  ]\n}'
+                        label="SFOSR JSON с Векторами",
+                        info="Введите JSON с векторами, которые будут использованы как посылки для доказательства",
+                        placeholder='{\n  "vectors": [\n    {\n      "id": "V1", "source": "ВыбросыЗаводов", "target": "ЗагрязнениеВоздуха", "type": "Causality", "axis": "relationship" \n    },\n    {\n      "id": "V2", "source": "ЗагрязнениеВоздуха", "target": "РеспираторныеЗаболевания", "type": "Causality", "axis": "relationship" \n    }\n  ]\n}'
+                    )
+                    source_concept_input = gr.Textbox(
+                        label="Исходный Концепт", 
+                        info="Введите имя концепта, от которого начинается доказательство",
+                        placeholder="ВыбросыЗаводов"
                     )
-                    source_concept_input = gr.Textbox(label="Source Concept", info="The starting concept for the proof.")
-                    target_concept_input = gr.Textbox(label="Target Concept", info="The concept to prove reachability for.")
-                    p_button = gr.Button("Find Proof", variant="primary")
+                    target_concept_input = gr.Textbox(
+                        label="Целевой Концепт", 
+                        info="Введите имя концепта, к которому нужно построить доказательство",
+                        placeholder="РеспираторныеЗаболевания"
+                    )
+                    p_button = gr.Button("Найти Доказательство", variant="primary")
                 with gr.Column(scale=1):
-                     gr.Markdown("### Proof Result")
+                     gr.Markdown("### Статус Доказательства")
                      proof_status_output = gr.Markdown()
-                     gr.Markdown("### Proof Details / Path")
-                     proof_details_output = gr.JSON(label="Proof Structure")
-
-            # Add examples later using gr.Examples
-
+                     gr.Markdown("### Детали Доказательства / Путь")
+                     proof_details_output = gr.JSON(label="Структура Доказательства")
+
+            gr.Examples(
+                examples=[
+                    [example_proof_json, "ВыбросыЗаводов", "РеспираторныеЗаболевания"]
+                ],
+                inputs=[input_json_p, source_concept_input, target_concept_input],
+                label="Пример построения доказательства"
+            )
+            
+        with gr.TabItem("Справка"):
+            gr.Markdown(
+                """
+                ## Подробная документация по SFOSR
+                
+                ### Типы Векторов
+                
+                SFOSR поддерживает различные типы векторов, каждый из которых представляет определенный вид связи между концептами:
+                
+                - **Causality** - причинно-следственная связь ("A вызывает B")
+                - **Implication** - логическое следование ("Если A, то B")
+                - **Definition** - определение ("A определяется как B")
+                - **PartOf** - отношение ча��ть-целое ("A является частью B")
+                - **IsA** - отношение типа ("A является типом B")
+                - **Action** - действие ("A выполняет действие над B")
+                - **Dependency** - зависимость ("A зависит от B")
+                - **И другие** (см. документацию)
+                
+                ### Оси Векторов
+                
+                Каждый вектор относится к определенной оси, которая указывает на область применения связи:
+                
+                - **relationship** - связь между объектами в реальном мире
+                - **logic** - логическая связь
+                - **classification** - таксономическая связь
+                - **process** - связь в процессе
+                - **И другие** (см. документацию)
+                
+                ### Процесс Верификации
+                
+                Система проводит несколько уровней проверки для каждого вектора:
+                
+                1. **Синтаксическая валидация** - проверка наличия всех необходимых полей
+                2. **Структурная валидация** - проверка соответствия контрактам и правилам
+                3. **Семантическая валидация** - проверка согласованности с базой знаний
+                
+                ### Построение Доказательств
+                
+                Для построения доказательств система использует правила вывода:
+                
+                - **Chain Rule** - "A → B" и "B → C" дает "A → C"
+                - **Causality Transfer** - "A causes B" и "B implies C" дает "A causes C" 
+                - **И другие правила**
+                
+                ### Дополнительные Ресурсы
+                
+                - [GitHub репозиторий](https://github.com/DanielSwift1992/SFOSR) (Скоро доступен)
+                - [Теоретическая база](https://lesswrong.com/) (Скоро доступен)
+                """
+            )
+    
     # --- Event Handlers ---
     if sfosr_instance: # Only wire up buttons if the system initialized
         av_button.click(
@@ -216,7 +377,18 @@ with gr.Blocks(theme=gr.themes.Soft()) as demo:
         )
     else:
          # Display a persistent error if the system couldn't load
-         gr.Markdown("**Error: SFOSR System failed to initialize. Cannot run operations. Check logs.**")
+         gr.Markdown(
+             """
+             ## Ошибка: Система SFOSR не инициализирована
+             
+             Возможные причины:
+             1. Файл базы данных `sfosr.db` не найден
+             2. Проблема с импортом модулей `sfosr_core`
+             3. Ошибка в коде системы
+             
+             Пожалуйста, проверьте логи сервера для получения более подробной информации.
+             """
+         )
 
 
 # --- Launch the App ---