b'\n_START_ARTICLE_\nPredikatlogik\n_START_SECTION_\nAnv\xc3\xa4ndningsomr\xc3\xa5den\n_START_PARAGRAPH_\nNedan n\xc3\xa4mns ett par omr\xc3\xa5den d\xc3\xa4r predikatlogiken anv\xc3\xa4nds.\n_START_SECTION_\nElektronik\n_START_PARAGRAPH_\nF\xc3\xb6r enklare kretsteknologi \xc3\xa4r satslogiken tillr\xc3\xa4cklig d\xc3\xa5 den utg\xc3\xb6r grunden f\xc3\xb6r den booleska algebran men inom h\xc3\xb6gre niv\xc3\xa5er av elektronik blir predikatlogik enormt viktigt d\xc3\xa5 den till\xc3\xa5ter skapandet av mera avancerade former av kretsar, mera specifikt inom omr\xc3\xa5det som p\xc3\xa5 engelska heter \xe2\x80\x9dSwitching Theory\xe2\x80\x9d d\xc3\xa4r logiskt sant representeras av 1 emedan logiskt falskt representeras av 0\n_START_SECTION_\nLogisk programmering\n_START_PARAGRAPH_\nI vanlig programmering \xc3\xa4r uppgiften f\xc3\xb6r programmering att tolka en given specifikation, som detaljerat f\xc3\xb6rklarar vad ett program ska g\xc3\xb6ra, till kod som f\xc3\xb6rklarar hur resultaten ska uppn\xc3\xa5s. Ett program \xc3\xa4r s\xc3\xa5ledes instruktioner till en dator som ska generera resultatet som angivits i specifikationen._NEWLINE_Logisk programmering skiljer sig fr\xc3\xa5n detta i att ist\xc3\xa4llet f\xc3\xb6r att instruera datorn vad den ska \xc3\xa5stadkomma s\xc3\xa5 kommer programmeraren att skapa en databas med olika p\xc3\xa5st\xc3\xa5enden och regler g\xc3\xa4llande dessa. Efter detta st\xc3\xa4ller programmeraren en direkt fr\xc3\xa5ga till datorn och datorn genererar ett svar utefter logisk manipulation av det som \xc3\xa4r angivet i databasen. I b\xc3\xa4sta fall beh\xc3\xb6ver logisk programmering inga instruktioner utan enbart fakta._NEWLINE_Idag \xc3\xa4r det mest anv\xc3\xa4nda programmeringsspr\xc3\xa5ket f\xc3\xb6r denna typ av programmering Prolog, dock \xc3\xa4r Prolog mycket omdebatterat d\xc3\xa5 det g\xc3\xb6r s\xc3\xa5 pass stora kompromisser i form av imperativ programmering att fr\xc3\xa5gan \xc3\xa4r huruvida det \xc3\xa4r ett logiskt programmeringsspr\xc3\xa5k \xc3\xb6verhuvudtaget\n_START_SECTION_\nArtificiell intelligens\n_START_PARAGRAPH_\nM\xc3\xa5nga forskare inom omr\xc3\xa5det tror att en av de viktigaste delarna av m\xc3\xa4nskligt medvetande \xc3\xa4r logiskt resonemang och menar att formell logik kan st\xc3\xa5 f\xc3\xb6r en av grundpelarna i skapandet av artificiell intelligens. \xc3\x84ven detta \xc3\xa4r omdebatterat och en del forskare menar att inst\xc3\xa4llningen till logiken som centrum f\xc3\xb6r artificiell intelligens ist\xc3\xa4llet har begr\xc3\xa4nsat utvecklingen snarare \xc3\xa4n att fr\xc3\xa4mja den.'