| 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. (es)
- 자동화된 추론(automated reasoning)은 각기 다른 면의 추론을 이해하기 위한 컴퓨터 과학, 인지과학, 수리 논리의 한 분야이다. 자동화된 추론의 연구를 통해 컴퓨터가 완전히, 또는 거의 완전히 자동으로 추론할 수 있게 하는 컴퓨터 프로그램의 개발을 돕는다. 자동화된 추론이 인공지능의 하위 분야로 간주되지만 이론 전산학, 심지어는 철학과도 연결된다. 자동화된 추론 가운데 가장 많이 발전된 하위 분야로는 자동 정리 증명, 가 있다. 다른 중요한 주제로는 불확실성과 추론이 있다. 불확실성 분야의 중요한 부분은 논증에 관한 것이다. 존 폴록의 OSCAR 시스템은 자동화된 단순한 정리 증명기 이상의 자동화된 논증 시스템의 예이다. (ko)
- 自動推論（じどうすいろん、Automated Reasoning）は計算機科学と数理論理学の一分野であり、推論の様々な側面を理解することでコンピュータによる完全（あるいはほぼ完全）自動な推論を行うソフトウェアを開発することを目的とする。人工知能研究の一部と考えられるが、理論計算機科学や哲学とも深い関係がある。 自動推論のなかでも最も研究が進んでいるのは、自動定理証明（および完全自動ではないがより現実的な）と（固定の前提条件下での推論と見なすことができる）であるが、他にも類推、帰納、アブダクションによる推論の研究も盛んである。他の重要なトピックとしては、不確かさのある状況での推論と非単調推論である。不確かさに関する研究では論証（argumentation）が重要である。それはすなわち、標準的な自動推論へのさらなる極小性と一貫性の適用である。John Pollock の Oscar システムは単なる自動定理証明機よりも自動論証システムといえるものである。 自動推論のツールや手法としては、古典的論理学や代数学があるが、他にもファジィ論理、ベイズ推定、最大エントロピー原理に基づく推論、その他のあまり形式的でない技法などがある。 (ja)
- 自动推理是计算机科学和数理逻辑的一个交叉领域，致力于了解理智的方方面面。自动逻辑的研究帮助了利用计算机自动进行完全或几乎完全的推理，其內容一般可分為演繹推理和非演繹推理。自动推理被认为是人工智能的一个分支，还和理论计算机科学甚至哲学相关联。 自动推理的研究内容包括定理机器证明、、不确定性推理、非单调逻辑以及类比归纳和外展推理。 自动推理的技术和工具包括经典逻辑、微积分学、模糊逻辑、贝叶斯推断、推理与最大熵和大量的非正式特别技术。 (zh)
- المنطق الآلي هو مجال من مجالات علم الحاسوب والمنطق الرياضي لفهم الجوانب المختلفة للاستدلال. تساعد دراسة المنطق الآلي على إنتاج برامج تسمح لأجهزة الحاسوب بالتفكير تمامًا أو بشكل كامل تقريبًا. على الرغم من أن التفكير الآلي يعتبر مجالًا فرعيًا من الذكاء الاصطناعي، إلا أنه يرتبط أيضًا بعلوم الكمبيوتر النظرية، وحتى بالفلسفة. ومن أكثر المواضيع تطوراً في الاستدلال الآلي هي إثبات النظرية الآلية (حقل فرعي من المنطق الآلي والمنطق الرياضي الذي يتعامل مع إثبات النظريات الرياضية من خلال برامج الكمبيوتر) وإثبات التحقق الآلي، وقد ساهم أيضًا في في مجال الاحتمالات وتفسيرالمنطق. (ar)
- In computer science, in particular in knowledge representation and reasoning and metalogic, the area of automated reasoning is 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 philosophy. (en)
- Arrazoiketa automatikoa (edo arrazoibide automatikoa) informatikaren eremu bat ezagutzaren errepresentazioa eta arrazoibideak) eta metalogika eremuak bere barruan darabiltzana, eta arrazoitzeko moduak ulertzeko hainbat alderdi lantzen dituena. Arrazoibide automatizatuaren azterketak arrazoitzea ahalbidetzen duten programa informatikoak sortzen laguntzen du, erabat edo ia erabat automatikoki. Arrazoibide automatizatuak adimen artifizialaren azpi-eremutzat jotzen diren arren, informatika teorikoarekin eta filosofiarekin ere baditu loturak. (eu)
- 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. (fr)
- 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. (it)
- У інформатиці, зокрема в представленні знань і міркуваннях і металогіці, область автоматизованого міркування присвячена розумінню різних аспектів міркування. Вивчення автоматизованого міркування допомагає створювати комп'ютерні програми, які дозволяють комп'ютерам міркувати повністю або майже повністю автоматично. Хоча автоматизоване міркування вважається частиною сфери штучного інтелекту, воно також має зв'язок з теоретичною інформатикою та філософією. (uk)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)