Makalah Animasi Dengan Power Point

Abstark

Animasi adalah gambar begerak berbentuk dari sekumpulan objek (gambar) yang disusun secara beraturan mengikuti alur pergerakan yang telah ditentukan pada setiap pertambahan hitungan waktu yang terjadi. Gambar atau objek yang dimaksud dalam definisi di atas bisa berupa gambar manusia, hewan, maupun tulisan.dengan Microsoft power point sebagai media untuk mempersentasikan animasi dalam bentuk slide show.

Pendahuluan

Microsoft PowerPoint atau Microsoft OfficePowerPoint atau PowerPoint adalah sebuah program komputer untuk presentasi yang dikembangkan oleh Microsoft di dalam paket aplikasi kantoran mereka, Microsoft Office, selain MicrosoftWord, Excel, Access dan beberapa program lainnya.

Animasi ini menceritakan hebatnya seekor kucing ajaib yang bisa mengabulkan semua permintaan.ketika garfiled meminta sesuatu dengan kucing tersebut.dia langsung kabulkan nama kucing itu adalah doraemon.

Animasi pada Ms. Powerpoint adalah sebuah daya tarik dan kekuatan aplikasi ini. Semua penjelasan mengenai obyek-obyek pada slide hanyalah pengulangan penjelasan yang sudah ada pada aplikasi kelompok MS. Office lainnya, kecuali animasi dan cara menampilkan animasi itu sendiri.Animasi adalah obyek yang dapat bergerak sehingga membuat presentasi lebih menarik dan terlihat professional. Animasi pada MS.Powerpoint adalah animasi yang mudah diterapkan dan tidak memerlukan banyak kemampuan pemrograman seperti pada aplikasi pembuat animasi lainnya.

Cara membuat Animasi dengan power point

Langkah awal:

• Buka aplikasi Microsoft office, lalu pilih Microsoft power point.
• Bisa menggunakan gambar dari google  untuk menjadikan animasinya.

Langkah kedua:

• Klik item yang akan diberikan animasi misalnya text, gambar atau shape. Ketika di klik akan muncul tanda seperti di text “team terbaik”
• Klik menu animasi, gunakan animasi sesuai kebutuhan. Ada tiga jenis efek animasi Entrance Effects untuk memunculkan objek, Emphasis Effectsuntuk memberi penekanan pada objek, Exit Effects untuk menghilangkan objek, untuk yang lainnya adalah tambahan.
• Effect option sebagai pilihan arah muncul/ hilangnya objek
• Add animation apabila anda ingin menggunakan lebih dari 1 jenis animasi
• Animation pane untuk mengatur urut-ututan kemunculan objek
• Mengatur lamanya efek pada objek dan cara keluarnya, di start anda bisa memilih muncul sendiri atau di klik dengan pointer

Menyetel waktu mulai dan kecepatan efek animasi

• Di slide, klik teks atau objek yang berisi efek animasi yang ingin Anda atur waktu mulainya.
• Pada tab animasi , klik mulai panah bawah, dan pilih salah satu hal
• Untuk memulai efek animasi saat Anda mengklik slide, pilih Mulai Saat Klik.
• Untuk memulai efek animasi pada waktu yang sama dengan efek sebelumnya di daftar (di mana satu klik menjalankan beberapa efek animasi), pilih Mulai Dengan Sebelumnya.
• Untuk memulai efek animasi segera setelah efek sebelumnya di daftar selesai diputar, pilih Mulai Setelah Sebelumnya.

Referesensi dari gambar ini :

• http://sieminka.blox.pl/resource/garfild.gif
• http://gambarbergerak.xyz/wp-content/uploads/2015/12/gambar-doraemon-bergerak-power-point-tcYN.jpg
• http://www.gambaranimasi.org/data/media/230/animasi-bergerak-burung-0051.gif
• https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjHHZ0ucZgBufqOt0iBuaR2bRLgKYY0rYVhx-LP5ewnCNhdD3zVnszoUWpFJZfsg19QJidj41UI2SE9TBJQSArqNawEeulNTmRgmboY3Vt-UeZ-2mQaFMUNYKL7fKhox6HX4o703Q8cLmv2/s1600/Gambar+Animasi+Doraemon+Bergerak+Lucu+Hoola+Hop.gif
• http://4.bp.blogspot.com/nArYUZCCImk/UVKO_DeFk0I/AAAAAAAAJrs/hNWR3xf3NGE/s1600/3.jpg
• http://www.myjewishclipart.com/wp-content/uploads/2016/02/gambar-doraemon-lucu-mohon-maaf.gif

