Sabtu, 18 Desember 2010

dear dad ...

dear Allah
i have a letter here from me to dad
and i want you to know it
might be a little sad
here it goes ..

dear dad
i wish that you were here to see your girls grow
in case you are wondering
mommy she's doing fine
and tell me story, about you dad all the time

so when im down and out, lonely or just feeling blue
all i do is think of you
the thoughts all erase my fears and drive my tears

im just writing to let you know
someone cares

daddy i love you . i love you
really really love you
daddy i miss you . i miss you
and i know my mother and sister do too
and i'm gone pray
to deliver you this letter
it will make me feel better



                                                                                                                        happy birthday, ayah :')

Rabu, 15 Desember 2010

apa aja sih yang menyebabkan jerawat?

kamu tak ingin wajah jadi "meriah" akibat jerawat yang meradang di sana-sini kan? Ketahuilah bahwa ada hal-hal yang tanpa kita sadari bisa menyebabkan jerawat. Bukan hanya karena malas mencuci wajah saja, tetapi hal-hal di bawah ini bisa menyebabkan jerawat menjadi aksesori pada kulit wajah kamu.

*Hormon
Perhatikan waktu-waktu kedatangan dan kepergian si jerawat. Jika ia datang cukup teratur, yakni sekitar waktu-waktu menjelang siklus menstruasi kamu, berarti hal ini diakibatkan oleh siklus menstruasi kamu.

Sabtu, 04 Desember 2010

Metode Inferensi


Kelompok:
Luthfiana Azizah
Akbar Hidayat
Eko wahyu 
4 IA03
Pengantar Kecerdasan Buatan


METODE INFERENSI


A.  LOGIKA PREDIKAT URUTAN PERTAMA
(First Order Predicate Logic)

-      Representasi 4 kategori silogisme menggunakan logika predikat

Bentuk
Skema
Representasi Predikat
A
Semua S adalah P
("x) (S(x)àP(x))
E
Tidak S adalah P
("x) (S(x)à~P(x))
I
Beberapa S adalah P
($x) (S(x)àP(x))
O
Beberapa S bukan P
($x) (S(x)à~P(x))

-      Kaidah Universal Instatiation merupakan state dasar, dimana suatu individual dapat digantikan (disubsitusi) ke dalam sifat universal.


-      Contoh :
Misal, f merupakan fungsi proposisi :
                    ("x) f(x)
 \ f(a)

merupakan bentuk yang valid, dimana a menunjukkan spesifik individual, sedangkan x adalah suatu variabel yang berada dalam jangkauan semua individu (universal)

Contoh lain : ("x) H(x)
      \ H(Socrates)
    dimana H(x) : fungsi proposissional dg x adalah human



-      Berikut ini adalah contoh pembuktian formal silogisme:
All men are mortal
Socrates is a man
Therefore, Socrates is mortal

Misal : H = man,  M = mortal,  s = Socrates


Solusi:
1.   ("x) (H (x) à M(x))
2.   H(s)                                     
3.   \ M(s)
4.   H(s) à M(s)                         
5.   M(s)