Terms for subject Artificial intelligence containing доказательством

Russian	English
автоматическое доказательство теорем	automated theorem proving (Alex_Odeychuk)
автоматическое доказательство теорем	automated deductio (синоним термина "automated theorem proving" Alex_Odeychuk)
автоматическое доказательство теорем	automated deduction (Alex_Odeychuk)
автоматическое доказательство теорем	ATP (сокр. от "automated theorem proving" Alex_Odeychuk)
автоматическое доказательство теорем геометрии	automated geometric theorem proving (Alex_Odeychuk)
доказательство цели	goal evaluation (требующее построения цепочки правил (в логическом программировании); из кн.: Люгер Дж.Ф. Искусственный интеллект: стратегии и методы решения сложных проблем / Пер. с англ Alex_Odeychuk)
интерактивная система автоматического доказательства теорем	interactive proof checker (корпорации AdaCore Alex_Odeychuk)
интерактивное доказательство теорем	ITP (сокр. от "interactive theorem proving" Alex_Odeychuk)
интерактивное доказательство теорем	interactive theorem proving (Alex_Odeychuk)
использоваться для доказательства цели	be used for proving a goal (из кн.: Люгер Дж.Ф. Искусственный интеллект: стратегии и методы решения сложных проблем / Пер. с англ Alex_Odeychuk)
конкурс систем автоматического доказательства теорем	ATP system competition (ATP – сокр. от "automated theorem proving" Alex_Odeychuk)
методология автоматического доказательства теорем	theorem proving methodology (автоматическое доказательство теорем – одно из направлений исследований и разработок в области искусственного интеллекта Alex_Odeychuk)
находить и оценивать доказательства	find and score evidence (IBM Alex_Odeychuk)
обнаружение доказательств	proof discovery (Alex_Odeychuk)
оценка совокупности доказательств	syntheses of evidence (с целью определить относимость, силу, достоверность каждого доказательства и достаточность их совокупности для подтверждения фактов, входящих в предмет доказывания; англ. термину в тексте предшествовал опред. артикль Alex_Odeychuk)
сбор и оценка совокупности доказательств	syntheses of evidence (оценка доказательств системой искусственного интеллекта – процесс формирования логических рассуждений с целью определить относимость, силу, достоверность каждого доказательства, а также достаточность и непротиворечивость их совокупности для подтверждения фактов, входящих в предмет доказывания; англ. термину в тексте предшествовал опред. артикль Alex_Odeychuk)
сделать вывод на основе доступных доказательств	reach a conclusion using the available evidences (Alex_Odeychuk)
система автоматического доказательства теорем	proof assistant (Alex_Odeychuk)
система автоматического доказательства теорем	automated theorem prover (Microsoft Alex_Odeychuk)
система автоматического доказательства теорем	automated theorem proving system (Alex_Odeychuk)
система автоматического доказательства теорем	ATP system (сокр. от "automated theorem proving system" Alex_Odeychuk)
система автоматического доказательства теорем общего назначения	generic proof assistant (Alex_Odeychuk)
система доказательства теорем	theorem prover (Microsoft Alex_Odeychuk)
системой автоматического доказательства теорем	theorem prover (Alex_Odeychuk)
язык описания логических систем для автоматического поиска доказательств	automated verification and proof description language (Alex_Odeychuk)
язык программирования на основе автоматического доказательства теорем	theorem proving language (Alex_Odeychuk)