Logical path of the rule, English to Ukrainian

Російська трансляція: логічна гілка правила; кон'юнктивний терм ДНФ правила

Local local rule variable retains its value only in the current logical path of the current rule.

Прохід по логічному ланцюжку правила? Щось мені не подобається в цьому. Правило і є логічний ланцюжок. Логічний прохід за правилом – теж якось не те. Не зрозумію як краще сказати

Explanation:У математиці це називається "кон'юнктивний терм".

Умовою правила є висловлювання, побудоване з елементарних висловлювань (рівностей, нерівностей тощо) та логічних операторів AND, OR, NOT: наприклад, "IF a AND (b OR c) THEN x; y; z". Для обчислення його призводять до нормальної диз'юнктивної форми, тобто. представляють у вигляді послідовності альтернатив, з'єднаних операторами OR, кожна з альтернатив містить лише елементарні висловлювання і оператори AND, NOT: у наведеному прикладі "IF (a AND b) OR (a AND c) THEN x; y; z". Ці альтернативи і називаються логікою кон'юнктивними термами. Насправді таке правило можна замінити на кілька правил, в яких умови - отримані терми (логічні гілки), а висновки беруться з вихідного правила.

Сенс логічної гілки у Вашому випадку такий: при зіставленні умови правила з багатьма фактами (справжніми предикатами) уніфікація змінних правила відбувається заново при зіставленні кожного терму. Якщо зіставлення пройшло успішно, виконуються дії правої частини правила за значень змінних правила, знайдених під час зіставлення. Якщо ні, всі отримані значення анулюються та розглядається наступна гілка.

Можна перекласти таким чином приблизно так: "Локальна змінна правила зберігає своє значення тільки під часобчислення поточної логічної гілки поточного правила". Можна замість "логічної гілки" сказати "кон'юнктивного терму", я таке в Мережі бачив. Зрештою, читаючим таку літературу корисно знати математичну логіку хоча б у такому обсязі

Цікаво, що в новій версії дизайну цієї сторінки моя відповідь виглядає зовсім не так, як у старій (повторюються деякі фрагменти тексту). :)

as a (general) rule por regla general; en general; normalmente Se me опублікує esto, no se.But just guessing

тільки по правильно-встановленому шляху цього правила

Explanation:дуга логічного графа правила

Логічна схема графа є прямий граф в яких символи, що становлять індивідуальні керів і ступінь, визначаються логічними кроками через керування основою. . citeseer.nj.nec.com/context/527238/0

По суті, робота експертної системи означає "подорож" цим орграфом. Така подорож складається з послідовності однотипних кроків, на кожному з яких користувач повинен вирішити, якою дугою він піде з чергової вершини.

Визнаючи реляційний підхід, ми маємо тепер описати цей орграф відповідними таблицями. Зробити це неважко: кожну дугу ми опишемо номером її початку та номером її кінця. Крім того, оскільки дуги в орграфа позначені, ми зробимо в таблиці не два стовпці - початкова і кінцева вершини дуги, - а три, додавши стовпець "Відповідь користувача". Назвемо цю таблицю "Ребра".

Explanation:Я розумію що мова йде про SQL але поняття таке широке англійською мовою.

Запит також може вказувати на ресурси, необхідні для виконання цього запиту. Даний параметр містить шлях у тому вигляді, який був отриманий сервером без мепування на фізичний шлях на диску.

Якщо запит містить інформацію про логічний шлях, сервер перетворює його до фізичного шляху (наприклад, шляху до файлу на диску) досупа згасає синтаксичним правилам операційної системи.

Якщо запит містить інформацію про логічний шлях, сервер перетворює його на фізичний шлях (наприклад, шлях до файлу на диску) доступу згідно з синтаксичними правилами операційної системи.

Explanation:У математиці це називається "кон'юнктивний терм".

Сенс логічної гілки у Вашому випадку такий: при зіставленні умови правила з багатьма фактами (справжніми предикатами) уніфікація змінних правила відбувається заново при зіставленні кожного терму. Якщо зіставлення пройшло успішно, виконуються дії правої частини правила за значень змінних правила, знайдених під час зіставлення. Якщо ні, то всеотримані значення анулюються та розглядається наступна гілка.

Можна перекласти, таким чином, приблизно таке: "Локальна змінна правила зберігає своє значення тільки під час обчислення поточної логічної гілки поточного правила". Можна замість "логічної гілки" сказати "кон'юнктивного терму", я таке в Мережі бачив. Зрештою, тим, хто читає таку літературу, корисно знати математичну логіку хоча б у такому обсязі :)