| Persian |
| has gloss | fas: استدلال خودکار در علوم رایانه به جنبه‌های گوناگون استدلال می‌پردازد تا از این راه امکان ساخت نرم‌افزاری که بتواند کاملا خودکار یا تقریبا خودکار استدلال کند فراهم شود. با این تعریف استدلال خودکار معمولا شاخه‌ای از هوش مصنوعی به شمار می‌آید، اما همچنین به مقدار زیادی به علوم رایانه نظری و حتی فلسفه مربوط است. شایان ذکر است که این استدلال در حال حاضر عمدتا از نوع استدلال ریاضی است. |
| lexicalization | fas: استدلال خودکار |
| French |
| has gloss | fra: __NOTOC__ Le raisonnement automatisé est un domaine de linformatique 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 lIntelligence artificielle, mais possède aussi de fortes connexions avec l'Informatique théorique et même la philosophie |
| lexicalization | fra: Raisonnement automatise |
| lexicalization | fra: Raisonnement Automatisé |
| Italian |
| has gloss | ita: Il ragionamento automatico è unarea dellinformatica 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. Larea è considerata un sottocampo dellintelligenza artificiale, sebbene abbia forti connessioni con l'informatica teorica e persino con la filosofia. |
| lexicalization | ita: ragionamento automatico |
| Japanese |
| has gloss | jpn: 自動推論（じどうすいろん、Automated Reasoning）は計算機科学の一分野であり、推論の様々な側面を理解することでコンピュータによる完全（あるいはほぼ完全）自動な推論を行うソフトウェアを開発することを目的とする。人工知能研究の一部と考えられるが、理論計算機科学や哲学とも深い関係がある。 |
| lexicalization | jpn: 自動推論 |
| Castilian |
| has gloss | spa: El razonamiento automático 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 habitualmento 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. |
| lexicalization | spa: Razonamiento automatico |
| lexicalization | spa: razonamiento automático |
| Serbian |
| has gloss | srp: Аутоматско резоновање је област рачунарства посвећена разумевању различитих аспеката резоновања на начин који омогућава прављење софтвера помоћу кога рачунари могу да резонују потпуно или скоро потпуно аутоматски. Као такво, аутоматско резоновање се обично сматра подоблашћу вештачке интелигенције, али ова област има јаке везе и са теоријским рачунарством, па и филозофијом. |
| lexicalization | srp: аутоматско резоновање |