Що таке ЛОГІЧНЕ ПРОГРАМУВАННЯ Англійською - Англійська переклад

• logic programming

Приклади вживання Логічне програмування Українська мовою та їх переклад на Англійською

Логічне програмування з обмеженнями розширює Пролог включенням концепцій із задоволення обмежень.
Constraint logic programming extends Prolog to include concepts from constraint satisfaction.

Пролог Програмування вищих порядків Логічне програмування вищого порядку Naish, Lee(1996).
Prolog Higher-order programming Higher-order logic programming Naish, Lee(1996).

Логічне програмування з обмеженнями[en]поєднує в собі логічне програмування логіки[en] Horn з рішенням обмеження.
Constraint logic programming combines Horn clause logic programming with constraint solving.

Включення заперечення як відмови означає, що логічне програмування є свого роду немонотонною логікою.
The inclusion of negation as failure means that logic programming is a kind of non-monotonic logic..

Логічне програмування абдукції було використано для діагностики несправностей, планування, обробки природної мови і машинного навчання.
Abductive logic programming has been used for fault diagnosis, planning, natural language processing and machine learning.

У 1972 році було розроблені логічне програмування і пролог. Це дало можливість комп'ютерним програмам виражатися через математичку логіку.
In 1972, logic programming and Prolog were developed thus allowing computer programs to be expressed as mathematical logic..

Логічне програмування засноване на теорії та апараті математичної логіки з використанням математичних принципів резолюцій.
Logic programming is based on theory and tools of mathematical logic with the use of the mathematical principles of resolution.

Карл Хьюітт стверджував, що паралельне логічне програмування не засноване на логіці в його розумінні того, що обчислювальні етапи не можуть бути логічно виведені.
Carl Hewitt has argued that, concurrent logic programming is not based on logic in his sense that computational steps cannot be logically deduced.

Індуктивне логічне програмування пов'язане з узагальненням позитивних і негативних прикладів у контексті фонових знань: машинне навчання логічних програм.
Inductive logic programming is concerned with generalizing positive and negative examples in the context of background knowledge: machine learning of logic programs.

Оскільки математична логіка має давню традицію розрізнення між мовою об'єктів[en] і метамовою, логічне програмування також дозволяє метарівневе програмування..
Because mathematical logic has a long tradition of distinguishing between object language and metalanguage, logic programming also allows metalevel programming..

Абдуктивне логічне програмування- це розширення нормального логічного програмування, яке дозволяє деяким предикатам, оголошеним як предикати, бути«відкритими» або невизначеними.
Abductive logic programming is an extension of normal Logic Programming that allows some predicates, declared as abducible predicates, to be"open" or undefined.

До інших алгоритмів та моделей для структурового передбачування належать індуктивне логічне програмування, міркування на основі прецедентів, структурові ОВМ, марковські логічні мережі та обмежені умовні моделі.
Other algorithms and models for structured prediction include inductive logic programming, case-based reasoning, structured SVMs, Markov logic networks and constrained conditional models.

Логічне програмування в нинішньому вигляді можна простежити до дискусій в кінці 1960-х і початку 1970-х років про порівняння декларативного і процедурного представлення знань в штучному інтелекті.
Logic programming in its present form can be traced back to debates in the late 1960s and early 1970s about declarative versus procedural representations of knowledge in Artificial Intelligence.

Недавня робота в цій області, що поєднує логічне програмування, навчання і ймовірність, породила нову область статистичного реляційного навчання та ймовірнісного індуктивного логічного програмування..
Recent work in this area, combining logic programming, learning and probability, has given rise to the new field of statistical relational learning and probabilistic inductive logic programming..

Логічне програмування на основі логіки в лінійній логіці[en] призвело до створення мов логічного програмування, які значно виразніші, ніж ті, які засновані на класичній логіці.
Basing logic programming within linear logic has resulted in the design of logic programming languages that are considerably more expressive than those based on classical logic..

Дедуктивні бази даних є втіленням бажання поєднати логічне програмування з реляційними базами даних для побудови систем, що підтримують потужний формалізм і все ще швидко здатні працювати з гіганськими наборами даних.
Deductive databases have grown out of the desire to combine logic programming with relational databases to construct systems that support a powerful formalism and are still fast and able to deal with very large datasets.

Логічне програмування- парадигма програмування, заснована на автоматичному доказі теорем, а також розділ дискретної математики, що вивчає принципи логічного виведення інформації на основі заданих фактів і правил виводу.
Logic programming is the programming paradigm, based on the automated proof of theorems; then it is also the branch of discrete mathematics which learns the principles of logical information output on the basis of the given facts and norms of output.

Зокрема, Праккен і Сартор кредитують подання Британського закону про громадянство як логічної програми будучи«надзвичайно впливовим для розробки обчислювальних уявлень законодавства, показуючи, як логічне програмування дозволяє інтуїтивно привабливими уявленнями, які можуть бути безпосередньо розгорнуті для створення автоматичних висновків».
In particular, Prakken and Sartor credit the representation of the British Nationality Act as a logic program with being"hugely influential for the development of computational representations of legislation, showing how logic programming enables intuitively appealing representations that can be directly deployed to generate automatic inferences".

Але найвідомішим мовою логічного програмування є ПРОЛОГ(Prolog).
The most well-known logic programming language is Prolog.

Логічного програмування.
Logic Programming.

Повністю декларативний підхід до логічного програмування.
A fully declarative approach to logic programming.

Зворотний вивід здійснюється у логічному програмуванні за допомогою SLD-резолюції.
Backward chaining is implemented in logic programming by SID resolution.

У лінійному логічному програмуванні можна використовувати лінійну логіку для підтримки зміни стану.
In linear logic programming, one can use the ambient linear logic to support state change.

Проте в логічному програмуванні ВЛВ-спростування має також і обчислювальну інтерпретацію.
In logic programming, however, an SID refutation also has a computational interpretation.

Однак існують важливі відмінності між дедуктивними базами даних та логічним програмуванням:.
However important differences between deductive databases and logic programming:.

Концепція логічного програмування базується на понятті відношення.
The concept of logical programming is based on the concept of relationship.

З Прологу було розвинуто різноманітні реалізації для розширення можливостей логічного програмування у численних напрямках.
Various implementations have been developed from Prolog to extend logic programming capabilities in numerous directions.

Дедуктивні бази даних є виразнішими за реляційні бази даних, але поступаються виразністю системам логічного програмування.
Deductive databases are more expressive than relational databases but less expressive than logic programming systems.