PENUTUP

Kesimpulan

Dengan makalah ini dapat disimpulkan bahwa membuat animasi denga power point sangat mudah dan bisa dipahami dengan cepat.sehingga membuat untuk persentasi menjadi lebih menarik dan tidak membosankan.

Daftar pustaka

• http://trainingpresentasi.net/membuat-animasi-presentasi-powerpoint/
• septiandekky.blog.widyatama.ac.id/2014/06/13/pengertian-dan-jenis-jenis-animasi/
• https://id.wikipedia.org/wiki/Microsoft_PowerPoint
• http://quncen.blogspot.co.id/2011/01/microsoft-powerpoint-2007-animasi.html

8 Representasi Pengetahuan : Logika Predikat

Representasi   Pengetahuan   :  Logika Predikat

Fungsi-Fungsi Logika Predikat

Logika predikat sebenarnya adalah logika proposional ditambah dengan hal-hal baru seperti kuantor, universe of discourse, term, predikat dan fungsi dengan masalah pengkuantoran dan menambah istilah-istilah baru.

Istilah dalam Logika Predikat:

• Term : kata benda atau subjek

• Predikat : properti dari term

• Fungsi proposisional=fungsi

• Kuantor

– Universal: yang selalu bernilai benar (∀).

– Eksistensial: bisa bernilai benar atau salah(∃).

Contoh Logika Predikat:

• Nani adalah ibu dari Ratna.

• Term=nani , ratna

• Predikat=adalah ibu dari

• Fungsi=ibu(nani,ratna) ; M(n,r)

Bentuk logika predikat:

M(n,r)→¬M(r,n)

 Logika Predikat Order Pertama

Logika Predikat Order Pertama disebut juga kalkulus predikat, merupakan logika yang digunakan untuk merepresentasikan masalah yang tidak dapat direpresentasikan dengan menggunakan proposisi. Logika predikat dapat memberikan representasi fakat-fakta sebagai suatu pernyataan yang mapan (well form).

Logika orde pertama adalah sistem resmi yang digunakan dalam matematika , filsafat ,linguistik , dan ilmu komputer . 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 dari logika 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.

Ada banyak sistem deduktif untuk orde pertama logika yang sehat(semua laporan dapat dibuktikan benar dalam semua model) danlengkap (semua pernyataan yang benar dalam semua model yang dapat dibuktikan). Meskipun konsekuensi logis hubungan hanya semidecidable , banyak kemajuan telah dibuat dalam teorema otomatis dalam logika orde pertama. Logika orde pertama juga memenuhi beberapa metalogical teorema yang membuatnya setuju untuk analisis dalam teori bukti , seperti teorema Löwenheim-Skolem dan teorema kekompakan .

Logika orde pertama adalah 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).

Tidak ada teori orde pertama, bagaimanapun, memiliki kekuatan untuk menggambarkan sepenuhnya dan kategoris struktur dengan domain yang tak terbatas, seperti bilangan asli atau garis nyata .Sistem aksioma kategoris untuk struktur ini dapat diperoleh dalam logika kuat seperti logika orde kedua .

Syarat-syarat symbol dalam logika predikat :

himpunan huruf, baik huruf kecil maupun huruf besar dalam abjad.

Himpunan digit (angka) 0,1,2,…9

Garis bawah “_”

Symbol-simbol dalam logika predikat dimulai dengan sebuah huruf dan diikuti oleh sembarang rangkaian karakter-karakter yang diijinkan.

Symbol-simbol logika predikat dapat merepresentasikan variable, konstanta, fungsi atau predikat

Logika Predikat Order Pertama terdiri dari :

Konstanta: objek atau sifat dari semesta pembicaraan. Penulisannya diawali dengan huruf kecil, seperti : pohon, tinggi. Konstanta true(benar) dan false(salah) adalah symbol kebenaran (truth symbol).

