Sisällysluettelo:
Määritelmä - mitä yhdistäminen tarkoittaa?
Tietotekniikassa ja logiikassa yhdistäminen on algoritminen menetelmä, jota käytetään symbolisten lausekkeiden yhtälöiden ratkaisemisessa. Toisin sanoen, korvaamalla tietyt alalausekkeen muuttujat muilla lausekkeilla, yhdistäminen yrittää tunnistaa kaksi symbolista lauseketta. Yhdistämistä käytetään automatisoidussa päättelytekniikassa, joka on yhä tärkein yhdistämisen sovellusalue.
Yhdistämistä käytetään muun muassa seuraavissa toteutuksissa:
- Kieletyyppisen järjestelmän toteutuksen ohjelmointi
- Looginen ohjelmointi
- SMT-ratkaisijat
- Salausprotokollaanalyysi
- Termien uudelleenkirjoitusalgoritmit
Yhdistäminen on yksi perustavanlaatuisista tekniikoista, joihin automatisoidun deduktion menetelmät perustuvat.
Techopedia selittää yhdistymisen
Termi ”yhdistyminen” ja sen käsitys voidaan johtaa John Alan Robinsoniin. Hän käytti yhdistämistä päätöslauselmansa perusoperaatioksi ja osoitti myös, että yhtenäisteillä termeillä on korkeintaan yksi yleinen yhtenäistäjä. Useat yhdistämiskehykset erotellaan yhdistymisongelmassa esiintyvien ilmaisujen perusteella. Ensimmäisen asteen yhdistäminen on sellainen, jossa korkeamman asteen muuttujat (funktioita edustavat muuttujat) ovat sallittuja lausekkeissa. Vapaa yhdistäminen tai syntaktinen yhdistäminen on sellainen, jossa tarvitaan ratkaisu yhtälön molemmin puolin tasaamiseksi.
Yhdistämisongelman ratkaisu kuvataan korvaamisella, joka on symbolisen arvon kartoittaminen jokaiselle ongelman ilmaisuihin osallistuvalle muuttujalle. Toisin sanoen yhdistämisen keskeinen painopiste on korvaamisen etsiminen kahden tietyn termin yhdistämiseksi. Korkeamman yhtenäisen algoritmin odotetaan tarjoavan minimaalisen ja täydellisen korvausjoukon (joukko, jossa on kaikki asiaankuuluvat ratkaisut ilman redundantteja jäseniä) tietylle ongelmalle. Toisin sanoen yhdistäminen ei ole kiinnostunut vain tietyn yhdistymisen ratkaistavuudesta, jos se on ongelma, vaan myös jos se on ratkaistavissa, yleisimmän yhtenäisen laskemisessa.
Yhdistämistä pidetään:
- Prolog-toteutukset
- Keinotekoiseen älykkyyteen perustuvat asiantuntijajärjestelmät
- Kuvioiden yhteensovittaminen toiminnallisilla kielillä
- Tietyt jäsennyslähestymistavat
- Johtavia tietokantoja
- Luonnollinen kielenkäsittely
- Lause todistaa
- Kirjoita päättelyalgoritmit
