In first-order logic, a Herbrand structure S is a structure over a vocabulary σ that is defined solely by the syntactical properties of σ. The idea is to take the symbols of terms as their values, e.g. the denotation of a constant symbol c is just "c" (the symbol). It is named after Jacques Herbrand. Herbrand structures play an important role in the foundations of logic programming.
Attributes | Values |
---|
rdf:type
| |
rdfs:label
| - Herbrand-Struktur (de)
- Herbrand structure (en)
- Estrutura de Herbrand (pt)
|
rdfs:comment
| - In first-order logic, a Herbrand structure S is a structure over a vocabulary σ that is defined solely by the syntactical properties of σ. The idea is to take the symbols of terms as their values, e.g. the denotation of a constant symbol c is just "c" (the symbol). It is named after Jacques Herbrand. Herbrand structures play an important role in the foundations of logic programming. (en)
- Em matemática, para uma linguagem , define o Universo de Herbrand para o conjunto de condições básicas de . Uma estrutura de é a Estrutura de Herbrand se o domínio de é o universo de Herbrand de e a interpretação de é a Interpretação de Herbrand. Isso corrige o domínio de , e de modo que cada Estrutura de Herbrand possa ser identificada com sua interpretação. Um Modelo de Herbrand de uma teoria é a estrutura de Herbrand que é um modelo de . (pt)
- Eine zu einer prädikatenlogischen Formelmenge F passende Struktur heißt Herbrand-Struktur, wenn folgende Eigenschaften erfüllt sind:
* Das Universum ist das aus F generierte Herbrand-Universum, also .
* Die Interpretationen I sind Herbrand-Interpretationen. Beispiel: Sei das Herbrand-Universum . Dann lautet die Zuordnung zwischen Funktionssymbolen und Elementen aus dem Universum: ... Herbrand-Strukturen werden im Satz von Herbrand verwendet und sind nach Jacques Herbrand benannt. (de)
|
dcterms:subject
| |
Wikipage page ID
| |
Wikipage revision ID
| |
Link from a Wikipage to another Wikipage
| |
Link from a Wikipage to an external page
| |
sameAs
| |
dbp:wikiPageUsesTemplate
| |
has abstract
| - Eine zu einer prädikatenlogischen Formelmenge F passende Struktur heißt Herbrand-Struktur, wenn folgende Eigenschaften erfüllt sind:
* Das Universum ist das aus F generierte Herbrand-Universum, also .
* Die Interpretationen I sind Herbrand-Interpretationen. Bei einer Interpretation werden den Funktions- und Konstantensymbolen tatsächliche Funktionen und Konstanten zugeordnet. Bei der Herbrand-Interpretation weist man jedem Funktionsterm eine Interpretation durch sich selbst zu. Dies ist möglich, da das Herbrand-Universum genau aus der Menge aller möglichen Terme mit Funktions- und Konstantensymbolen besteht. Damit ist eine Herbrand-Struktur eine Terminterpretation. Beispiel: Sei das Herbrand-Universum . Dann lautet die Zuordnung zwischen Funktionssymbolen und Elementen aus dem Universum: ... Herbrand-Strukturen werden im Satz von Herbrand verwendet und sind nach Jacques Herbrand benannt. (de)
- In first-order logic, a Herbrand structure S is a structure over a vocabulary σ that is defined solely by the syntactical properties of σ. The idea is to take the symbols of terms as their values, e.g. the denotation of a constant symbol c is just "c" (the symbol). It is named after Jacques Herbrand. Herbrand structures play an important role in the foundations of logic programming. (en)
- Em matemática, para uma linguagem , define o Universo de Herbrand para o conjunto de condições básicas de . Uma estrutura de é a Estrutura de Herbrand se o domínio de é o universo de Herbrand de e a interpretação de é a Interpretação de Herbrand. Isso corrige o domínio de , e de modo que cada Estrutura de Herbrand possa ser identificada com sua interpretação. Um Modelo de Herbrand de uma teoria é a estrutura de Herbrand que é um modelo de . (pt)
|
gold:hypernym
| |
prov:wasDerivedFrom
| |
page length (characters) of wiki page
| |
foaf:isPrimaryTopicOf
| |
is Link from a Wikipage to another Wikipage
of | |
is Wikipage redirect
of | |
is foaf:primaryTopic
of | |