Variable : digunakan untuk merancang kelas objek atau sifat-sifat secara umum dalam semesta pembicaraan. Penulisannya diawali dengan huruf besar, seperti : Bill, Kate.

Fungsi : pemetaan (mapping) dari satu atau lebih elemen dalam suatu himpunan yang disebut domainfungsi ke dalam sebuah elemen unik pada himpunan lain yang disebut rangefungsi. Penulisannya dimulai dengan huruf kecil. Suatu ekspresi fungsi merupakan symbol fungsi yang diikuti argument.

Argument adalah elemen-elemen dari fungsi, ditulis diapit tanda kurung dan dipisahkan dengan tanda koma.

Predikat: menamai hubungan antara nol atau lebih objek dalam semesta pembicaraan. Penulisannya dimulai dengan huruf kecil, seperti : equals, sama dengan, likes, near.

Contoh kalimat dasar :

teman(george,allen)

teman(ayah_dari(david),ayah_dari(andrew))

dimana:

argument : ayah_dari(david) adalah george

argument : ayah_dari(andrew) adalah allen

predikat : teman

Quantifier Universal

Dalam logika predikat , quantifieri universal merupakan jenis quantifier , sebuah konstanta logis yang ditafsirkan sebagai “diberi” atau “untuk semua”. Ini mengungkapkan bahwa fungsi proposisi dapat dipenuhi oleh setiap anggota dari domain wacana. Dalam istilah lain, itu adalah predikasi dari properti atau hubungan dengan setiap anggota domain. Ini menegaskan bahwa predikat dalam lingkup dari quantifier universal benar dari setiap nilai dari variabel predikat .

Hal ini biasanya dilambangkan dengan berbalik A (∀) operator logika simbol, yang bila digunakan bersama-sama dengan variabel predikat, disebut quantifier universal  (“∀x”, “∀ (x)”, atau kadang-kadang dengan “(x) “saja). Kuantifikasi Universal berbeda dari kuantifikasi eksistensial (“ada ada”), yang menegaskan bahwa properti atau relasi hanya berlaku untuk setidaknya satu anggota dari domain.

Contoh 1 :

(∀x) (x + x = 2x)

“untuk setiap x (dimana x adalah suatu bilangan), kalimat x + x = 2x adalah benar.”

Contoh 2 :

(∀x) (p) (Jika x adalah seekor kucing -> x adalah binatang).

Kebalikan kalimat “bukan kucing adalah binatang” ditulis :

(∀x) (p) (Jika x adalah seekor kucing -> ~x adalah binatang)

dan dibaca :

– “setiap kucing adalah bukan binatang”

“semua kucing adalah bukan binantang”

Contoh 3:

(∀x) (Jika x adalah segitiga -> x adalah polygon)

Dibaca : “untuk semua x, jika x adalah segitiga, maka x adalah polygon”.

Dapat pula ditulis : (∀x) (segitiga(x) -> polygon(x))

(∀x) (T(x) -> P(x))

Contoh 4 :

(∀x) (H(x) -> M(x))

Dibaca : “untuk semua x, jika x adalah manusia (human), maka x melahirkan (mortal)”.

Ditulis dalam aturan : IF x adalah manusia THEN x melahirkan.

Quantifier Exsistensial

Dalam logika predikat , suatu quantifier eksistensial adalah jenis quantifier , sebuah konstanta logis yang ditafsirkan sebagai “ada ada,” “ada setidaknya satu,” atau “untuk beberapa.” Ini mengungkapkan bahwa fungsi proposisi dapat dipenuhi oleh setidaknya satu anggota dari domain wacana . Dalam istilah lain, itu adalah predikasi dari properti atau hubungan dengan setidaknya satu anggota dari domain. Ini menegaskan bahwa predikat dalam lingkup dari quantifier eksistensial adalah benar dari setidaknya satu nilai darivariabel predikat .

Hal ini biasanya dilambangkan dengan E berubah (∃) operator logika simbol, yang bila digunakan bersama-sama dengan variabel predikat, disebut quantifier eksistensial (“∃x” atau “∃ (x)”) Kuantifikasi eksistensial.

Contoh 1 :

(∃x) (x . x = 1)

