REPRESENTASI PENGETAHUAN

PENGETAHUAN DAN PENALARAN

(REPRESENTASI PENGETAHUAN)

Syifa Alya Nabila

16115777

3KA12

Sistem Informasi

Universitas Gunadarma

REPRESETASI PENGETAHUAN

Merupakan penangkapan sifat-sifat penting problema dan membuat informasi itu dapat diakses oleh prosedur pemecahan problema.



1. REKAYASA ONTOLOGI

merupakan suatu teori tentang makna dari suatu objek, property dari suatu objek, serta relasi objek tersebut yang mungkin terjadi pada suatu domain pengetahuan. Pada tinjauan filsafat, ontology adalah studi tentang sesuatu yang ada. Selain itu ontology adalah sebuah konsep yang secara sistematik menjelaskan tentang segala sesuatu yang ada atau nyata.



Dalam setiap layer tersebut, masing-masing bagian memiliki fungsi masing-masing :
• XML memiliki fungsi menyimpan isi halaman web
• RDF adalah layer untuk merepresentasikan semantik dari isi halaman tersebut
• Ontology layer untuk menjelaskan vocabulary dari domain
• Logic Layer memungkinkan untuk mengambil data yang diinginkan


Dalam bidang Artificial Intelligence (AI) ontology memiliki dua pengertian yang berkaitan.

Pertama ontology merupakan kosakata representasi yang sering dikhususkan untuk domain atau subyek pembahasan tertentu. Kedua, sebagai suatu body of knowledge untuk menjelaskan suatu bahasan tertentu. Secara umum, ontology digunakan pada Artificial Intelligence (AI) dan persentasi pengetahuan. Segala bidang ilmu yang ada di dunia, dapat menggunakan metode ontology untuk dapat berhubungan dan saling berkomunikasi dalam hal pertukaran informasi antara sistem-sistem yang berbeda. Untuk dapat digunakan, sebuah ontology harus diekspresikan dalam notasi yang nyata. Sebuah bahasa ontology adalah sebuah Bahasa formal dari sebuah pembuatan ontology. Beberapa komponen yang menjadi struktur ontology, antara lain :
• XML Menyediakan sintaksis untuk output dokumen terstruktur, tetapi belum dipaksakan untuk dokumen XML menggunakan semantic constrains.
• XML Schema Bahasa untuk pembatasan struktur dari dokumen XML.
• RDF Model data untuk objek (’resources’) dan relasi diantaranya, menyediakan semantic yang
sederhana untuk model data tersebut, dan data model ini dapat disajikan dalam sintaks XML.
• RDF Schema Adalah kosa kata untuk menjelaskan properties dan classes dari sumber RDF, dengan
sebuah semantics untuk hirarki penyamarataan dari properties dan classes.
• OWL Manambahkan beberapa kosa kata untuk menjelaskan properties dan Classes, antara lain :
relasi antara classes (misalkan disjointness), kardinalitas (misalkan ’tepat satu’), equality, berbagai tipe dari properties, karakteristik dari properties (misalkan symmetry), menyebutkan satu persatu classes.
Berbagai bahasa yang menyusun ontology, seperti yang telah dijelaskan di atas memiliki kedudukan
tertentu dalam struktur ontology. Setiap layer akan memiliki fungsi tambahan dan kompleksitas tambahan dari layer sebelumnya. Pengguna atau User yang memiliki fungsi pemrosesan layer paling rendah dapat memahami walaupun tidak seluruh ontology yang terletak di layer atasnya.

Cara-cara lama:
· List, digunakan pada LISP
· Predicate Calculus, digunakan pada Prolog
· Tree, untuk heuristic search

Karakteristik RP (Representasi Pengetahuan) :
· Dapat diprogramkan
· Dapat dimanfaatkan untuk penalaran, menggambarkan kesimpulan sebagai fungsi kecerdasan

Hal yang berhubungan dengan RP:
· Object pengetahuan itu sendiri
· Event: kejadian-kejadian dalam dunia nyata dan hubungannya
· Performa: bagaimana melakukan suatu tugas tertentu
· Meta knowledge: pengetahuan tentang pengetahuan yang direpresentasikan

Secara singkat, represntasi pengetahuan diklasifikasikan menjadi 4 kategori.
1) Representasi logika
2) Representasi procedural
3) Representasi network
4) Representasi terstruktur

2. PENGKATEGORIAN DAN OBJEK:

A. KOMPOSISI FISIK
adalah tata susunan yang menyangkut keseimbangan, kesatuan, irama, dan keselarasan dalam suatu karya seni rupa.jadi komposisi fisik adalah susunan kesatuan dari suatu bentuk fisik / yg dapat dilihat.

