Automated theorem proving (ATP) or automated deduction, currently the most well-developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program.

PropertyValue
dbpedia-owl:thumbnail
dbpprop:abstract
  • Automated theorem proving (ATP) or automated deduction, currently the most well-developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program.
  • La demostración automática de teoremas que también puede ser denominada Deducción automatizada, es actualmente el subcampo más desarrollado del razonamiento automático, y se encarga de la demostración de teoremas matemáticos mediante programas de ordenador.
  • La démonstration automatique de théorèmes est l'activité d'un logiciel qui démontre une proposition qu'on lui soumet sans l'aide de l'utilisateur.
  • La dimostrazione automatica di teoremi (in inglese Automated theorem proving o ATP) o deduzione automatica, è il sottocampo più sviluppato del ragionamento automatico. L'operazione consiste nella dimostrazione di teoremi matematici da parte di un programma per computer.
  • 自動定理証明（Automated Theorem Proving、ATP）とは、自動推論(AR) の中でも最も成功している分野であり、コンピュータプログラムによって数学的定理を証明すること。ベースとなる論理によって、定理の妥当性を決定する問題は簡単なものから不可能なものまで様々である。
  • Automatyczne dowodzenie twierdzeń (ang. automated theorem proving) to proces, w którym komputer rozstrzyga czy dane twierdzenie jest dowodliwe w jakiejś teorii, często przy okazji generując jego dowód. Twierdzenia te należą zwykle do rachunku zdań lub rachunku predykatów pierwszego rzędu. Dla komputera wygodniejsze jest zwykle wnioskowanie w tył, choć czasem stosuje się też wnioskowanie w przód.
  • Prova automática de teoremas (PAT) ou dedução automática é a prova de teoremas matemáticos por um programa de computador. É atualmente a sub-área mais desenvolvida do raciocínio automatizado (RA).
  • Автоматическое доказательство теорем — доказательство теорем, реализуемое программно. В основе лежит аппарат математической логики. Используются идеи теории искусственного интеллекта. Процесс доказательства основывается на логике высказываний и логике предикатов.
  • 自動定理證明 (ATP), 目前是自动推理(AR)体系中发展最好的部分，它的目的是为使用电子计算机程序来进行数学定理的证明。对于不同的数学逻辑，它能够推论出一个定理是正确的，还是不可证明的，或者错误的。
dbpprop:hasPhotoCollection
dbpprop:reference
rdf:type
rdfs:comment
  • Automated theorem proving (ATP) or automated deduction, currently the most well-developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program.
  • La demostración automática de teoremas que también puede ser denominada Deducción automatizada, es actualmente el subcampo más desarrollado del razonamiento automático, y se encarga de la demostración de teoremas matemáticos mediante programas de ordenador.
  • La démonstration automatique de théorèmes est l'activité d'un logiciel qui démontre une proposition qu'on lui soumet sans l'aide de l'utilisateur.
  • La dimostrazione automatica di teoremi (in inglese Automated theorem proving o ATP) o deduzione automatica, è il sottocampo più sviluppato del ragionamento automatico. L'operazione consiste nella dimostrazione di teoremi matematici da parte di un programma per computer.
  • 自動定理証明（Automated Theorem Proving、ATP）とは、自動推論(AR) の中でも最も成功している分野であり、コンピュータプログラムによって数学的定理を証明すること。ベースとなる論理によって、定理の妥当性を決定する問題は簡単なものから不可能なものまで様々である。
  • Automatyczne dowodzenie twierdzeń (ang. automated theorem proving) to proces, w którym komputer rozstrzyga czy dane twierdzenie jest dowodliwe w jakiejś teorii, często przy okazji generując jego dowód. Twierdzenia te należą zwykle do rachunku zdań lub rachunku predykatów pierwszego rzędu. Dla komputera wygodniejsze jest zwykle wnioskowanie w tył, choć czasem stosuje się też wnioskowanie w przód.
  • Prova automática de teoremas (PAT) ou dedução automática é a prova de teoremas matemáticos por um programa de computador. É atualmente a sub-área mais desenvolvida do raciocínio automatizado (RA).
  • Автоматическое доказательство теорем — доказательство теорем, реализуемое программно. В основе лежит аппарат математической логики. Используются идеи теории искусственного интеллекта. Процесс доказательства основывается на логике высказываний и логике предикатов.
  • 自動定理證明 (ATP), 目前是自动推理(AR)体系中发展最好的部分，它的目的是为使用电子计算机程序来进行数学定理的证明。对于不同的数学逻辑，它能够推论出一个定理是正确的，还是不可证明的，或者错误的。
rdfs:label
  • Automated theorem proving
  • Demostración automática de teoremas
  • Démonstration automatique de théorèmes
  • Dimostrazione automatica di teoremi
  • 自動定理証明
  • Automatyczne dowodzenie twierdzeń
  • Prova automática de teoremas
  • Автоматическое доказательство теорем
  • 自動定理證明
owl:sameAs
skos:subject
foaf:depiction
foaf:page
is dbpedia-owl:Person/knownFor of
is dbpedia-owl:knownFor of
is dbpprop:knownFor of
is dbpprop:redirect of
is owl:sameAs of