Forward Chaining

Forward Chaining adalah salah satu metode pengontrolan inferensi berbasis aturan. Pendekatan yang dimotori oleh data. Pelacakan dimulai dari informasi masukan,Selanjutnya mencoba menggambarkan kesimpulan. Pelacakan ke depan mencari fakta.

C0ntoh:

Aturan:

R1.      Jika A dan B, maka C

R2.      Jika C, maka D

R3.      Jika E atau F, maka G

R4.      Jika D dan G, maka  H

R5.      Jika P atau Q, maka S

R6.      Jika S dan C, maka R

R7.      Jika R atau H, maka X

BUKTIKAN KEBENARAN “X”, JIKA;  A,B,E,F,Q =  TRUE dan  P = FALSE !

FORWARD CHAINING

Penyelesaian:

NO	ATURAN	ATURAN BARU
R1	JIKA A ( T ) DAN B ( T ), MAKA C ( T)	R1, C = TRUE
R2	JIKA C ( T ), MAKA D ( T )	R2, D = TRUE
R3	JIKA E ( T ) DAN F ( T ), MAKA G ( T )	R3, G = TRUE
R4	JIKA D ( T ) DAN G ( T ), MAKA  H  ( T )	R4, H = TRUE
R5	JIKA P ( F ) ATAU Q ( T ), MAKA S ( T )	R5, S = TRUE
R6	JIKA S ( T ) DAN C ( T ), MAKA R ( T )	R6, R = TRUE
R7	JIKA R ( T ) DAN H ( T ), MAKA X ( T )	R7, X = TRUE

Campbell Stokes

Campbell Stokes is one of the tape recorders of solar radiation. Campbell Stokes discovered by John Francis Campbell in 1853 and later modified by Sir George Gabriel Stokes in 1879. This device consists of a solid sphere made ​​of glass with a diameter of 4 inches is attached to the position so that sunlight can be focused sharply on pale paper.

Campbell Stokes

Campbell Stokes

Campbell Stokes merupakan salah satu alat perekam penyinaran matahari. Campbell stokes ditemukan oleh John Francis Campbell pada tahun 1853 kemudian dimodifikasi oleh Sir George Gabriel Stokes pada tahun 1879. Alat ini terdiri dari bola pejal terbuat dari bahan gelas dengan diameter 4 inchi yang dipasangkan pada kedudukannya sehingga sinar matahari dapat difokuskan pada kertas pias dengan tajam.

 campbell stokes

sumber: naskah proposal tesis

Mencatat Lamanya Radiasi Matahari

Campbell Stokes

Campbell Stokes adala salah satu alat untuk mencatat lamanya radiasi matahari.

Kertas Pias

KEUNGGULAN KOMPETITIF

 Hal-hal yang harus diperhatikan oleh manajemen untuk keunggulan kompetitif, antara lain:

• Banyak cara untuk mencapai keunggulan kompetitif  diantaranya: menyediakan barang dan jasa dengan harga murah; menyediakan barang dan jasa lebih baik daripada pesaing; dan memenuhi kebutuhan khusus suatu segmen pasar tertentu. 
• Pada bidang komputer, “keunggulan kompetitif” mengacu pada penggunaan informasi untuk mendapatkan “leverage” di pasaran.  
• Artinya, perusahaan tidak selamanya mengandalkan pada sumberdaya fisik, tetapi pada sumber daya konseptual yang unggul – data dan informasi yang dapat digunakan sama baiknya.
•  Keunggulan perusahaan dibandingkan pesaingnya adalah apabila perusahaan dapat memenuhi semua kebutuhan pelanggannya.
• Untuk tujuan ini perusahaan mempersiapkan berbagai strategi.
• Dalam bidang Sistem Informasi, Keunggulan Kompetitif berhubungan dengan penggunaan informasi untuk memperoleh pengaruh di pasar.

Kesimpulannya:

Manajer perusahaan harus menggunakan sumber daya konsepsual (data dan informasi) dan sumber daya fisik dalam mencapai tujuan strategis perusahaan.

 

Logic in Computer Science

The aim of logic in computer science is to develop languages to model the situations we encounter as computer science professionals, in such a way that we can reason about them formally. Reasoning about situations means constructing arguments about them; we want to do this formally, so that the arguments are valid and can be defended rigorously, or executed on a machine.

“It is reasonable to hope that the relationship between computation and mathematical logic will be as fruitful in the next century as that between analysis and physics in the last.”
(J. MacCarthy, 1961)

source:
MICHAEL HUTH &MARK RYAN, LOGIC IN COMPUTER SCIENCE Modelling and Reasoning about Systems
Thierry Coquand , Nov. 9, 2007