This HTML5 document contains 101 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbthttp://dbpedia.org/resource/Template:
wikipedia-enhttp://en.wikipedia.org/wiki/
dbrhttp://dbpedia.org/resource/
n33http://fmv.jku.at/papers/
n36https://link.springer.com/content/pdf/10.1007%2Fs10817-013-9285-6.pdf%7Cyear=2014%7Cdoi=10.1007/
dbpedia-frhttp://fr.dbpedia.org/resource/
n20https://www.nr.no/directdownload/3913/
n37https://www.theses.fr/
n29https://drops.dagstuhl.de/opus/volltexte/2019/10517/pdf/
dcthttp://purl.org/dc/terms/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n23https://cyberleninka.ru/article/n/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n15https://www.aaai.org/Papers/FLAIRS/2002/
dbphttp://dbpedia.org/property/
n28http://erikjacobsen.com/pdf/
xsdhhttp://www.w3.org/2001/XMLSchema#
n39https://www.ideals.illinois.edu/bitstream/handle/2142/25871/journal.pdf%7Cdoi=10.1016/j.ic.2014.01.006%7Cvolume=235%7Cpages=98%E2%80%93136%7Chdl=2142/
dbohttp://dbpedia.org/ontology/
n31https://books.google.com/
n16http://ikw.uni-osnabrueck.de/de/system/files/
n42http://drops.dagstuhl.de/opus/volltexte/2015/5189/pdf/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/
n41https://www.cs.cmu.edu/~fp/papers/
dbchttp://dbpedia.org/resource/Category:
n17https://www.aaai.org/Papers/Workshops/1999/WS-99-11/
n40https://doi.org/10.29007/
n27https://dl.acm.org/doi/10.1145/
n24https://www.researchgate.net/publication/
wikidatahttp://www.wikidata.org/entity/
n4http://www.risc.jku.at/projects/stout/software/
goldhttp://purl.org/linguistics/gold/
n19http://drops.dagstuhl.de/opus/volltexte/2013/4057/pdf/
n32https://global.dbpedia.org/id/
provhttp://www.w3.org/ns/prov#
foafhttp://xmlns.com/foaf/0.1/
n14https://pages.cpsc.ucalgary.ca/~denzinge/papers/
n30http://www.sri.com/sites/default/files/uploads/publications/pdf/
n38https://publikationen.sulb.uni-saarland.de/bitstream/20.500.11880/25109/1/
dbpedia-fahttp://fa.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
freebasehttp://rdf.freebase.com/ns/
n35https://link.springer.com/chapter/10.1007/
owlhttp://www.w3.org/2002/07/owl#

Statements

