From Wikipedia, the free encyclopedia
Аутоматско резоновање је област рачунарства посвећена разумевању различитих аспеката резоновања на начин који омогућава прављење софтвера помоћу кога рачунари могу да резонују потпуно или скоро потпуно аутоматски. Као такво, аутоматско резоновање се обично сматра подоблашћу вештачке интелигенције, али ова област има јаке везе и са теоријским рачунарством, па и филозофијом.
Најразвијеније облсти аутоматског резоновања су вероватно аутоматско доказивање теорема (и мање аутоматска, али прагматичнија подобласт, интерактивно доказивање теорема) и аутоматска провера доказа (за коју се сматра да гарантује коректно резоновање под фиксним претпоставкама), али су значајни напори уложени и у развијање резоновања аналогијом, индукцијом и абдукцијом. Друге важне теме су резоновање под несигурним околностима и немонотоно резоновање.
Алати и технике које аутоматско резоновање користи укључују апаратуру класичне логике и рачуна за аутоматско доказивање теорема, али и фази логику, бајесовско учење, резоновање са максималном ентропијом и велики број мање формалних ад хок техника.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.