B. PENGUKURAN
adalah penentuan besaran, dimensi, atau kapasitas, biasanya terhadap suatu standar atau satuan ukur. Pengukuran juga dapat diartikan sebagai pemberian angka tehadap suatu atribut atau karakteristik tertentu yang dimiliki oleh seseorang, hal, atau objek tertentu menurut aturan atau formulasi yang jelas dan disepakati. Pengukuran dapat dilakukan pada apapun yang dibayangkan, namun dengan tingkat kompleksitas yang berbeda. Misalnya untuk mengukur tinggi, maka seseorang dapat mengukur dengan mudah karena objek yang diukur merupakan objek kasat mata dengan satuan yang sudah disepakati secara internasional. Namun hal ini akan berbeda jika objek yang diukur lebih abstrak seperti kecerdasan, kematangan, kejujuran, kepribadian, dan lain sebagainya sehingga untuk melakukan pengukuran diperlukan keterampilan dan keahlian tertentu.

C. SUBSTANSI DAN OBJEK
adalah watak sebenarnya dari sesuatu yang sedang dibicarakan/dijadikan pokok acuan/target.

3. AKSI, SITUASI, DAN KEJADIAN/EVENT
adalah tindakan yang dilakukan berdasarkan suatu kejadian keadaan sekitar yang sedang berlangsung.

4. MENTAL OBJEK:

A. PENGETAHUAN DAN KEPERCAYAAN
adalah informasi yang diketahui atau disadari oleh manusia, atau pengetahuan adalah berbagai gejala yang ditemui dan diperoleh manusia melalui pengamatan indrawi dari suatu sikap yang ditunjukkan manusia saat dia merasa cukup tahu dan menyimpulkan bahwa dirinya telah mencapai kebenaran.

B. PENGETAHUAN WAKTU DAN AKSI
Merupakan ilmu pengetahuan dari tindakan yang dilakukan berdasarkan suatu kejadian berdasarkan waktu kejadian.

5. SISTEM PENALARAN UNTUK PENGKATEGORIAN:

A. JARINGAN SEMANTIK

adalah gambaran pengetahuan grafis yang menunjukkan hubungan antar berbagai objek, terdiri dari lingkaran-lingkaran yang dihubungkan dengan anak panah yang menunjukkan objek dan informasi tentang objek-objek tersebut. Gambar berikut menunjukkan representasi pengetahuan menggunakan jaringan semantik.
Jaringan semantik diatas dapat dibaca sebagai berikut:

· Juwita asisten lepkom mempunyai 6 bagian atau juwita asisten lepkom milik gunadarma adalah universitas
· Juwita seorang mahasiswa dari gunadarma adalah universitas
· Juwita belajar Matif membahas Bil.Asli
· Juwita anak ke- 3 adalah Bil.Bulat
· Juwita adalah Perempuan memakai Jepitan Rambut sebanyak 3

B. LOGIKA DESKRIPSI

adalah salah satu keluarga bahasa representasi pengetahuan yang dapat digunakan untuk mewakili definisi konsep domain aplikasi (dikenal sebagai pengetahuan terminologi) dalam cara yang terstruktur dan formal dipahami dengan baik.

6. PENALARAN DENGAN INFORMASI DEFAULT

adalah proses yang berhubungan dengan pengetahuan, fakta, dan strategi pemecahan masalah (problem solving) oleh manusia untuk mendapatkan informasi baru dari informasi yang sudah diketahui (pengetahuan) yang ada relasinya untuk mendapatkan konklusi/penyelesaian.

PENGETAHUAN DAN PENALARAN LOGIKA ORDE PERTAMA

PENGETAHUAN DAN PENALARAN

Syifa Alya Nabila

16115777

3KA12

Sistem Informasi

Universitas Gunadarma

1. Pengenalan Logika Orde Pertama

Logika orde pertama adalah sistem resmi yang digunakan dalam matematika , filsafat ,linguistik , dan ilmu komputer standar untuk formalisasi matematika menjadi aksioma dan dipelajari di dasar matematika . Teori matematika, seperti nomor teori dan teori himpunan , telah diresmikan menjadi orde pertama aksioma skema seperti Peano aritmatika dan Zermelo-Fraenkel teori himpunan masing-masing (ZF). . Hal ini juga dikenal sebagai orde pertama predikat kalkulus, semakin rendah kalkulus predikat, teori kuantifikasi, dan logika predikat. Logika orde pertama dibedakan dari logika proposisional oleh penggunaan variabel terukur . Sebuah teori tentang beberapa topik biasanya logika orde pertama bersama-sama dengan yang ditentukan domain wacana dimana variabel diukur berkisar, finitely banyak fungsi yang memetakan dari domain yang ke dalamnya, finitely banyak predikat didefinisikan pada domain tersebut, dan satu set rekursif dari aksioma yang diyakini terus untuk hal-hal. Kadang-kadang “teori” dipahami dalam arti yang lebih formal, yang hanya satu set kalimat dalam logika orde pertama. Kata sifat “orde pertama” membedakan orde pertama logika darilogika tingkat tinggi di mana ada predikat yang memiliki predikat atau fungsi sebagai argumen, atau di mana salah satu atau kedua bilangan predikat atau fungsi bilangan diizinkan. Dalam first teori order, predikat sering dikaitkan dengan set. Dalam ditafsirkan tingkat tinggi teori, predikat dapat ditafsirkan sebagai set set.