Subject Item
dbr:Anti-unification_(computer_science)
rdf:type
dbo:Election
rdfs:label
反ユニフィケーション Anti-unificación (ciencias de la computación) Antiunificação (ciências da computação) Anti-unification Anti-unification (computer science)
rdfs:comment
Anti-unification is the process of constructing a generalization common to two given symbolic expressions. As in unification, several frameworks are distinguished depending on which expressions (also called terms) are allowed, and which expressions are considered equal. If variables representing functions are allowed in an expression, the process is called "higher-order anti-unification", otherwise "first-order anti-unification". If the generalization is required to have an instance literally equal to each input expression, the process is called "syntactical anti-unification", otherwise "E-anti-unification", or "anti-unification modulo theory". Antiunificação é o processo de construção de uma generalização comum a duas expressões simbólicas. Como na unificação, várias estruturas são distinguidas dependendo de qual das expressões (também denominado termos) são permitidas e quais expressões são consideradas iguais. Se as variáveis que representam funções são permitidas em uma expressão, o processo é chamado de antiunificação de ordem superior, caso contrário, de antiunificação de primeira ordem. Se a generalização requer a existência de uma instância literalmente igual para cada expressão de entrada, o processo é chamado de antiunificação sintática, caso contrário, de E-antiunificação, ou módulo da teoria da antiunificação. En informatique théorique et en logique mathématique, l'anti-unification est la construction d'une généralisation commune à deux termes symboliques données. Comme son nom l’indique, c'est l'opération duale[évasif] de l'unification qui est le calcul de l'instance la plus générale des termes. 反ユニフィケーションとは、2つの与えられた記号式に共通の一般化を構築するプロセスである。ユニフィケーションと同様に、許可される式(用語とも呼ばれる)と、等しいと見なされる式に応じて分類できる。関数を表す変数が式で許可されている場合、そのプロセスは「高階反ユニフィケーション」と呼ばれ、そうでない場合は「一次反ユニフィケーション」と呼ばれる。一般化が各入力式に文字通り等しいインスタンスを持つ必要がある場合、プロセスは「構文的反ユニフィケーション」や「E-反ユニフィケーション」または「反ユニフィケーションモジュロ理論」と呼ばれる。 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".
dct:subject
dbc:Inductive_logic_programming dbc:Unification_(computer_science) dbc:Automated_theorem_proving dbc:Logic_in_computer_science
dbo:wikiPageID
39812166
dbo:wikiPageRevisionID
1121105397
dbo:wikiPageWikiLink
dbr:Unification_(computer_science) dbr:Inequation dbc:Unification_(computer_science) dbr:ACM_Transactions_on_Programming_Languages_and_Systems dbr:Term_(logic) dbr:Singleton_(mathematics) dbc:Automated_theorem_proving dbc:Logic_in_computer_science dbr:Lambda_calculus dbr:Infix_notation dbr:Recursive_definition dbr:Dis-unification_(computer_science) dbr:Injective_mapping dbr:Lambda_term dbr:Commutative_property dbr:Golem_(ILP) dbr:Inductive_logic_programming dbr:SRI_International dbr:Gordon_Plotkin dbr:Equivalence_relation dbc:Inductive_logic_programming
dbo:wikiPageExternalLink
n4:hoau.php n14:fse08.pdf n15:FLAIRS02-064.pdf%7Cyear=2002 n16:31-2010.pdf n17:WS99-11-003.pdf%7Cjournal=AAAI n19:10.pdf n20:_stvold_-_A_functional_reconstruction_of_anti-unification.pdf n23:14517244%7Cyear=2008%7Cissue=2 n24:221045334%7Cyear=2005 n4:antiunify.php n4:nau.php n27:3359060%7Cvolume=21%7Cnumber=2%7Cpages=1%E2%80%9332 n28:unification.pdf n29:LIPIcs-FSCD-2019-10.pdf%7Cpages=74%E2%80%9385%7Cdate=June n30:725.pdf n31:books%3Fid=TrqjBQAAQBAJ&dq=%22Generalization+under+Implication+by+Recursive+Anti-Unification%22&pg=PA151%7Cbook-title=Proc. n33:Biere-Diploma-Thesis-1993.pdf n31:books%3Fid=1wwZAQAAIAAJ&dq=%22Generalizing+Atoms+in+Constraint+Logic%22&pg=PA429%7Cbook-title=Proc. n35:3-540-53904-2_88 n36:s10817-013-9285-6%7Cdoi-access=free n37:1989NICE4261%7Ctype=These n38:TM_94_04.pdf n39:25871%7Cdoi-access=free n40:fkrh%7Cjournal=Fifth n41:lics91.pdf%7Cpages=74%E2%80%9385%7Cdate=Jul n42:9.pdf
owl:sameAs
dbpedia-es:Anti-unificación_(ciencias_de_la_computación) dbpedia-ja:反ユニフィケーション dbpedia-pt:Antiunificação_(ciências_da_computação) dbpedia-fa:ضد_اتحاد_(علوم_رایانه) freebase:m.0w6drvz n32:fqBh wikidata:Q17003866 dbpedia-fr:Anti-unification
dbp:wikiPageUsesTemplate
dbt:Expand_section dbt:Citation dbt:Reflist dbt:Math dbt:Cite_journal dbt:Main dbt:Cite_report dbt:Cite_conference dbt:Mvar
dbp:date
June 2020
dbp:for
explain main results from papers below, relate their approaches to each other
dbp:small
no
dbo:abstract
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, ​​ 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 . 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.​ Antiunificação é o processo de construção de uma generalização comum a duas expressões simbólicas. Como na unificação, várias estruturas são distinguidas dependendo de qual das expressões (também denominado termos) são permitidas e quais expressões são consideradas iguais. Se as variáveis que representam funções são permitidas em uma expressão, o processo é chamado de antiunificação de ordem superior, caso contrário, de antiunificação de primeira ordem. Se a generalização requer a existência de uma instância literalmente igual para cada expressão de entrada, o processo é chamado de antiunificação sintática, caso contrário, de E-antiunificação, ou módulo da teoria da antiunificação. Um algoritmo de antiunificação deve calcular, para expressões dadas, uma generalização completa e mínima de um conjunto, isto é, um conjunto, abrangendo todas as generalizações, e que não contenha membros redundantes, respectivamente. Dependendo da estrutura, uma generalização completa e mínima pode ter um, finitamente muitos, ou, possivelmente, um número infinito de membros, ou pode não existir; ela não pode ser vazia, uma vez que uma generalização trivial existe em qualquer caso. Para a antiunificação de primeira-ordem sintática, Gordon Plotkin apresentou um algoritmo que calcula uma generalização completa e mínima de um conjunto unitário, o chamado menor generalização geral (mgg). Antiunificação não deve ser confundido com o . O segundo significa o processo de resolução de sistemas deinequações, que é de encontrar valores para as variáveis de tal forma que todas as inequações sejam satisfeitas. Esta tarefa é bastante diferente da busca de generalizações. En informatique théorique et en logique mathématique, l'anti-unification est la construction d'une généralisation commune à deux termes symboliques données. Comme son nom l’indique, c'est l'opération duale[évasif] de l'unification qui est le calcul de l'instance la plus générale des termes. Des problèmes d'anti-unification se posent dans de nombreuses branches de l'intelligence artificielle : apprentissage machine, raisonnement analogique et basé sur des cas, modélisation cognitive, découverte de connaissances, etc. L'anti-unification est une technique souvent utilisée pour résoudre les problèmes de généralisation. Comme pour l’unification, on distingue plusieurs niveaux selon la nature des termes considérés du premier ordre ou d'ordre supérieur, termes nominaux, arbres, et autres. Anti-unification is the process of constructing a generalization common to two given symbolic expressions. As in unification, several frameworks are distinguished depending on which expressions (also called terms) are allowed, and which expressions are considered equal. If variables representing functions are allowed in an expression, the process is called "higher-order anti-unification", otherwise "first-order anti-unification". If the generalization is required to have an instance literally equal to each input expression, the process is called "syntactical anti-unification", otherwise "E-anti-unification", or "anti-unification modulo theory". An anti-unification algorithm should compute for given expressions a complete, and minimal generalization set, that is, a set covering all generalizations, and containing no redundant members, respectively. Depending on the framework, a complete and minimal generalization set may have one, finitely many, or possibly infinitely many members, or may not exist at all; it cannot be empty, since a trivial generalization exists in any case. For first-order syntactical anti-unification, Gordon Plotkin gave an algorithm that computes a complete and minimal singleton generalization set containing the so-called "least general generalization" (lgg). Anti-unification should not be confused with dis-unification. The latter means the process of solving systems of inequations, that is of finding values for the variables such that all given inequations are satisfied. This task is quite different from finding generalizations. 反ユニフィケーションとは、2つの与えられた記号式に共通の一般化を構築するプロセスである。ユニフィケーションと同様に、許可される式(用語とも呼ばれる)と、等しいと見なされる式に応じて分類できる。関数を表す変数が式で許可されている場合、そのプロセスは「高階反ユニフィケーション」と呼ばれ、そうでない場合は「一次反ユニフィケーション」と呼ばれる。一般化が各入力式に文字通り等しいインスタンスを持つ必要がある場合、プロセスは「構文的反ユニフィケーション」や「E-反ユニフィケーション」または「反ユニフィケーションモジュロ理論」と呼ばれる。
gold:hypernym
dbr:Process
prov:wasDerivedFrom
wikipedia-en:Anti-unification_(computer_science)?oldid=1121105397&ns=0
dbo:wikiPageLength
23604
foaf:isPrimaryTopicOf
wikipedia-en:Anti-unification_(computer_science)
Subject Item
dbr:Unification_(computer_science)
dbo:wikiPageWikiLink
dbr:Anti-unification_(computer_science)
Subject Item
dbr:Duplicate_code
dbo:wikiPageWikiLink
dbr:Anti-unification_(computer_science)
Subject Item
dbr:Inductive_logic_programming
dbo:wikiPageWikiLink
dbr:Anti-unification_(computer_science)
Subject Item
dbr:Pattern_language_(formal_languages)
dbo:wikiPageWikiLink
dbr:Anti-unification_(computer_science)
Subject Item
dbr:Subsumption_lattice
dbo:wikiPageWikiLink
dbr:Anti-unification_(computer_science)
Subject Item
dbr:Dis-unification_(computer_science)
dbo:wikiPageWikiLink
dbr:Anti-unification_(computer_science)
Subject Item
dbr:Outline_of_machine_learning
dbo:wikiPageWikiLink
dbr:Anti-unification_(computer_science)
Subject Item
wikipedia-en:Anti-unification_(computer_science)
foaf:primaryTopic
dbr:Anti-unification_(computer_science)