Dezunifikacja (informatyka)

Deunifikacja , w informatyce i logice , jest algorytmicznym procesem rozwiązywania nierówności między wyrażeniami symbolicznymi .

Publikacje na temat dezunifikacji

  • Alaina Colmerauera (1984). „Równania i nierówności na drzewach skończonych i nieskończonych”. W ICOT (red.). proc. Int. konf. w sprawie systemów komputerowych piątej generacji . s. 85–99.

  • Huberta Comona (1986). „Wystarczająca kompletność, systemy przepisywania terminów i„ anty-unifikacja ” ”. proc. 8. Międzynarodowa Konferencja na temat Zautomatyzowanego Odliczenia . LNCS . Tom. 230.Springera. s. 128–140. „Antyunifikacja” odnosi się tutaj do rozwiązywania nierówności, nazwy, która w dzisiejszych czasach stała się dość nietypowa, zob. Anty-unifikacja (informatyka) .
  • Claude'a Kirchnera; Pierre Lescanne (1987). „Rozwiązywanie nierówności”. proc. LIC . s. 347–352.
  • Claude'a Kirchnera i Pierre'a Lescanne'a (1987). Rozwiązywanie nierówności (raport z badań). INRIA.
  • Huberta Comona (1988). Zjednoczenie i zjednoczenie: Théorie i aplikacje (PDF) (doktorat). INP z Grenoble.
  • Huberta Comona; Pierre Lescanne (marzec – kwiecień 1989). „Problemy z równaniem i dezunifikacja” . J. Symb. Oblicz. 7 (3–4): 371–425. doi : 10.1016/S0747-7171(89)80017-3 .

  • Wspólne, Hubert (1990). „Wzory równań w algebrach posortowanych według kolejności”. proc. IKALP . Common pokazuje, że teoria logiki pierwszego rzędu dotycząca równości i przynależności do sortowania jest rozstrzygalna, to znaczy każda formuła logiczna pierwszego rzędu zbudowana z dowolnych symboli funkcji „=” i „∈”, ale żadnych innych predykatów, nie może być skutecznie udowodniona lub obalony. Używając logicznej negacji (¬), nierówność (≠) można wyrazić we wzorach, ale relacje porządku (<) nie. Jako aplikacja udowadnia wystarczającą kompletność systemów przepisywania terminów .
  • Huberta Comona (1991). „Rozjednoczenie: ankieta” . W Jean-Louis Lassez; Gordon Plotkin (red.). Logika obliczeniowa - eseje na cześć Alana Robinsona . MIT Press. s. 322–359.
  • Huberta Comona (1993). „Kompletne aksjomatyzacje niektórych algebr ilorazowych” (PDF) . proc. 18. Int. kol. o automatach, językach i programowaniu . LNCS. Tom. 510. Wiśniewski. s. 148–164 . Źródło 29 czerwca 2013 r .

Zobacz też

Pobrano z „ https://en.wikipedia.org/w/index.php?title=Dis-unification_(computer_science)&oldid=1139129082 ”