What is the translation of " STABLE MODEL " in Ukrainian?

• стійких моделей
• стійку модель
• стабільної моделі
• стійкої моделі
• стійка модель

Examples of using Stable model in English and their translations into Ukrainian

Generating stable models.
Створення стійких моделей.

The stable model semantics is the basis of answer set programming.
Семантики стійких моделей є основою програмування наборами відповідей.

Option 0 instructs smodels to find all stable models of the program.
Параметр 0 вказує smodels знайти всі стійкі моделі програми.

It is based on the stable model(answer set) semantics of logic programming.
Він заснований на стійкій моделі(наборі) семантики логічного програмування.

Default logic Logic programming Non-monotonic logic Prolog Stable model semantics.
Логіка програмування Пролог Стабільна модель семантики.

The meaning of this rule under the stable model semantics is represented by the propositional formula.
Сенс цього правила в рамках стійкої моделі семантики є пропозиційною формулою.

The discovery of these relationships was a key step towards the invention of the stable model semantics.
Відкриття цих зв'язків стало ключовим кроком до винаходження семантик стійких моделей.

To find a stable model of the Lparse program stored in file${filename} we use the command.
Щоб знайти стійку модель Lparse програми, що зберігається у файлі${filename} ми використовуємо команду.

(Since the reduct does not contain negation, its stable model has been already defined.).
(Оскільки збіднення не містить заперечення, його стійку модель вже було визначено.).

The stable model semantics uses the same idea, but it does not explicitly refer to default logic.
Семантика стійких моделей використовує таку ж ідею, але не посилається явно на логіку замовчувань.

NP-completeness: Testing whether a finite ground logic program has a stable model is NP-complete.
NP-повнота: Перевірка того, чи має скінченна замкнена логічна програма стійку модель, є NP-повною.

Her idea is to create a scheme or a stable model of information exchange between man and society.
ЇЇ ідея полягає у створенні схеми, або стабільної моделі обміну інформації між людиною і суспільством.

Any stable model of a finite ground program is not only a model of the program itself, but also a model of its completion.
Будь-яка стійка модель скінченної замкненої програми є моделлю не лише самої програми, а й її повної програми.

Changinf Table from Woodman is a convenient and stable model, which is made of quality wood and meets high standards of quality and safety.
Столик для сповивання Woodman- це зручна та стійка модель, що виготовлена з якісної деревини та відповідає високим стандартам якості і безпеки.

If an atom is true in the well-founded model of P{\displaystyle P} then it belongs to every stable model of P{\displaystyle P}.
Якщо атом є істинним у добре обґрунтованій моделі програми P{\displaystyle P}, то він належить до кожної стійкої моделі P{\displaystyle P}.

The properties of the stable model semantics stated above for traditional programs hold in the presence of constraints as well.
Зазначені вище властивості семантики стійких моделей для традиційних програм мають місце також і в присутності обмежень.

As an alternative to the completion semantics, negation as failure can also be interpreted epistemically, as in the stable model semantics of answer set programming.
В якості альтернативи семантики завершення, заперечення як невдача може інтерпретуватися епістемічно, як і в моделі стабільних семантик[en] та у відповідь множин програмування.

As the term"stable model" suggests, every stable model of P{\displaystyle P} is a model of P{\displaystyle P}.
Як підказує термін«стійка модель», кожна стійка модель P{\displaystyle P} є моделлю P{\displaystyle P}.

If such a program P{\displaystyle P} is consistent then P{\displaystyle P} has a unique minimal model, and that model is considered the only stable model of P{\displaystyle P}.
Якщо така програма є узгодженою, то P{\displaystyle P} має унікальну мінімальну модель, і ця модель розглядається як єдина стійка модель P{\displaystyle P}.

Thus after computing the stable model of the reduct we arrived at the same set{ p, s}{\displaystyle\{p, s\}} that we started with.
Таким чином, після обчислення стійкої моделі збіднення ми повернулися до того ж самого набору{ p, s}{\displaystyle\{p, s\}}, з якого й починали.

