[ru] cs-221-logic-models #217
Closed
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
tensorush
suggested changes
Feb 16, 2021
|
|
||
| **1. Logic-based models with propositional and first-order logic** | ||
|
|
||
| ⟶ Модели логик с логикой высказываний и логикой первого порядка |
There was a problem hiding this comment.
Похоже, что здесь описаны различные логики.
|
|
||
| **44. [Resolution-based inference ― The resolution-based inference algorithm follows the following steps:, Step 1: Convert all formulas into CNF, Step 2: Repeatedly apply resolution rule, Step 3: Return unsatisfiable if and only if False, is derived]** | ||
|
|
||
| ⟶ [Вывод на основе разрешения ― Алгоритм вывода на основе разрешении. Включает следующие шаги:, Шаг 1: Преобразовать все формулы в CNF, Шаг 2. Повторно применить правило разрешения, Шаг 3: Вернуть неудовлетворительно; если и только если False, выводится] |
There was a problem hiding this comment.
Да! Уберём запятую. Никто не обещал простоты пасинга массивов. Я специально программу писал для проверки длины таких массивов. Для вас могу что угодно в веб версии поравить.
Co-authored-by: Georgy Trush <[email protected]>
|
|
||
| **44. [Resolution-based inference ― The resolution-based inference algorithm follows the following steps:, Step 1: Convert all formulas into CNF, Step 2: Repeatedly apply resolution rule, Step 3: Return unsatisfiable if and only if False, is derived]** | ||
|
|
||
| ⟶ [Вывод на основе разрешения ― Алгоритм вывода на основе разрешении. Включает следующие шаги:, Шаг 1: Преобразовать все формулы в CNF, Шаг 2. Повторно применить правило разрешения, Шаг 3: Вернуть неудовлетворительно; если и только если False, выводится] |
There was a problem hiding this comment.
Да! Уберём запятую. Никто не обещал простоты пасинга массивов. Я специально программу писал для проверки длины таких массивов. Для вас могу что угодно в веб версии поравить.
Co-authored-by: Georgy Trush <[email protected]>
Co-authored-by: Georgy Trush <[email protected]>
Co-authored-by: Georgy Trush <[email protected]>
Co-authored-by: Georgy Trush <[email protected]>
Co-authored-by: Georgy Trush <[email protected]>
Co-authored-by: Georgy Trush <[email protected]>
Co-authored-by: Georgy Trush <[email protected]>
|
|
||
| **1. Logic-based models with propositional and first-order logic** | ||
|
|
||
| ⟶ Модели логик с логикой высказываний и логикой первого порядка |
There was a problem hiding this comment.
Похоже, что здесь описаны различные логики.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
web format: Logic-based models