Anti-unificación (ciencias de la computación)

El anti-unificación es el proceso de construir una generalización común a dos expresiones simbólicas dadas. Al igual que en la unificación, se distinguen varios marcos de trabajo dependiendo de qué expresiones (también llamadas términos) están permitidas y qué expresiones se consideran iguales. Si las variables que representan funciones están permitidas en una expresión, el proceso se llama "anti-unificación de orden superior", de lo contrario se lo llama "anti-unificación de primer orden". Si se requiere que la generalización tenga una instancia literalmente igual a cada expresión de entrada, el proceso se llama "anti-unificación sintáctica", de lo contrario "E-anti-unificación" o "teoría del módulo de anti-unificación".

Un algoritmo de anti-unificación debería calcular para las expresiones dadas un conjunto de generalización completo y mínimo, es decir, un conjunto que cubra todas las generalizaciones y que no contenga miembros redundantes, respectivamente. Dependiendo del marco de trabajo, un conjunto de generalización completo y mínimo puede tener uno, muchos, posiblemente infinitos miembros, o puede no existir en absoluto; no puede estar vacío, ya que existe una generalización trivial en cualquier caso. Para la anti-unificación sintáctica de primer orden, Gordon Plotkin^[1]^[2] proporcionó un algoritmo que calcula un conjunto de generalización singleton completo y mínimo que contiene la llamada "generalización menos general" (least general generalization, LGG).

La anti-unificación no debe confundirse con la desunificación. Esto último significa el proceso de resolver sistemas de inecuaciones, es decir, encontrar valores para las variables de modo que se satisfagan todas las inecuaciones dadas.

Esta tarea es bastante diferente de encontrar generalizaciones.^[3]

Prerrequisitos

Formalmente, un enfoque de antiunificación presupone:

Un conjunto infinito V de variables. Para la antiunificación de orden superior, es conveniente elegir V disjunto del conjunto de variables vinculadas al término lambda.
Un conjunto T de términos tales que V ⊆ T. Para la antiunificación de primer orden y de orden superior, T suele ser el conjunto de términos de primer orden (términos construidos a partir de símbolos de variables y funciones) y términos lambda (términos que contienen algunas variables de orden superior), respectivamente.
Una relación de equivalencia $\equiv$ en $T$ , indicando qué términos se consideran iguales. Para la antiunificación de orden superior, generalmente $t\equiv u$ Si $t$ y $u$ son alfa equivalentes . Para E-anti-unificación de primer orden, la operación $\equiv$ refleja el conocimiento previo sobre ciertos símbolos de función; por ejemplo, si $\oplus$ se considera conmutativo, $t\equiv u$ Si $u$ resulta de $t$ intercambiando los argumentos de $\oplus$ en algunas (posiblemente todas) ocurrencias. Si no hay ningún conocimiento de fondo (o previo), entonces solo los términos literal o sintácticamente idénticos se consideran iguales.

Referencias

↑ Plotkin, Gordon D. (1970). «A Note on Inductive Generalization». En Meltzer, B., ed. Machine Intelligence 5: 153-163.
↑ Plotkin, Gordon D. (1971). «A Further Note on Inductive Generalization». En Meltzer, B., ed. Machine Intelligence 6: 101-124.
↑ «https://www.nr.no/directdownload/3913/_stvold_-_A_functional_reconstruction_of_anti-unification.pdf».

Datos: Q17003866

Read other articles:

Boeny

Region BoenyRegionLokasi di MadagaskarNegara MadagaskarIbukotaMahajangaLuas[1] • Total31.046 km2 (11,987 sq mi)Populasi (2004)[1] • Total543.200 • Kepadatan17,5/km2 (450/sq mi)Zona waktuUTC+3 (EAT) Boeny adalah sebuah region Barat Laut Madagascar. Ia berbatasan dengan Region Sofia di Timur Laut, Betsiboka di Selatan dan Melaky di sebelah Barat. Ibu kotanya bertempat di Mahajanga, dan populasinya diperkirakan sek...

Unione Sportiva Lucchese Libertas 1951-1952

Voce principale: Associazione Sportiva Lucchese Libertas 1905. Unione Sportiva Lucchese LibertasStagione 1951-1952Sport calcio Squadra Lucchese Allenatore Luigi Ferrero, poi dalla 10ª Piero Andreoli Presidente Umberto Paradossi Serie A18º posto (Retrocessa in Serie B) Maggiori presenzeCampionato: De Fazio, Greco (38) Miglior marcatoreCampionato: Frandsen (12) 1950-1951 1952-1953 Si invita a seguire il modello di voce Questa voce raccoglie le informazioni riguardanti il l'Unione Sporti...

