Logiikkapohjainen ohjelmointi

Looginen ohjelmointi tarkoittaa matemaattisen logiikan käyttöä tietokoneohjelmien kirjoittamisessa. On olemassa erikoistuneita ohjelmointikieliä, joilla käyttäjä voi syöttää suoraan loogisia lausekkeita. Luultavasti tunnetuin näistä kielistä on nimeltään Prolog. Alonzo Church käytti logiikkaohjelmoinnin muotoa, joka tunnetaan nykyään lambdalaskennana. Loogista ohjelmointia on käytetty myös LISP:ssä.

Ohjelmat koostuvat joukosta sääntöjä ja tosiasioita. Useimmissa tapauksissa logiikkaohjelmoinnissa käytetään niin sanottua negaatiota epäonnistumisena tai heikkoa negaatiota: Tämä tarkoittaa sitä, että jos jotakin lauseketta p {\displaystyle p} $p$ ei ole mahdollista johtaa tosiasioista ja säännöistä, järjestelmä olettaa, että sen negaatio on tosi.

Kysymyksiä ja vastauksia

K: Mitä on looginen ohjelmointi?

V: Looginen ohjelmointi on lähestymistapa ohjelmointiin, jossa tietokoneohjelmien kirjoittamisessa käytetään matemaattista logiikkaa.

K: Mitkä ohjelmointikielet käyttävät logiikkaohjelmointia?

V: Joitakin logiikkaohjelmointia käyttäviä ohjelmointikieliä ovat esimerkiksi Prolog ja LISP.

K: Mikä on sääntöjen ja tosiasioiden rooli loogisessa ohjelmoinnissa?

V: Logiikkaohjelmoinnissa ohjelmat koostuvat joukosta sääntöjä ja tosiasioita.

K: Mikä on negaatio vikana loogisessa ohjelmoinnissa?

V: Negaatio epäonnistumisena on logiikkaohjelmoinnissa käytetty käsite, jossa jos tiettyä lauseketta ei voida johtaa tosiasioista ja säännöistä, järjestelmä olettaa, että sen negaatio on tosi.

K: Mitä on heikko negaatio logiikkaohjelmoinnissa?

V: Heikko negaatio on toinen termi negaatiolle epäonnistumisena, joka on käsite logiikkaohjelmoinnissa.

K: Kuka käytti erästä logiikkaohjelmoinnin muotoa lambdalaskentaa?

V: Alonzo Church käytti logiikkaohjelmoinnin muotoa, joka tunnetaan nykyään lambdalaskennana.

Kysymys: Mikä on tunnetuin ohjelmointikieli, jonka avulla käyttäjät voivat syöttää suoraan loogisia lausekkeita?

V: Prolog on luultavasti tunnetuin ohjelmointikieli, joka sallii käyttäjien syöttää suoraan loogisia lauseita.