Dibaca : “terdapat x yang bila dikalikan dengan dirinya sendiri hasilnya sama dengan 1.”

Contoh 2 :

(∃x) (gajah(x) ∧ nama(Clyde))

Dibaca : “beberapa gajah bernama Clyde”.

Contoh 3 :

(∀x) (gajah(x) -> berkaki empat(x))

Dibaca : “semua gajah berkaki empat”.

Universal quantifier dapat diekspresikan sebagai konjungsi.

(∃x) (gajah(x) ∧ berkaki tiga(x))

Dibaca : “ada gajah yang berkaki tiga”

Existensial quantifier dapat diekspresikan sebagai disjungsi dari

urutan ai. P(a1) ∨ 

sumber :               http://bagusnunu.blogspot.co.id/2014/09/representasi-pengetahuan.html

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

7. Representasi Pengetahuan : Logika Proposisi

Representasi   Pengetahuan :  Logika Proposisi

Logika Proposisi disebut juga kalkulus proposisi yang merupakan logika simbolik untuk memanipulasi proposisi. Proposisi merupakan pernytaan yang dapat bernilai benar atau salah.

OPERATOR
 
Operator logika yang digunakan 

Operator     =	Fungsi
∧                =	Konjungsi (AND/DAN)
∨                =	Disjungsi (OR/ATAU)
~                 =	Negasi (NOT/TIDAK)
->               =	Implikasi/Kondisional (IF..THEN../JIKA.. MAKA….)
↔               =	Equivalensi/Bikondisional

(IF AND ONLY IF / JIKA DAN HANYA JIKA)
p ↔q≡(p -> q) ∧(q -> p)

Kondisional merupakan operator yang analog dengan production rule.

Contoh 1 :

“ Jika hujan turun sekarang maka saya tidak pergi ke pasar”
Kalimat di atas dapat ditulis : p -> q
Dimana : p = hujan turun
q = saya tidak pergi ke pasar

Contoh 2 :

p = “Anda berusia 21 atau sudah tua”
q = “Anda mempunyai hak pilih”

Kondisional p -> q dapat ditulis/berarti :

Kondisional	Berarti
p implies q	Anda berusia 21 tahun atau sudah tua implies Anda mempunyai hak pilih.
Jika p maka q	Jika Anda berusia 21 tahun atau sudah tua, maka Anda mempunyai hak pilih.
p hanya jika q	Anda berusia 21 tahun atau sudah tua, hanya jika Anda mempunyai hak pilih.
p adalah (syarat

cukup untuk q)Anda berusia 21 tahun atau sudah tua adalah syarat cukup Anda mempunyai hak pilih.q jika pAnda mempunyai hak pilih, jika Anda berusia 21 tahun atau sudah tua.q adalah (syarat
perlu untuk p)Anda mempunyai hak pilih adalah syarat perlu Anda berusia 21 tahun atau sudah tua.

Logika Proposisi juga menjelaskan tentang :

Tautologi: pernyataan gabungan yang selalu bernilai benar.
Kontradiksi: pernyataan gabungan yang selalu bernilai salah.
Contingent: pernyataan yang bukan tautology ataupun kontradiksi.
Tabel Kebenaran untuk logika konektif :

p	q	p ^ q	p v q	p -> q	p ↔ q
T	T	T	T	T	T
T	F	F	T	F	F
F	T	F	T	T	F
F	F	F	F	T	T

Tabel kebenaran untuk negasi konektif :

p	~p
T	F
F	T

  Logika dan Set Jaringan

