Deduction is inference deriving logical conclusions from premises known or assumed to be true, with the laws of valid inference being studied in logic.
Deduksi adalah inferensi yang memperoleh kesimpulan logis dari premis yang diketahui atau diasumsikan benar, dengan hukum-hukum inferensi yang valid dipelajari dalam logika.
A third type of inference is sometimes distinguished, notably by Charles Sanders Peirce, contradistinguishing abduction from induction.
Jenis inferensi ketiga terkadang dibedakan, terutama oleh Charles Sanders Peirce, yang membedakan abduksi dari induksi.
Various fields study how inference is done in practice.
Berbagai bidang mempelajari bagaimana inferensi dilakukan dalam praktik.
Human inference (i.e. how humans draw conclusions) is traditionally studied within the fields of logic, argumentation studies, and cognitive psychology; artificial intelligence researchers develop automated inference systems to emulate human inference.
Inferensi manusia (yaitu bagaimana manusia menarik kesimpulan) secara tradisional dipelajari dalam bidang logika, studi argumentasi, dan psikologi kognitif; peneliti kecerdasan buatan mengembangkan sistem inferensi otomatis untuk meniru inferensi manusia.
Statistical inference uses mathematics to draw conclusions in the presence of uncertainty.
Inferensi statistik menggunakan matematika untuk menarik kesimpulan di hadapan ketidakpastian.
This generalizes deterministic reasoning, with the absence of uncertainty as a special case.
Ini menggeneralisasi penalaran deterministik, dengan tidak adanya ketidakpastian sebagai kasus khusus.
The process of reaching such a conclusion.
Proses untuk mencapai kesimpulan tersebut.
All Greeks are humans.
Semua orang Yunani adalah manusia.
The reader can check that the premises and conclusion are true, but logic is concerned with inference: does the truth of the conclusion follow from that of the premises?
Pembaca dapat memeriksa apakah premis dan kesimpulan itu benar, tetapi logika berkaitan dengan inferensi: apakah kebenaran kesimpulan mengikuti kebenaran premis? Keabsahan suatu inferensi bergantung pada bentuk inferensi.
That is, the word "valid" does not refer to the truth of the premises or the conclusion, but rather to the form of the inference.
Artinya, kata "valid" tidak merujuk pada kebenaran premis atau kesimpulan, tetapi lebih pada bentuk inferensi.
An inference can be valid even if the parts are false, and can be invalid even if some parts are true.
Suatu inferensi dapat valid meskipun bagian-bagiannya salah, dan dapat tidak valid meskipun beberapa bagiannya benar.
But a valid form with true premises will always have a true conclusion.
Namun, bentuk yang valid dengan premis yang benar akan selalu memiliki kesimpulan yang benar.
Evidence: It is the early 1950s and you are an American stationed in the Soviet Union.
Bukti: Saat itu awal tahun 1950-an dan Anda adalah warga Amerika yang ditempatkan di Uni Soviet.
You read in the Moscow newspaper that a soccer team from a small city in Siberia starts winning game after game.
Anda membaca di surat kabar Moskow bahwa tim sepak bola dari kota kecil di Siberia mulai memenangkan pertandingan demi pertandingan.
The team even defeats the Moscow team.
Tim tersebut bahkan mengalahkan tim Moskow.
Inference: The small city in Siberia is not a small city anymore.
Kesimpulan: Kota kecil di Siberia bukan lagi kota kecil.
The Soviets are working on their own nuclear or high-value secret weapons program.
Soviet sedang mengerjakan program senjata nuklir atau senjata rahasia bernilai tinggi mereka sendiri.
Knowns: The Soviet Union is a command economy: people and material are told where to go and what to do.
Yang diketahui: Uni Soviet adalah ekonomi komando: orang dan material diberi tahu ke mana harus pergi dan apa yang harus dilakukan.
The small city was remote and historically had never distinguished itself; its soccer season was typically short because of the weather.
Kota kecil itu terpencil dan secara historis tidak pernah menonjol; musim sepak bolanya biasanya pendek karena cuaca.
In a command economy, people and material are moved where they are needed.
Penjelasan: Dalam ekonomi komando, orang dan material dipindahkan ke tempat yang membutuhkan.
Large cities might field good teams due to the greater availability of high quality players; and teams that can practice longer (possibly due to sunnier weather and better facilities) can reasonably be expected to be better.
Kota-kota besar mungkin menurunkan tim yang bagus karena ketersediaan pemain berkualitas tinggi yang lebih banyak; dan tim yang dapat berlatih lebih lama (mungkin karena cuaca yang lebih cerah dan fasilitas yang lebih baik)
In addition, you put your best and brightest in places where they can do the most good—such as on high-value weapons programs.
Selain itu, Anda menempatkan yang terbaik dan tercerdas di tempat-tempat yang dapat memberikan manfaat paling banyak—seperti pada program senjata bernilai tinggi.
It is an anomaly for a small city to field such a good team.
Merupakan anomali bagi kota kecil untuk menurunkan tim yang bagus seperti itu.
The anomaly indirectly described a condition by which the observer inferred a new meaningful pattern—that the small city was no longer small.
Anomali tersebut secara tidak langsung menggambarkan suatu kondisi yang membuat pengamat menyimpulkan pola baru yang bermakna—bahwa kota kecil itu tidak lagi kecil.
To hide them, of course.
Tentu saja untuk menyembunyikan mereka.
Philosophers who study informal logic have compiled large lists of them, and cognitive psychologists have documented many biases in human reasoning that favor incorrect reasoning.
Para filsuf yang mempelajari logika informal telah menyusun daftar besar tentang inferensi yang salah, dan para psikolog kognitif telah mendokumentasikan banyak bias dalam penalaran manusia yang mendukung penalaran yang salah.
AI systems first provided automated logical inference and these were once extremely popular research topics, leading to industrial applications under the form of expert systems and later business rule engines.
Sistem AI pertama kali menyediakan inferensi logis otomatis dan ini pernah menjadi topik penelitian yang sangat populer, yang mengarah ke aplikasi industri dalam bentuk sistem pakar dan kemudian mesin aturan bisnis.
More recent work on automated theorem proving has had a stronger basis in formal logic.
Pekerjaan yang lebih baru pada pembuktian teorema otomatis memiliki dasar yang lebih kuat dalam logika formal.
An inference system's job is to extend a knowledge base automatically.
Tugas sistem inferensi adalah memperluas basis pengetahuan secara otomatis.
The knowledge base (KB) is a set of propositions that represent what the system knows about the world.
Basis pengetahuan (KB) adalah serangkaian proposisi yang mewakili apa yang diketahui sistem tentang dunia.
Several techniques can be used by that system to extend KB by means of valid inferences.
Beberapa teknik dapat digunakan oleh sistem tersebut untuk memperluas KB melalui inferensi yang valid.
An additional requirement is that the conclusions the system arrives at are relevant to its task.
Persyaratan tambahan adalah bahwa kesimpulan yang dicapai sistem relevan dengan tugasnya.
This type of inference is widely used in applications ranging from image recognition to natural language processing.
Jenis inferensi ini banyak digunakan dalam aplikasi mulai dari pengenalan gambar hingga pemrosesan bahasa alami.
Being based upon description logic, knowledge expressed using one variant of OWL can be logically processed, i.e., inferences can be made upon it.
Karena didasarkan pada logika deskripsi, pengetahuan yang diungkapkan menggunakan satu varian OWL dapat diproses secara logis, yaitu, kesimpulan dapat dibuat berdasarkan hal tersebut.
Philosophers and scientists who follow the Bayesian framework for inference use the mathematical rules of probability to find this best explanation.
Para filsuf dan ilmuwan yang mengikuti kerangka Bayesian untuk inferensi menggunakan aturan matematika probabilitas untuk menemukan penjelasan terbaik ini.
To say that "it's going to rain tomorrow" has a 0.9 probability is to say that you consider the possibility of rain tomorrow as extremely likely.
Mengatakan bahwa "akan turun hujan besok" memiliki probabilitas 0,9 sama saja dengan mengatakan bahwa Anda menganggap kemungkinan turunnya hujan besok sebagai kemungkinan yang sangat besar.
Through the rules of probability, the probability of a conclusion and of alternatives can be calculated.
Melalui aturan probabilitas, probabilitas kesimpulan dan alternatif dapat dihitung.
The best explanation is most often identified with the most probable (see Bayesian decision theory).
Penjelasan terbaik paling sering diidentifikasi dengan yang paling mungkin (lihat teori keputusan Bayesian).
A central rule of Bayesian inference is Bayes' theorem.
Aturan utama inferensi Bayesian adalah teorema Bayes.