inkonsistente

Inkonsistente adalah sifat suatu sistem, pernyataan, atau kumpulan informasi yang tidak konsisten, artinya mengandung pertentangan atau tidak serasi secara internal. Dalam bahasa umum, inkonsistensi terjadi ketika unsur informasi saling bertentangan sehingga tidak bisa dipakai secara serentak tanpa penanganan khusus.

Dalam logika formal, suatu himpunan pernyataan dianggap inkonsisten jika mengandung suatu pernyataan P dan negasinya ¬P secara bersamaan. Dalam logika klasik, dari inkonsistensi dapat ditarik kesimpulan apa pun, prinsip yang dikenal sebagai explosion. Karena itu banyak bidang menggunakan logika parakonsisten atau mekanisme penalaran yang dapat membatasi dampak kontradiksi pada penarikan kesimpulan.

Dalam basis data dan ilmu informasi, inkonsistensi muncul ketika data yang terkait identitas yang sama bertentangan, misalnya atribut yang berbeda untuk entitas yang sama atau ketidaksesuaian antara sumber data. Penyebab umum termasuk integrasi data dari sumber berbeda, pembaruan yang tidak sinkron, atau kesalahan perekaman. Praktik seperti normalisasi data, terutama penegakan kunci unik dan integritas referensial, bertujuan mencegah inkonsistensi.

Dalam kecerdasan buatan dan rekayasa pengetahuan, basis pengetahuan bisa mengandung informasi inkonsisten karena sumber yang berbeda atau ketidaklengkapan data. Sistem berbasis logika parakonsisten atau mekanisme penyaringan sumber dapat memungkinkan penalaran yang tetap berguna meski terdapat kontradiksi.

Penanganan inkonsistensi melibatkan identifikasi sumber konflik, penyelesaian konflik, atau penggunaan kerangka logika yang lebih toleran terhadap kontradiksi. Penyebab umum meliputi kesalahan pencatatan, perbedaan interpretasi, noise sensorik, dan integrasi data yang tidak sempurna. Lihat juga konsistensi, logika parakonsisten, knowledge base, serta manajemen kualitas data.