Automated reasoning is an area of computer science dedicated to understanding different aspects of reasoning in a way that allows the creation of software which allows computers to reason completely or nearly completely automatically. As such, it is usually considered a subfield of artificial intelligence, but it also has strong connections to theoretical computer science and even philosophy.

PropertyValue
dbpprop:abstract
  • Automated reasoning is an area of computer science dedicated to understanding different aspects of reasoning in a way that allows the creation of software which allows computers to reason completely or nearly completely automatically. As such, it is usually considered a subfield of artificial intelligence, but it also has strong connections to theoretical computer science and even philosophy. The most developed subareas of automated reasoning probably are automated theorem proving (and the less automated but more pragmatic subfield of interactive theorem proving) and automated proof checking (viewed as guaranteed correct reasoning under fixed assumptions), but extensive work has also been done in reasoning by analogy induction and abduction. Other important topics are reasoning under uncertainty and non-monotonic reasoning. An important part of the uncertainty field is that of argumentation, where further constraints of minimality and consistency are applied on top of the more standard automated deduction. John Pollock's Oscar system is an example of an automated argumentation system that is more specific than being just an automated theorem prover. Tools and techniques include the classical logics and calculi from automated theorem proving, but also fuzzy logic, Bayesian inference, reasoning with maximal entropy and a large number of less formal ad-hoc techniques.
  • Le raisonnement automatisé est un domaine de l'informatique dédié à la compréhension des différents aspects du Raisonnement de manière à permettre la création de logiciels qui permettraient aux ordinateurs de raisonner complètement automatiquement, ou presque. Il est considéré habituellement comme un sous-domaine de l'Intelligence artificielle, mais possède aussi de fortes connexions avec l'Informatique théorique et même la philosophie Les sous-domaines les plus développés du Raisonnement automatisé sont probablement l'Assistant de preuve (qui en pratique se trouve être plus pragmatique mais moins automatisé que sa théorie), la démonstration automatique de théorèmes et la vérification de preuve (procédé qui garantie un raisonnement correcte en se basant sur l'axiome selon lequel les hypothèses fournies sont justes). Cependant, un travail énorme a été fourni dans le raisonnement par analogie, induction et abduction. D'autres sujets importants sont aussi le raisonnement sous les contraintes de l'incertitude et la raisonnement non-monotonique (ou non-monotone). Une partie importante du raisonnement sous la contrainte de l'incertitude est l'argumentation, sous des contraintes de minimalité et de cohérence, appliquées au sommet des déductions automatisées tout ce qu'il y a de plus standard. Le système Oscar de John Pollock est un exemple d'argumentation automatisée bien plus spécifique qu'un "simple" Assistant de preuve de théorème. L'argumentation formelle est un sous-domaine de l'intelligence artificielle. Les outils et techniques du raisonnement automatisé incluent les logiques et les calculs classiques de la preuve automatique de théorème, mais aussi la logique floue, l'Inférence bayésienne, le raisonnement par le Principe d'entropie maximale et un grand nombre de techniques ad-hoc moins formelles.
  • Il ragionamento automatico è un'area dell'informatica dedicata alla comprensione dei diversi aspetti del ragionamento al fine di creare dei programmi che permettano ai computer di ragionare in modo completamente o quasi completamente automatico. L'area è considerata un sottocampo dell'intelligenza artificiale, sebbene abbia forti connessioni con l'informatica teorica e persino con la filosofia. Le aree più sviluppate del ragionamento automatico sono la dimostrazione automatica di teoremi e il proof checking automatico, ma ulteriore lavoro è stato svolto nel ragionamento per abduzione e induzione, ragionamento incerto e non monotòno.
  • 自動推論（じどうすいろん、Automated Reasoning）は計算機科学の一分野であり、推論の様々な側面を理解することでコンピュータによる完全（あるいはほぼ完全）自動な推論を行うソフトウェアを開発することを目的とする。人工知能研究の一部と考えられるが、理論計算機科学や哲学とも深い関係がある。 自動推論のなかでも最も研究が進んでいるのは、自動定理証明と自動定理検証（固定の前提条件下での推論と見なすことができる）であるが、他にもアナロジー、帰納、還元による推論の研究も盛んである。他の重要なトピックとしては、不確かさのある状況での推論と非単調推論である。不確かさに関する研究では論証（argumentation）が重要である。それはすなわち、標準的な自動推論へのさらなる極小性と一貫性の適用である。John Pollock の Oscar システムは単なる自動定理証明機よりも自動論証システムといえるものである。形式的論証は人工知能の一分野である。 自動推論のツールや手法としては、古典的論理学や代数学があるが、他にもファジィ論理、ベイズ推定、最大エントロピー原理に基づく推論、その他のあまり形式的でない技法などがある。
dbpprop:hasPhotoCollection
dbpprop:reference
rdfs:comment
  • Automated reasoning is an area of computer science dedicated to understanding different aspects of reasoning in a way that allows the creation of software which allows computers to reason completely or nearly completely automatically. As such, it is usually considered a subfield of artificial intelligence, but it also has strong connections to theoretical computer science and even philosophy.
  • Le raisonnement automatisé est un domaine de l'informatique dédié à la compréhension des différents aspects du Raisonnement de manière à permettre la création de logiciels qui permettraient aux ordinateurs de raisonner complètement automatiquement, ou presque.
  • Il ragionamento automatico è un'area dell'informatica dedicata alla comprensione dei diversi aspetti del ragionamento al fine di creare dei programmi che permettano ai computer di ragionare in modo completamente o quasi completamente automatico. L'area è considerata un sottocampo dell'intelligenza artificiale, sebbene abbia forti connessioni con l'informatica teorica e persino con la filosofia.
rdfs:label
  • Automated reasoning
  • Raisonnement automatisé
  • Ragionamento automatico
  • 自動推論
owl:sameAs
skos:subject
foaf:page
is dbpprop:field of
is dbpprop:redirect of