About: Automated reasoning     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:Thing, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FAutomated_reasoning

Automated reasoning is an area of cognitive science (involves knowledge representation and reasoning) and metalogic dedicated to understanding different aspects of reasoning. The study of automated reasoning helps produce computer programs that allow computers to reason completely, or nearly completely, automatically. Although automated reasoning is considered a sub-field of artificial intelligence, it also has connections with theoretical computer science, and even philosophy.

AttributesValues
rdfs:label
  • Automated reasoning
  • Razonamiento automático
  • Raisonnement automatisé
  • Ragionamento automatico
  • 自動推論
  • 자동화된 추론
  • 自动推理
rdfs:comment
  • El razonamiento automatizado es un área de la ciencias de la computación dedicada a comprender diferentes aspectos del razonamiento de manera que permita la creación de programas informáticos que posibiliten a los ordenadores razonar de forma completamente automática, o casi automática. Se le considera habitualmente como una subárea de la inteligencia artificial, pero además posee fuertes conexiones con la Teoría de la computación e incluso con la filosofía.
  • 自動推論(じどうすいろん、Automated Reasoning)は計算機科学と数理論理学の一分野であり、推論の様々な側面を理解することでコンピュータによる完全(あるいはほぼ完全)自動な推論を行うソフトウェアを開発することを目的とする。人工知能研究の一部と考えられるが、理論計算機科学や哲学とも深い関係がある。 自動推論のなかでも最も研究が進んでいるのは、自動定理証明(および完全自動ではないがより現実的な)と(固定の前提条件下での推論と見なすことができる)であるが、他にも類推、帰納、アブダクションによる推論の研究も盛んである。他の重要なトピックとしては、不確かさのある状況での推論と非単調推論である。不確かさに関する研究では論証(argumentation)が重要である。それはすなわち、標準的な自動推論へのさらなる極小性と一貫性の適用である。John Pollock の Oscar システムは単なる自動定理証明機よりも自動論証システムといえるものである。 自動推論のツールや手法としては、古典的論理学や代数学があるが、他にもファジィ論理、ベイズ推定、最大エントロピー原理に基づく推論、その他のあまり形式的でない技法などがある。
  • 자동화된 추론(automated reasoning)은 각기 다른 면의 추론을 이해하기 위한 컴퓨터 과학, 인지과학, 수리 논리의 한 분야이다. 자동화된 추론의 연구를 통해 컴퓨터가 완전히, 또는 거의 완전히 자동으로 추론할 수 있게 하는 컴퓨터 프로그램의 개발을 돕는다. 자동화된 추론이 인공지능의 하위 분야로 간주되지만 이론 전산학, 심지어는 철학과도 연결된다. 자동화된 추론 가운데 가장 많이 발전된 하위 분야로는 자동 정리 증명, 가 있다. 다른 중요한 주제로는 불확실성과 추론이 있다. 불확실성 분야의 중요한 부분은 논증에 관한 것이다. 존 폴록의 OSCAR 시스템은 자동화된 단순한 정리 증명기 이상의 자동화된 논증 시스템의 예이다.
  • 自动推理是计算机科学和数理逻辑的一个交叉领域,致力于了解理智的方方面面。自动逻辑的研究帮助了利用计算机自动进行完全或几乎完全的推理,其內容一般可分為演繹推理和非演繹推理。自动推理被认为是人工智能的一个分支,还和理论计算机科学甚至哲学相关联。 自动推理的研究内容包括定理机器证明、、不确定性推理、非单调逻辑以及类比归纳和外展推理。 自动推理的技术和工具包括经典逻辑、微积分学、模糊逻辑、贝叶斯推断、推理与最大熵和大量的非正式特别技术。
  • Automated reasoning is an area of cognitive science (involves knowledge representation and reasoning) and metalogic dedicated to understanding different aspects of reasoning. The study of automated reasoning helps produce computer programs that allow computers to reason completely, or nearly completely, automatically. Although automated reasoning is considered a sub-field of artificial intelligence, it also has connections with theoretical computer science, and even philosophy.
  • Le raisonnement automatisé est un domaine de l'informatique consacré à la compréhension des différents aspects du raisonnement de manière à permettre la création de logiciels qui permettraient aux ordinateurs de « raisonner » de manière automatique, 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 avec la philosophie.
  • 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 parzialmente o addirittura completamente automatico. L'area è considerata un sottocampo dell'intelligenza artificiale, sebbene abbia forti connessioni con l'informatica teorica e persino con la filosofia.
foaf:isPrimaryTopicOf
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Faceted Search & Find service v1.17_git51 as of Sep 16 2020


Alternative Linked Data Documents: PivotViewer | iSPARQL | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3319 as of Dec 29 2020, on Linux (x86_64-centos_6-linux-glibc2.12), Single-Server Edition (61 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2021 OpenLink Software