2. Sintak dan Semantik Logika Orde Pertama:

a. Model Simbol dan Interpretasi.

Logika Orde Pertama digunakan untuk merepresentasikan hal-hal yang tidak dapat direpresentasikan menggunakan Logika Proposisi. Operator-operator yang digunakan pada Logika Orde Pertama adalah MODEL SIMBOL.

Simbol-simbol tetapan masing-masing merupakan hanya satu anggota yang berbeda dp universe of discourse. Simbol fungsi merupakan suatu fungsi pd universe of discourse. Ter dapat simbol fungsi satu-tempat f(x), dan dua-tempat f(x,y) dan seterus nya, Setiap bahasa orde pertama memiliki kosakata, mengatakan kita yang simbol yang digunakan dan bagaimana. Simbol seperti ini sering disebut non-logis simbol bahasa. Sisa bahan dari bahasa orde pertama adalah kumpulan variabel (x, y, z dan sebagainya), yang connectives boolean (∧, ∨, ¬, →), yang pembilang (∃ dan ∀), dan tanda kurung ditambah dengan koma ke grup bersama-sama simbol.

Interpretasi menugaskan makna untuk tiap simbol pada logika predikat yakni : konstan, fungsi dan predikat. Interpretasi menugaskan suatu nilai pada domain atau disebut objek kepada konstan dan variabel, fungsi atas domain kepada simbol fungsi dan relasi atas domain pada simbol predikat.

Sembarang interpretasi atas G harus menentukan domain dan menugaskan nilai ke tiap simbol dan terutama ke konstan a, fungsi f dan predikat p. 

Sintak dan semantik logika orde pertama

Syntax pada FOL: Elemen dasar

•Constants KingJohn, 2, NUS,...

•Predicates Brother, >,...

•Functions Sqrt, LeftLegOf,...

•Variables x, y, a, b,...

•Connectives , , , , 

•Equality =

•Quantifiers , 

b. Quantifiers

Terdapat dua quantifier secara umum yaitu Universal quantifier (∀) yang menyatakan sesuatu yang bersifat umumdan Existential quantifier (∃) yang menyatakan sesuatu yang berlaku sebagian saja.

UniversalQuantifier

Jika Asuatu ekspresi logika dan x adalah variable, maka jika ingin menentukanbahwa A adalah bernilai benar untuk semua nilai yang dimungkinkan untuk x,maka akan ditulis. Disini disebut kuantoruniversal, dengan A adalah scope dari kuantor tersebut. Variabel xdisebut terikat (bound) dengan kuantor.

Simbol UniversalQuantifier menggantikan kata ‘untuksemua’, ‘untuk seluruh’.Dan digunakan pada pembentukan formula dengan bentuk:

(x) P(x)

(x) P(x) bernilai benar apabila predikat P(x)bernilai benar. Formula tersebut dapat dibaca sebagai ‘Seluruh x untuk P(x)’ atau ‘Setiap x untuk P(x)’

Contoh:

“Semua Gajah mempunyai belalai”Jika G adalah gajahdan B adalah belalai maka ditulis dalam kuantor universal menjadi , dibaca “Jika x adalah Gajah maka, x mempunyai belalai”.Belum bisa dibuktikan secara predikat karena jumlah gajah bisa banyak bisa sajacuma satu, maka diperluas menjadi , dibaca “Untuk semua x, jika x seekor gajah, maka xmempunyai belalai”.

“Semua mahasiswa harus rajin belajar”Langkah1: Cari lingkupatau scope dari kuantor universal, pada argument diatas menjadi “Jika x adalahmahasiswa, maka x harus rajin belajar” ditulis menjadi .

Langkah2: Beri kuantoruniversal didepannya, dari hasil yang didapat pada langkah pertama menjadi

Langkah3: Ubah menjadisuatu fungsi.

ExistentialQuantifier

Definisi: Jika Asuatu ekspresi logika dan x adalah variable, maka jika ingin menentukanbahwa A adalah bernilai benar untuk sekurang-kurangnya satu dari x,maka akan ditulis . Disini disebut kuantoreksistensial, dengan A adalah scope dari kuantor tersebut. Variabel xdisebut terikat (bound) dengan kuantor.