Лагман

У этого термина существуют и другие значения, см. Лагман (значения). Лагман Порция лагмана Страна происхождения Китай Рецепт в Викиучебнике Медиафайлы на Викискладе Узбекский lag'mon в Ташкенте Лагман, поданный в уйгурском ресторане в Токио Лагма́н (кит. трад. 拉麵, упр. ...

Giulia Fusar Poli

Giulia Fusar Poli Nazionalità Italia Calcio Ruolo Centrocampista Squadra Ternana CarrieraGiovanili 2002-2005 Casale Cremasco2005-2011 Pianengo2011-2016 MozzanicaSquadre di club1 2013-2019 Mozzanica48 (1)2019-2020 Como? (?)2020-2021 Riozzese Como26 (3)2021-2022 San Marino26 (2)2022- Ternana30 (3) 1 I due numeri indicano le presenze e le reti segnate, per le sole partite di campionato.Il simbolo → indica un trasferimento in prestito. Statistiche agg...

The Legend of Korra (musim 1)

Book 1: AirMusim 1Poster Promosi dalam DVD, menampilkan (dari kiri ke kanan): Mako, Asami, Bolin dan Korra.Negara asalAmerika SerikatJml. episode12RilisJaringan asliNickelodeonTanggal disiarkan14 April (2012-04-14) –23 Juni 2012 (2012-6-23)Kronologi Musim← SebelumnyaBook 3: Fire(Avatar: The Last Airbender) Berikutnya →Book 2: Spirits Daftar episode Book One: Air adalah musim pertama serial TV animasi AS The Legend of Korra ckarya Michael Dante DiMartino dan Brya...

.mo

Internet country code top-level domain for Macao .moIntroduced17 September 1992TLD typeCountry code top-level domainStatusActiveRegistryMacao Network Information CentreSponsorGovernment of MacauIntended useEntities connected with Portuguese Macau (1992–1999) Macau SAR, China (1999–present) Actual useGets limited use in MacauRegistration restrictionsLimited to local businesses and organizations in MacauStructureSecond-level registrations are now available to registrants who already have th...

Tri-Rail and Metrorail Transfer station

Miami-Dade Transit metro station This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages) This article needs to be updated. Please help update this article to reflect recent events or newly available information. (August 2016) This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and ...

James Kennedy (bishop)

Scottish 15th-century Bishop of Dunkeld and Bishop of St. Andrews James KennedyBishop of St AndrewsChurchRoman Catholic ChurchSeeDiocese of St AndrewsIn office1440–1465PredecessorHenry WardlawSuccessorPatrick GrahamOrdersConsecration1438 (Dunkeld)Personal detailsBornc. 1408Carrick, ScotlandDied24 May 1465St Andrews, Fife, ScotlandPrevious post(s)Bishop of Dunkeld (1437/38–40) James Kennedy (Scottish Gaelic: Seumas Ceanadach) (c. 1408–1465) was a 15th-century Bishop of Dunkeld and Bi...

Richard E. Grant

Untuk aktor Amerika, lihat Richard Gant. Richard E. GrantGrant pada upacara British Academy Television Awards 2007LahirRichard Grant Esterhuysen5 Mei 1957 (umur 67)Mbabane, EswatiniTempat tinggalLondon, InggrisKebangsaanInggris dan Swazi[1]Nama lainRichard GrantPekerjaanAktor dan pembawa acaraTahun aktif1987 - sekarangSuami/istriJoan Washington (1986 - sekarang)Anak2Situs webwww.richardegrant.com Richard E. Grant (nama asli Richard Grant Esterhuysen; lahir 5 Mei 1957) a...

Vasectomy

Surgical procedure for male sterilization VasectomyBackgroundTypeSterilizationFirst use1899 (experiments from 1785)[1]Failure rates (first year)Perfect use0.10%[2]Typical use0.15%[2]Vas-Clip nearly 1%UsageDuration effectPermanentReversibilityPossibleUser remindersA negative semen specimen is required to verify no sperm.[3]Clinic reviewAllAdvantages and disadvantagesSTI protectionNoBenefitsNo need for general anesthesia. Lower cost and less invasive than tubal l...

Non-meurtre

Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus. Le fond de cet article juridique est à vérifier (septembre 2016). Améliorez-le ou discutez des points à vérifier. Si vous venez d’apposer le bandeau, merci d’indiquer ici les points à vérifier. Le non-meurtre se réfère à l'absence de meurtres intentionnels, les menaces de tuer, et les conditions propices aux meurtres intentionnels dans la société humaine[1]. Même si l'utilisation du terme dans le...