Representasi pengetahuan dengan symbol logika merupakan bagian dari penalaran eksak. Bagian yang paling penting dalam penalaran adalah mengambil kesimpulan dari premis. Logika dikembangkan oleh filusuf Yunani, Aristoteles (abad ke 4 SM) didasarkan pada silogisme, dengan dua premis dan satu konklusi.
Contoh :
– Premis : Semua laki-laki adalah makhluk hidup
– Premis : Socrates adalah laki-laki
– Konklusi : Socrates adalah makhluk hidup
Cara lain merepresentasikan pengetahuan adalah dengan Diagram Venn.
Diagram Venn merepresentasikan sebuah himpunan yang merupakan kumpulan objek. Objek dalam himpunan disebut elemen.
A ={1,3,5,7} ,  B = {….,-4,-2,0,2,4,…..} ,  C = {pesawat, balon}
Symbol epsilon ε menunjukkan bahwa suatu elemen merupakan anggota dari suatu himpunan, contoh : 1 ε A . Jika suatu elemen bukan anggota dari suatu himpunan maka symbol yang digunakan ∉, contoh : 2 ∉ A. Jika suatu himpunan sembarang, misal X dan Y didefinisikan bahwa setiap elemen X merupakan elemen Y, maka X adalah subset dari Y, dituliskan : X ⊂ Y atau Y ⊃ X.
Operasi-operasi Dasar dalam Diagram Venn:
– Interseksi (Irisan)
C = A ∩ B C = {x ∈ U | (x ∈ A) ∧ (x ∈ B)}
Dimana : ∩ menyatakan irisan himpunan | dibaca “sedemikian hingga” ∧ operator logika AND
   
– Union (Gabungan)
C = A ∪ B C = {x ∈ U | (x ∈ A) ∨ (x ∈ B)}
Dimana : ∪ menyatakan gabungan himpunan ∨ operator logika OR


– Komplemen
A’ = {x ∈ U | ~(x ∈ A) }
Dimana : ’ menyatakan komplemen himpunan ~ operator logika NOT

RESOLUSI DAN LOGIKA PREDIKAT FIRT ORDER

Sebelum resolusi dapat diterapkan, wff harus diletakkan dalam bentuk casual

Contoh :

Some programmers hate all failures

No programmer hates any success

\ No failure is a success

P(x) = x is a progammer

F(x) = x is a failure

S(x) = x is a success

H(x,y) = x hates y

Premise dan kesimpulannya

(1)   ($x) [P(x) Ù ("y) (F(y) à H(x,y))]

(2)   ("x) (P(x) à ("y) (S(y) à ~H(x,y))]

(3)   ~("y) (F(y) à ~S(,y))

Konversi ke bentuk clausal :

1.      1. Hilangkan kondisional,   (p à q) º ~p v q

2.      Geser negasi ke dalam (reduksi skope ~). Negasi digeser hanya berlaku untuk atomik formula

3.      Hilangkan quantifier eksistensial

·         Jika $ tidak ada dalam skope ", ganti variabel dengan suatu konstanta baru ($x)   P(x)  diganti P(a)

·         Jika $ berada dalam skope ", ganti variabel dengan suatu fungsi yang memiliki argumen semua variabel dari " tersebut  "x ,"y , $z   P(x,y,z) diganti menjadi "x,"y, P(x,y,F(x,y))

4.      Standarisasi variabel (jika perlu) sehingga tiap quantifier memiliki variabel yang berbeda

5.      Geser semua " ke kiri (karena semua quantifier punya nama yang berbeda, pergeseran tidak mempengaruhi hasil) Bentuk ini disebut prenex normal form terdiri atas prefix quantifier yang diikuti matriks.Hilangkan "." tidak perlu ditulis, diasumsikan semua variabel terkuantifikasi universa.l Geser disjungsi (V) kedalam, sehingga terbentuk conjungsi normal formBuang konjungsi dan uraikan menjadi klausa-klausa

6.      Standarisasi variabel (jika perlu) sehingga tidak ada variabel yang muncul pada lebih dari 1 klausa.

Lakukan langkah-langkah resolusi pada CNF (BP Ù Øα), α adalah pernyataan yang harus dibuktikan Resolusi adalah teknik untuk membuktikan sebuah pernyataan pada logika proposional atau kalkulus predikat

            Refutasi=resolusi, membuktikan teorema dengan menegasikan pernyataan yang harus dibuktikan dan menambahkannya ke kumpulan aksioma yang diketahui benar

Semua aksioma dalam bentuk normal yaitu sebuah kalimat atau disjungsi beberapa kalimat

Pernyataan terbukti benar jika refutasi menghasilkan kalimat kosong

TUJUAN RESOLUSI     

Tujuan dasar resolusi adalah membuat infer klausa baru yang disebut “revolvent” dari dua klausa lain yang disebut parent clause.

 

 

sumber: http://afifrahma.blogspot.co.id/2013/01/resolusi-untuk-logika-predikat.html 

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