Simbol ExistentialQuantifier menggantikan kata ‘ada’, ‘beberapa’, ‘tidaksemua’, ‘terdapat’.Dan digunakan pada pembentukan formula dengan bentuk:

(x) P(x)

(x) P(x) bernilai benar apabila ada x yang menyebabkan P(x)bernilai benar. Formula tersebut dapat dibaca sebagai ‘Ada x untuk P(x)’

Contoh:

“Ada bilangan prima yang genap”Jika P adalah bilangan‘prima’ dan G adalah ‘genap’, argumen tersebut dapat dibaca “Ada x, yang xadalah bilangan prima dan x adalah genap”, sehingga disimbolkan menjadi .

“Ada pelajar memperoleh beasiswa prestasi”Langkah1: Cari lingkupatau scope dari kuantor eksistensial, pada argument diatas menjadi “Ada x, yang x adalahpelajar, dan x memperoleh beasiswa prestasi”, sehingga ditulis menjadi

Langkah2: Berilahkuantor eksistensial di dari hasil yangdidapat pada langkah pertama menjadi 

Langkah3: ubah menjadisuatu fungsi.

c. Equality

Merupakan logika yang membandingkan kesamaan antara dua atau lebih kalimat yang memiliki kesamaan nilai logika. Equality disimbolkan dengan tanda = .

d. Kalimat Atomik

Atomic sentence = predicate (term1,...,termn) or term1 = term2

Term = function (term1,...,termn) or constant or variable

•Misal: 

Brother(KingJohn,RichardTheLionheart)>(Length(LeftLegOf(Richard)), Length(LeftLegOf(KingJohn)))

12/10/2012

6

First-

e. Kalimat Komplek

Kalimat komplek dibuat dari kalimat atommenggunakan konektivitas

S, S1  S2, S1  S2, S1  S2, S1  S2,

Misal: Sibling(KingJohn,Richard)  Sibling(Richard,KingJohn)

>(1,2)  ≤ (1,2)

>(1,2)   >(1,2)

3. Logika Proposisi vs Logika Orde Pertama

Proposional logic berupa kalimat-kalimat lengkap dari fakta atau kenyataan, atau bisa dikatakan sebuah propositional logic bisa merupakan sebuah proposisi adalah kalimat yang berbentuk dengan sendirinya, apakah kalimat itu bernar atau kalimat itu salah. Propositional logic merupakan operator-operator untuk menghubungkan proposisi-proposisi dalam bentuk, ungkapan dan ekspresi, sebagai kata penyambung logika.

Logika orde pertama adalah sistem resmi yang digunakan dalam matematika , filsafat ,linguistik , dan ilmu komputer standar untuk formalisasi matematika menjadi aksioma dan dipelajari di dasar matematika .

Logika Orde Pertama digunakan untuk merepresentasikan hal-hal yang tidak dapat direpresentasikan menggunakan Logika Proposisi. Operator-operator yang digunakan pada Logika Orde Pertama adalah MODEL SIMBOL.

4. Logika First-Order digunakan dalam ilmu IntelejensiBuatan sebagai Representasi Pengetahuan. Persolan yang ada memiliki pernyataanlebih kompleks lagi tapi dapat diselesaikan dengan Pelacakan Terbalik(Backward).

5. Resolusi

Resolusi adalah suatu aturan untuk melakukan inferensi yang dapat berjalan secara efisien dalam suatu bentuk khusus conjunctive normal form (CNF). Pada logika orde pertama, prosedur untuk membuktikan proposisi P dengan beberapa aksioma F yang telah diketahui, dengan menggunakan resolusi.

Pembuktiannya dapat dilakukan dengan mengikuti prosedur logika proposisional dengan menentukan terlebih dahulu proposisi-proposisinya :

A = Semua mahasiswa pasti pandai

B = Badu seorang mahasiswa

C = Badu pasti pandai

Selanjutnya akan menjadi seperti berikut :

A

B

_____

:. C

Dalam ekspresi logika : (A ˄ B)=>C

Dalam bentuk ekspresi logika diatas, tidak ada hukum-hukum logika proposisional yang dapat digunakan untuk membuktikan validitas argumen tersebut karena tidak ada yang mampu menghubungkan antara ketiga proposisi yang digunakan diatas. Atau tidak mungkin suatu kesimpulan yang berbeda dapat dihasilkan dari premis-premis yang berbeda. Dengan kata lain, tidak mungkin suatu kesimpulan berupa C dapat dihasilkan dari premis A dan premis B.

Jika argumen diatas masih ingin dibuktikan dengan logika proposisional, maka kalimatnya harus diperbaiki.

SUMBER :

https://ismailakbar12.wordpress.com/2015/06/25/makalah-artifical-intellegent-representasi-pengetahuan/

http://ulungsatria.webs.com/apps/blog/show/10671951-logika-predikat-