{"id":1463,"date":"2025-03-15T04:55:01","date_gmt":"2025-03-14T21:55:01","guid":{"rendered":"https:\/\/www.linuxid.net\/istilah\/?p=1463"},"modified":"2025-03-15T04:55:01","modified_gmt":"2025-03-14T21:55:01","slug":"automated-reasoning","status":"publish","type":"post","link":"https:\/\/www.linuxid.net\/istilah\/automated-reasoning\/","title":{"rendered":"automated reasoning"},"content":{"rendered":"<h2>Apa itu Automated Reasoning?<\/h2>\n<p>Automated reasoning adalah bidang dalam ilmu komputer yang berkaitan dengan penerapan penalaran dalam bentuk logika ke sistem komputasi. Jika diberikan serangkaian asumsi dan tujuan, sistem automated reasoning harus mampu membuat inferensi logis menuju tujuan tersebut secara otomatis. Komputer yang menggunakan automated reasoning dapat digunakan untuk mengotomatiskan dan menerapkan penalaran logis ke aktivitas seperti pembuktian teorema, pemeriksaan bukti, atau perancangan <a href=\"https:\/\/www.linuxid.net\/istilah\/circuit\/\">sirkuit<\/a>. Automated reasoning juga dapat menggunakan logika dalam bentuk penalaran melalui analogi, <a href=\"https:\/\/www.linuxid.net\/istilah\/inductive-reasoning\/\">induksi<\/a>, abduksi, dan penalaran nonmonotonik. Namun, istilah automated reasoning paling sering digunakan dalam konteks <a href=\"https:\/\/www.linuxid.net\/istilah\/deductive-reasoning\/\">penalaran deduktif<\/a> dalam matematika dan logika.<\/p>\n<p>Istilah &#8220;domain masalah&#8221; digunakan untuk menggambarkan kelas masalah yang disajikan kepada program automated reasoning. Domain masalah mencakup asumsi masalah, yaitu pernyataan yang memberikan informasi relevan kepada sistem automated reasoning, dan kesimpulan masalah, yaitu pertanyaan yang diajukan kepada sistem. Program penalaran akan menerima domain masalah sebagai masukan dan memberikan solusi sebagai keluaran, seperti validitas suatu bukti. Program automated reasoning akan berhenti ketika solusi ditemukan atau sumber daya habis.<\/p>\n<p>Penggunaan paling umum dari program automated reasoning adalah untuk membuktikan teorema, yang dilakukan dengan menyediakan deskripsi <a href=\"https:\/\/www.linuxid.net\/istilah\/algorithm\/\">algoritmik<\/a> terhadap kalkulus yang digunakan. Pengguna juga harus menentukan kelas masalah yang perlu diselesaikan oleh program automated reasoning, bahasa yang akan digunakan program untuk merepresentasikan informasi yang diberikan, serta metode yang digunakan program untuk mengimplementasikan inferensi deduktif.<\/p>\n<p>Istilah automated deduction juga dapat digunakan untuk merujuk pada automated reasoning. Namun, automated deduction lebih sempit dalam penggunaannya, yaitu merujuk pada penggunaan logika deduktif dalam matematika.<\/p>\n<h2>Penggunaan<\/h2>\n<p>Automated reasoning paling sering digunakan dengan penalaran deduktif untuk menemukan, memeriksa, dan memverifikasi bukti matematis menggunakan sistem komputasi. Menggunakan sistem automated reasoning untuk memeriksa bukti memastikan bahwa pengguna tidak membuat kesalahan dalam perhitungannya. Automated reasoning juga dapat digunakan untuk aplikasi dalam matematika, teknik, ilmu komputer, atau tujuan non-matematis. Namun, banyak dari subjek lain ini tetap harus direpresentasikan menggunakan bahasa yang dapat dipahami oleh program.<\/p>\n<h2>Automated Reasoning dan AI<\/h2>\n<p>Automated reasoning dianggap sebagai subbidang kecerdasan buatan (<a href=\"https:\/\/www.linuxid.net\/istilah\/AI-Artificial-Intelligence\/\">AI<\/a>). Namun, metode dan implementasi keduanya cukup unik sehingga dapat dianggap sebagai entitas yang terpisah. Misalnya, AI biasanya menggunakan jenis logika yang disebut logika modal, yang menggunakan logika klasik sambil juga mengekspresikan modalitas (kemungkinan atau ketidakmungkinan). Istilah AI juga memiliki konotasi yang menunjukkan komputer yang bekerja seperti manusia, berbeda dengan cara kerja automated reasoning.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Apa itu Automated Reasoning? Automated reasoning adalah bidang dalam ilmu komputer yang berkaitan dengan penerapan penalaran dalam bentuk logika ke sistem komputasi. Jika diberikan serangkaian asumsi dan tujuan, sistem automated reasoning harus mampu membuat inferensi logis menuju tujuan tersebut secara otomatis. Komputer yang menggunakan automated reasoning dapat digunakan untuk mengotomatiskan dan menerapkan penalaran logis ke [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[187],"tags":[203],"class_list":["post-1463","post","type-post","status-publish","format-standard","hentry","category-data-analytics-and-ai","tag-artificial-intelligence-platforms"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v24.9 - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>Apa itu automated reasoning? - Istilah Komputer<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.linuxid.net\/istilah\/automated-reasoning\/\" \/>\n<meta property=\"og:locale\" content=\"id_ID\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Apa itu automated reasoning? - Istilah Komputer\" \/>\n<meta property=\"og:description\" content=\"Apa itu Automated Reasoning? Automated reasoning adalah bidang dalam ilmu komputer yang berkaitan dengan penerapan penalaran dalam bentuk logika ke sistem komputasi. Jika diberikan serangkaian asumsi dan tujuan, sistem automated reasoning harus mampu membuat inferensi logis menuju tujuan tersebut secara otomatis. Komputer yang menggunakan automated reasoning dapat digunakan untuk mengotomatiskan dan menerapkan penalaran logis ke [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.linuxid.net\/istilah\/automated-reasoning\/\" \/>\n<meta property=\"og:site_name\" content=\"Istilah Komputer\" \/>\n<meta property=\"article:published_time\" content=\"2025-03-14T21:55:01+00:00\" \/>\n<meta name=\"author\" content=\"adhit\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Ditulis oleh\" \/>\n\t<meta name=\"twitter:data1\" content=\"adhit\" \/>\n\t<meta name=\"twitter:label2\" content=\"Estimasi waktu membaca\" \/>\n\t<meta name=\"twitter:data2\" content=\"2 menit\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.linuxid.net\/istilah\/automated-reasoning\/\",\"url\":\"https:\/\/www.linuxid.net\/istilah\/automated-reasoning\/\",\"name\":\"Apa itu automated reasoning? - Istilah Komputer\",\"isPartOf\":{\"@id\":\"https:\/\/linuxid.net\/istilah\/#website\"},\"datePublished\":\"2025-03-14T21:55:01+00:00\",\"author\":{\"@id\":\"https:\/\/linuxid.net\/istilah\/#\/schema\/person\/ec7c6c711087fb70886ff5a4fe68e83d\"},\"breadcrumb\":{\"@id\":\"https:\/\/www.linuxid.net\/istilah\/automated-reasoning\/#breadcrumb\"},\"inLanguage\":\"id\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.linuxid.net\/istilah\/automated-reasoning\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.linuxid.net\/istilah\/automated-reasoning\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/linuxid.net\/istilah\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"automated reasoning\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/linuxid.net\/istilah\/#website\",\"url\":\"https:\/\/linuxid.net\/istilah\/\",\"name\":\"Istilah Komputer\",\"description\":\"\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/linuxid.net\/istilah\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"id\"},{\"@type\":\"Person\",\"@id\":\"https:\/\/linuxid.net\/istilah\/#\/schema\/person\/ec7c6c711087fb70886ff5a4fe68e83d\",\"name\":\"adhit\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"id\",\"@id\":\"https:\/\/linuxid.net\/istilah\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/www.linuxid.net\/istilah\/wp-content\/litespeed\/avatar\/808829c8eb1b70c161b392916104c2ba.jpg?ver=1781427353\",\"contentUrl\":\"https:\/\/www.linuxid.net\/istilah\/wp-content\/litespeed\/avatar\/808829c8eb1b70c161b392916104c2ba.jpg?ver=1781427353\",\"caption\":\"adhit\"},\"sameAs\":[\"https:\/\/linuxid.net\/istilah\"],\"url\":\"https:\/\/www.linuxid.net\/istilah\/author\/xsandradietsax\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Apa itu automated reasoning? - Istilah Komputer","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.linuxid.net\/istilah\/automated-reasoning\/","og_locale":"id_ID","og_type":"article","og_title":"Apa itu automated reasoning? - Istilah Komputer","og_description":"Apa itu Automated Reasoning? Automated reasoning adalah bidang dalam ilmu komputer yang berkaitan dengan penerapan penalaran dalam bentuk logika ke sistem komputasi. Jika diberikan serangkaian asumsi dan tujuan, sistem automated reasoning harus mampu membuat inferensi logis menuju tujuan tersebut secara otomatis. Komputer yang menggunakan automated reasoning dapat digunakan untuk mengotomatiskan dan menerapkan penalaran logis ke [&hellip;]","og_url":"https:\/\/www.linuxid.net\/istilah\/automated-reasoning\/","og_site_name":"Istilah Komputer","article_published_time":"2025-03-14T21:55:01+00:00","author":"adhit","twitter_card":"summary_large_image","twitter_misc":{"Ditulis oleh":"adhit","Estimasi waktu membaca":"2 menit"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.linuxid.net\/istilah\/automated-reasoning\/","url":"https:\/\/www.linuxid.net\/istilah\/automated-reasoning\/","name":"Apa itu automated reasoning? - Istilah Komputer","isPartOf":{"@id":"https:\/\/linuxid.net\/istilah\/#website"},"datePublished":"2025-03-14T21:55:01+00:00","author":{"@id":"https:\/\/linuxid.net\/istilah\/#\/schema\/person\/ec7c6c711087fb70886ff5a4fe68e83d"},"breadcrumb":{"@id":"https:\/\/www.linuxid.net\/istilah\/automated-reasoning\/#breadcrumb"},"inLanguage":"id","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.linuxid.net\/istilah\/automated-reasoning\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www.linuxid.net\/istilah\/automated-reasoning\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/linuxid.net\/istilah\/"},{"@type":"ListItem","position":2,"name":"automated reasoning"}]},{"@type":"WebSite","@id":"https:\/\/linuxid.net\/istilah\/#website","url":"https:\/\/linuxid.net\/istilah\/","name":"Istilah Komputer","description":"","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/linuxid.net\/istilah\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"id"},{"@type":"Person","@id":"https:\/\/linuxid.net\/istilah\/#\/schema\/person\/ec7c6c711087fb70886ff5a4fe68e83d","name":"adhit","image":{"@type":"ImageObject","inLanguage":"id","@id":"https:\/\/linuxid.net\/istilah\/#\/schema\/person\/image\/","url":"https:\/\/www.linuxid.net\/istilah\/wp-content\/litespeed\/avatar\/808829c8eb1b70c161b392916104c2ba.jpg?ver=1781427353","contentUrl":"https:\/\/www.linuxid.net\/istilah\/wp-content\/litespeed\/avatar\/808829c8eb1b70c161b392916104c2ba.jpg?ver=1781427353","caption":"adhit"},"sameAs":["https:\/\/linuxid.net\/istilah"],"url":"https:\/\/www.linuxid.net\/istilah\/author\/xsandradietsax\/"}]}},"_links":{"self":[{"href":"https:\/\/www.linuxid.net\/istilah\/wp-json\/wp\/v2\/posts\/1463","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.linuxid.net\/istilah\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.linuxid.net\/istilah\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.linuxid.net\/istilah\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.linuxid.net\/istilah\/wp-json\/wp\/v2\/comments?post=1463"}],"version-history":[{"count":0,"href":"https:\/\/www.linuxid.net\/istilah\/wp-json\/wp\/v2\/posts\/1463\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.linuxid.net\/istilah\/wp-json\/wp\/v2\/media?parent=1463"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.linuxid.net\/istilah\/wp-json\/wp\/v2\/categories?post=1463"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.linuxid.net\/istilah\/wp-json\/wp\/v2\/tags?post=1463"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}