Опубликованный пакет / CLIR
logic.core
v0.1.0Общий словарь логических понятий: система, язык, исчисление, правило, метод, шаг, условие, обоснование
Пакет можно напечатать самостоятельным модулем на языке общего назначения, который отвечает без движка правил: ответ и статус, без доказательства, хэшей и канонического документа. Всё на этой странице взято из плана кодогенерации, построенного вместе с индексом; витрина ничего не вычисляет сама.
План кодогенерации
План строится: пакет печатается модулем.
- формат плана
- law-backend-plan/0.9
- возможности
- aggregate, status:monotone
Сверка сценариями пакета
Не сверено: сценарии пакета на порождённых модулях не исполнялись. Построенный план ещё не показывает, что ответы совпадают.
Целевые языки
gopyts
отвергают этот план · 13
bslверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)csверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)dartверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)erlверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)exверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)javaверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)ktверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)luaверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)phpверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)rbверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)rsверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)scalaверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)swiftверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)
./law dev backend corpus/clir/logic-core.lawir.json --target ts --target py --target go --out DIR
Интерфейс модуля
Вопросы — публичные отношения с производящим правилом; входы — факты, которые вопрос читает. Имена функций следуют языку: ask_… в Python, ask.… в TypeScript, Ask… в Go.
Вопросы · 33
| Имя | Параметры | Смысл | Читает | Источники |
|---|---|---|---|---|
| accepts_principle | text, text | система принимает принцип | attitude_to_principle | section/10 |
| agrees_here | text, text, text | две системы согласны в принципе: обе его принимают | attitude_to_principle | section/1 |
| answer_condition | text, text, text, text | ответ на «при каких условиях?»: условие вместе с его формулировкой | requires_conditionterm_name | section/13 |
| answer_difference | text, text, text, text | ответ на «чем отличается?»: НАЗВАННЫЙ принцип и то, чем различие установлено — выводом из двух отношений либо прямым утверждением источника | attitude_to_principlediffers_by_principle | section/1 |
| answer_grade | text, text, enum | чем является предъявленное сведение: заданным определением, утверждением источника либо вычислением движка | knowledge_grade | section/19 |
| answer_language | text, text | в каком формальном языке работает система либо исчисление | calculus_languagesystem_language | section/2 |
| answer_limit | text, text, text | граница метода: чего он не даёт; часть ответа «как применять», а не примечание к нему | method_limit | section/12 |
| answer_method_system | text, text | для какой системы описан метод | method_in_system | section/12 |
| answer_part | text, dec, text, text | ответ на «из чего состоит?»: часть под номером и род связи, которой она является частью | contains_stephas_conclusionhas_premiseschema_child | section/12section/7section/4 |
| answer_result_form | text, text | ожидаемая форма результата метода | method_result_form | section/12 |
| answer_source | text, text, text | ответ на «какой источник?»: локатор фрагмента и объект, через который до него дошли (сам объект либо достижимый из него) | contains_stepdefined_viadischarges_assumptionhas_conclusionhas_premisemethod_goalrepresents_systemrequires_conditionrule_of_calculusschema_childschema_slot_refstated_bystep_dischargesstep_needs_principlestep_opens_contextstep_uses_conceptstep_uses_ruleuses | section/15section/18 |
| answer_step | text, dec, text, text, text | ответ на «как применять?»: шаг под номером вместе с его читаемой формулировкой | contains_stepterm_name | section/12 |
| answer_step_dependency | text, text, text | зависимость шагов внутри одного метода: какой шаг опирается на какой | contains_stepstep_depends_on | section/12 |
| answer_use_ground | text, text | на какое предыдущее применение опирается предъявленное применение правила | use_ground | section/9 |
| answer_used_in | text, text, enum | ответ на «где используется?»: исчисления, которым правило принадлежит, и в каком статусе | rule_of_calculus | section/11 |
| answer_what_is | text, text, text, text | ответ на «что это?»: имя и короткое пояснение на одном языке | glossterm_name | section/17 |
| attitude_unrecorded | text, text | настоящее описание не установило отношения системы к принципу — и говорит это прямо | attitude_to_principle | section/10 |
| differs_here | text, text, text | две системы различаются принципом: одна его принимает, другая отвергает | attitude_to_principle | section/1 |
| explains | text, text | один шаг раскрытия: чем объясняется объект — любой из различных связей словаря | contains_stepdefined_viadischarges_assumptionhas_conclusionhas_premisemethod_goalrepresents_systemrequires_conditionrule_of_calculusschema_childschema_slot_refstep_dischargesstep_needs_principlestep_opens_contextstep_uses_conceptstep_uses_ruleuses | section/18 |
| foreign_variable | text, text | схемная переменная НЕ принадлежит названному владельцу: её область действия — другой объект | item_keyslot_scope | section/5 |
| grounded_in_source | text | объяснение объекта доходит до закреплённого фрагмента источника | contains_stepdefined_viadischarges_assumptionhas_conclusionhas_premisemethod_goalrepresents_systemrequires_conditionrule_of_calculusschema_childschema_slot_refstated_bystep_dischargesstep_needs_principlestep_opens_contextstep_uses_conceptstep_uses_ruleuses | section/18 |
| has_provenance | text | у объекта есть хотя бы одна ссылка на закреплённый фрагмент источника | stated_by | section/18 |
| instruction_available | text | у правила есть показываемая инструкция: названы хотя бы одна посылка и заключение | has_conclusionhas_premise | section/8 |
| own_variable | text, text | схемная переменная принадлежит названному владельцу | slot_scope | section/5 |
| reach_count | text, dec | сколько объектов достижимо раскрытием: свидетельство того, что обход завершился | contains_stepdefined_viadischarges_assumptionhas_conclusionhas_premiseitem_keymethod_goalrepresents_systemrequires_conditionrule_of_calculusschema_childschema_slot_refstep_dischargesstep_needs_principlestep_opens_contextstep_uses_conceptstep_uses_ruleuses | section/18 |
| reaches | text, text | объект достижим раскрытием: транзитивное замыкание шага объяснения | contains_stepdefined_viadischarges_assumptionhas_conclusionhas_premisemethod_goalrepresents_systemrequires_conditionrule_of_calculusschema_childschema_slot_refstep_dischargesstep_needs_principlestep_opens_contextstep_uses_conceptstep_uses_ruleuses | section/18 |
| rejects_principle | text, text | система отвергает принцип: принцип в ней не общезначим и не доказуем | attitude_to_principle | section/10 |
| rule_applied_in | text, text | правило действительно применено в предъявленном ходе рассуждения | presented_stepuse_of_rule | section/16 |
| schema_arity | text, dec | число непосредственных частей схемы | schema_childschema_shape | section/4 |
| schema_variable | text, text | схемная переменная встречается в схеме | schema_childschema_slot_ref | section/5 |
| shown_conclusion | text, text | заключение, ПРЕДЪЯВЛЕННОЕ ходом рассуждения; описание правила такого заключения не даёт | presented_stepuse_conclusion | section/16 |
| source_claim | text, text | утверждение источника об объекте с названным локатором | knowledge_gradestated_by | section/19 |
| step_ground | text, text | основание шага любого из трёх родов: правило, понятие либо принцип | step_needs_principlestep_uses_conceptstep_uses_rule | section/15 |
Входы · 36
| Имя | Параметры | Смысл |
|---|---|---|
| attitude_to_principle | text, text, enum | отношение системы к принципу: принят, отвергнут либо настоящим описанием не установлен |
| calculus_language | text, text | исчисление работает в этом формальном языке |
| contains_step | text, dec, text | метод содержит шаг указанного номера |
| defined_via | text, text | объект определяется через другой объект |
| differs_by_principle | text, text, text | две системы отличаются отношением к названному принципу |
| discharges_assumption | text, text | правило снимает допущение указанной формы |
| gloss | text, text, text | короткое пояснение объекта на указанном языке |
| has_conclusion | text, text | заключение правила есть схема |
| has_premise | text, dec, text | правило имеет посылку указанного номера, и посылка есть схема |
| item_key | text, text | машинный ключ объекта: единственная строка, по которой объекты сравниваются на различность |
| knowledge_grade | text, text, enum | чем является сведение об объекте: определением, утверждением источника либо вычислением движка |
| method_goal | text, text | цель метода: форма утверждения, которое метод учит обосновывать либо использовать |
| method_in_system | text, text | метод описан для этой логической системы |
| method_limit | text, text, text | граница метода: чего он не даёт и когда неприменим |
| method_result_form | text, text | ожидаемая форма результата метода |
| presented_step | text, dec, text | предъявленный шаг рассуждения под указанным номером: факт дела, а не содержимое пакета |
| represents_system | text, text | исчисление представляет логическую систему |
| requires_condition | text, text | объект требует выполнения условия применения |
| rule_of_calculus | text, text, enum | правило принадлежит исчислению в одном из трёх статусов: основное, производное, допустимое |
| schema_child | text, dec, text | непосредственная часть схемы под указанным номером |
| schema_shape | text, text | форма узла схемы: имя связки, квантора, оператора либо «slot» у листа-переменной |
| schema_slot_ref | text, text | лист схемы формы «slot» занят названной схемной переменной |
| slot_scope | text, text | область действия схемной переменной: правило, принцип либо метод, её объявивший |
| stated_by | text, text | где об объекте сказано: локатор фрагмента закреплённого источника |
| step_depends_on | text, text | шаг метода зависит от результата другого шага |
| step_discharges | text, text | шаг снимает ранее введённое допущение указанной формы |
| step_needs_principle | text, text | шаг требует, чтобы система принимала названный принцип |
| step_opens_context | text, text | шаг открывает подрассуждение с допущением указанной формы |
| step_uses_concept | text, text | шаг обоснован раскрытием определения понятия |
| step_uses_rule | text, text | шаг обоснован правилом исчисления |
| system_language | text, text | система рассматривается в этом формальном языке |
| term_name | text, text, text | читаемое имя объекта на указанном языке |
| use_conclusion | text, text | какое заключение предъявлено в применении правила |
| use_ground | text, text | на какое предыдущее применение опирается это |
| use_of_rule | text, text | какое правило названо в предъявленном применении |
| uses | text, text | объект использует другой объект, не определяясь через него |