Dis-unification (počítačová věda) - Dis-unification (computer science) - Wikipedia

Zrušení sjednocení, v počítačová věda a logika, je algoritmický proces řešení nerovnice mezi symbolickým výrazy.

Publikace o zrušení unifikace

  • Alain Colmerauer (1984). "Rovnice a nerovnice na konečných a nekonečných stromech". V ICOT (ed.). Proc. Int. Konf. o počítačových systémech páté generace. str. 85–99.
  • Hubert Comon (1986). „Dostatečná úplnost, systémy přepisování termínů a„ anti-sjednocení “'". Proc. 8. mezinárodní konference o automatizovaném odpočtu. LNCS. 230. Springer. str. 128–140.
    „Anti-Unification“ zde odkazuje na řešení nerovností, což je pojmenování, které se dnes stalo docela neobvyklým, srov. Anti-unifikace (počítačová věda).
  • Claude Kirchner; Pierre Lescanne (1987). "Řešení disequations". Proc. LICS. str. 347–352.
  • Claude Kirchner a Pierre Lescanne (1987). Řešení nerovností (Zpráva o výzkumu). INRIA.
  • Hubert Comon (1988). Unification et ununification: Théorie et applications (PDF) (Ph.D.). I.N.P. de Grenoble.
  • Hubert Comon; Pierre Lescanne (březen – duben 1989). „Rovnocenné problémy a disunifikace“. J. Symb. Comput. 7 (3–4): 371–425.
  • Comon, Hubert (1990). "Rovnice vzorce v pořadí seřazených algeber". Proc. ICALP.
    Comon ukazuje, že logika prvního řádu teorie rovnosti a členství v řazení je rozhodnutelná, to znamená, že každý logický vzorec prvního řádu vytvořený ze symbolů libovolných funkcí „=“ a „∈“, ale žádné jiné predikáty, lze účinně dokázat nebo vyvrátit. Pomocí logické negace (¬) lze ve vzorcích vyjádřit nerovnost (≠), ale relační řády (<) nikoli. Jako žádost dokazuje dostatečná úplnost z systémy přepisování termínů.
  • Hubert Comon (1991). „Ununification: A Survey“. V Jean-Louis Lassez; Gordon Plotkin (eds.). Výpočetní logika - Pokusy o čest Alan Robinson. MIT Stiskněte. 322–359.
  • Hubert Comon (1993). „Dokončit axiomatizace některých algeber kvocientu“ (PDF). Proc. 18. Int. Sb. o automatech, jazycích a programování. LNCS. 510. Springer. str. 148–164. Citováno 29. června 2013.

Viz také