Mercury-Atlas 2

Mercury-Atlas 2Launch of MA-2Mission typeTest flightOperatorNASAMission duration17 minutes, 56 secondsDistance travelled2,305 kilometres (1,432 mi)Apogee183 kilometres (114 mi) Spacecraft propertiesSpacecraftMercury No.6ManufacturerMcDonnell AircraftLaunch mass1,154 kilograms (2,544 lb) Start of missionLaunch dateFebruary 21, 1961, 14:10 (1961-02-21UTC14:10Z) UTCRocketAtlas LV-3B 67-DLaunch siteCape Canaveral LC-14 End of missionLanding dateFebruary 21, 1961...

Anno ordinario

Questa voce o sezione sull'argomento astronomia non cita le fonti necessarie o quelle presenti sono insufficienti. Puoi migliorare questa voce aggiungendo citazioni da fonti attendibili secondo le linee guida sull'uso delle fonti. Segui i suggerimenti del progetto di riferimento. Nei calendari solari un anno ordinario o anno comune è un anno di 365 giorni, cioè un anno che non è bisestile. Nei calendari lunisolari, invece, un anno lunare ordinario è un anno composto da dodici lunazi...

USS Germantown (LSD-42)

For other ships with the same name, see USS Germantown. USS Germantown (LSD-42) USS Germantown passing the Coronado Bridge in San Diego Bay in August 2003. History United States NameGermantown NamesakeBattle of Germantown Ordered26 March 1982 BuilderLockheed Shipbuilding Laid down5 August 1982 Launched29 June 1984 Commissioned8 February 1986 HomeportSan Diego, California MottoFolgen Sie unseren Fusspuren! (Follow in Our Footsteps) Statusin active service Badge General characteristics Class an...

British International School, Phuket

This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages) This article is missing information about The schools administration, and other missing facts that need to go in the infobox. Please expand the article to include this information. Further details may exist on the talk page. (July 2018) This article does not cite any sources. Please help improve this article by adding citations to reliable s...

Бутлеров, Александр Михайлович

Запрос «Бутлеров» перенаправляется сюда; см. также другие значения. Александр Михайлович Бутлеров Дата рождения 15 сентября 1828(1828-09-15)[1][2] Место рождения Чистополь, Казанская губерния, Российская империя[1][2][…] Дата смерти 17 августа 1886(1886-08-17)[1]&...

Fyrfat

En sorts fyrfat, med galler och benställning. En kinesisk eldgryta, som används för matlagning. Fyrfat är en behållare för öppen eld. Oftast är det utfört i form av en grund skål av metall, sten eller keramik. När fyrfatet placeras på en låg benställning, för att isolera underlaget från fatet, kallas det ofta trefot. Fyrfaten används till eldning för värme, matlagning och belysning samt för förvaring av glöd, främst i de fall då fasta eldstäder saknas och underlaget b...

Batak mythology

Mythological beliefs Robert C. Williams Paper Museum's Batak book (pustaha), concerning the art of divination from a chicken. This article is a part of the series onIndonesianmythology and folklore Cultural mythologies Adat Balinese mythology Batak mythology Malay folklore Ghosts in Malay culture Molucca Folklore Traditional folk religions Iban Kaharingan Kejawèn Marapu Parmalim Pemena Sunda Wiwitan Sapta Darma Deities Acintya Agni Antaboga Barong Batara Guru Batara Kala Batara Sambu Brahma ...

تقويم إيراني

التقويمات الإيرانية (بالفارسية: گاه‌شماری ایرانی) هي مجموعة من التقاويم اختُرِعتْ واستُخدِمتْ لأكثر من ألفي سنة في إيران.[1][2] وهي واحدة من أطول السجلات الزمنية في تاريخ البشرية، وقد مرت تلك التقاويم بمجموعة من التعديلات مراراً وتكراراً خلال تاريخها، لتناسب أغرا�...

日本テレビ系列

日本テレビ系列（にほんテレビけいれつ）とは、日本テレビ放送網（日本テレビ）をキー局とする放送事業者のネットワークである。概要詳細は「日本ニュースネットワーク#概説」および「日本テレビネットワーク協議会#概説」を参照日本テレビ系列には、2つのネットワークが存在している。一つは日本ニュースネットワーク（Nippon News Network、NNN）であり、もう一...