First Order Logic

First Order Logic adalah logika formal yang digunakan dalam matematika, filsafat, linguistik, dan ilmu komputer. Hadir dengan banyak nama, termasuk: first-order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic. First Order Logic dibedakan dari logika proposisional oleh penggunaan quantifiers; setiap interpretasi dari First Order Logic termasuk domain wacana di atas rentang quantifiers.

Ada banyak sistem deduktif bagi First Order Logic yang terdengar (hanya menurunkan hasil yang benar) dan lengkap (mampu menurunkan implikasi apapun yang valid secara logis). Meskipun konsekuensi logis hubungan ini hanya semidecidable, banyak kemajuan telah dibuat dalam membuktikan teorema otomatis dalam logika orde pertama. First Order Logic juga memenuhi beberapa metalogical teorema yang membuatnya setuju untuk analisis dalam teori bukti, seperti teorema Löwenheim-Skolem dan teorema compactness.

First Order Logic merupakan hal yang sangat penting bagi dasar matematika, di mana telah menjadi standar logika formal untuk sistem aksiomatis. Cukup ekspresif dan memiliki kekuatan untuk memformalkan dua teori matematika yang penting: Zermelo–Fraenkel set theory (ZF) dan first-order Peano arithmetic. Namun, tidak ada sistem aksioma dalam logika orde pertama cukup kuat untuk sepenuhnya (kategoris) yang menggambarkan struktur terbatas seperti bilangan asli atau garis nyata. Sistem aksioma kategoris struktur ini dapat diperoleh dalam logika kuat seperti orde kedua logika.

Sejarah First Order Logic dan account dari munculnya lebih dari logika formal lainnya disediakan oleh Ferreirós (2001).

Read more

Intelligent Agent

Dalam Kecerdasan Buatan (Artificial Intelligent), sebuah Agen Cerdas (Intelligent Agent) adalah sebuah entitas otonom yang mengamati dan bertindak berdasarkan suatu lingkungan (yaitu sebuah agen) dan mengarahkan aktivitasnya ke arah pencapaian tujuan (yakni, rasional). Agen Kecerdasan dapat juga belajar atau menggunakan pengetahuan untuk mencapai tujuan mereka. Mereka mungkin sangat sederhana atau sangat kompleks: sebuah mesin refleks seperti termostat adalah agen yang cerdas, seperti manusia, seperti komunitas manusia bekerja bersama menuju tujuan.

Agen Kecerdasan sering digambarkan secara skematik sebagai sistem fungsional abstrak mirip dengan program komputer. Untuk alasan ini, agen cerdas kadang-kadang disebut abstrak agen cerdas (Abstract Intelligent Agent) untuk membedakan mereka dari dunia nyata implementasi sebagai sistem komputer, sistem biologis, atau organisasi. Beberapa definisi agen cerdas menekankan otonomi mereka, dan jadi lebih suka istilah otonom agen cerdas. Yang lain (terutama Russell & Norvig (2003)) dianggap perilaku terarah tujuan sebagai esensi dari cerdas dan jadi lebih suka istilah yang dipinjam dari ekonomi, "agen rasional".

Agen cerdas dalam kecerdasan buatan sangat terkait dengan agen di bidang ekonomi, dan versi dari agen cerdas paradigma kognitif dipelajari dalam ilmu pengetahuan, etika, filsafat alasan praktis, juga di banyak interdisipliner sosio-kognitif komputer pemodelan dan simulasi sosial.

Agen cerdas juga berkaitan erat dengan agen perangkat lunak (program perangkat lunak otonom yang melakukan tugas atas nama pengguna). Dalam ilmu komputer, istilah agen cerdas dapat digunakan untuk mengacu ke agen perangkat lunak yang memiliki kecerdasan, tidak peduli apakah itu bukan agen rasional oleh Russell dan Norvig definisi. Sebagai contoh, program-program otonom digunakan untuk bantuan operator atau data mining (kadang-kadang disebut sebagai bot) juga disebut "agen cerdas".

Read more