The DLV(DataLog with Disjunction, where the logical disjunction symbol V is used) system is a disjunctive logic programming system, implementing the stable model semantics under the Answer set programming paradigm.
DLV-система(від англ. DataLog with Disjunction, де використовується символ диз'юнкції V) є диз'юнктивною системою логічного програмування, яка реалізує семантику стійких моделей з використанням парадигми програмування наборами відповідей.

Instead of stable models, this generalization uses answer sets, which may include both atoms and atoms prefixed with strong negation.
Замість стійких моделей це узагальнення використовує набори відповідей(англ. answer sets), які можуть включати як атоми, так і атоми з префіксом сильного заперечення.

Testing whether a finite set of propositional formulas has a stable model is Σ 2 P{\displaystyle\Sigma_{2}^{\rm{P}}}-complete, as in the case of disjunctive programs.
Перевірка того, чи має скінченний набір предикатів стійку модель, є Σ 2 P{\displaystyle\Sigma_{2}^{\rm{P}}}-повною, як і в випадку диз'юнктивних програм.

To extend the stable model semantics to disjunctive programs, we first define that in the absence of negation( n= 0{\displaystyle n=0} in each rule) the stable models of a program are its minimal models..
Для розширення семантики стійких моделей на диз'юнктивні програми ми спершу визначаємо, що за відсутності заперечення( n= 0{\displaystyle n=0} у кожному з правил) стійкими моделями програми є її мінімальні моделі..

If P{\displaystyle P} does not contain negation( n= 0{\displaystyle n=0} in every rule of the program) then, by definition, the only stable model of P{\displaystyle P} is its model that is minimal relative to set inclusion.
Якщо P{\displaystyle P} не містить заперечення( n= 0{\displaystyle n=0} у кожному з правил програми), тоді, за визначенням, єдиною стійкою моделлю P{\displaystyle P} є його модель, яка є мінімальною відносно включення правил.

The definition of a stable model was generalized to programs with choice rules.[11] Choice rules can be treated also as abbreviations for propositional formulas under the stable model semantics.[12] For instance, the choice rule above can be viewed as shorthand for the conjunction of three"excluded middle" formulas.
Визначення стабільних модель було узагальнено до програм з вибором правил.[11] Вибір правил може розглядатися також як абревіатури для пропозициональных формул при стабільній моделі семантики.[12] Наприклад, правило вибір вище можна розглядати як скорочення для сукупності трьох формул"виключеного третього".

The use of answer set solvers for search was identified as a new programming paradigm by Marek and Truszczyński in a paper that appeared in a 25-year perspective on the logic programming paradigm published in 1999[6] and in[Niemelä 1999].[7] Indeed, the new terminology of"answer set" instead of"stable model" was first proposed by Lifschitz[8] in a paper appearing in the same retrospective volume as the Marek-Truszczynski paper.
Використання наборів вирішувачів для пошуку був визначений в якості нової парадигми програмування Marek і Truszczyński в документі, який з'явився в 25-річній перспективі на парадигми логічного програмування, опублікованій в 1999 році[6] і в[Niemelä 1999].[7] Дійсно, в новій термінології"набір відповідей" замість"стабільної моделі" був вперше запропонована Ліфшиц[8] В статті, опублікованій в тій же ретроспективі те, як Марек-Truszczynski папери.

We have seen that{ p, s}{\displaystyle\{p, s\}} is also a stable model of the same formula, written in logic programming notation, in the sense of the original definition.
Ми побачили, що{ p, s}{\displaystyle\{p, s\}} є також стійкою моделлю тієї ж формули, записаної записом логічного програмування, в сенсі первинного визначення.

From this point of view, logic programs with exactly one stable model are rather special in answer set programming, like polynomials with exactly one root in algebra.
З цієї точки зору логічні програми з рівно однією стійкою моделлю в програмуванні наборами відповідей є радше особливими, як многочлени з рівно одним коренем в алгебрі.

Head atoms: If an atom A{\displaystyle A} belongs to a stable model of a logic program P{\displaystyle P} then A{\displaystyle A} is the head of one of the rules of P{\displaystyle P}.
Атоми голів(англ. head atoms): Якщо атом A{\displaystyle A} належить до стійкої моделі логічної програми P{\displaystyle P}, то A{\displaystyle A} є головою одного з правил P{\displaystyle P}.