| Property |
Value |
| dbo:abstract
|
- Sortenlogik ordnet jedem Term in einer Formel eine Klasse zu, die man in diesem Zusammenhang Sorte nennt, und die Unifikation nur dann zulässt, wenn beide Terme von der gleichen Sorte sind. Aus dem Blickwinkel der Prädikatenlogik (ohne Sorten) sind solche Sorten einstellige Prädikate. Die Sortenlogik stellt für diese Prädikate eine Spezialbehandlung der eben erwähnten Form zur Verfügung. Da viele Deduktionschritte hierbei wegen der Sortenunverträglichkeit nicht in Betracht gezogen werden, verringert sich der Suchaufwand nach einem Beweis beträchtlich, wie die Praxis zeigt. (de)
- Sortenlogik ordnet jedem Term in einer Formel eine Klasse zu, die man in diesem Zusammenhang Sorte nennt, und die Unifikation nur dann zulässt, wenn beide Terme von der gleichen Sorte sind. Aus dem Blickwinkel der Prädikatenlogik (ohne Sorten) sind solche Sorten einstellige Prädikate. Die Sortenlogik stellt für diese Prädikate eine Spezialbehandlung der eben erwähnten Form zur Verfügung. Da viele Deduktionschritte hierbei wegen der Sortenunverträglichkeit nicht in Betracht gezogen werden, verringert sich der Suchaufwand nach einem Beweis beträchtlich, wie die Praxis zeigt. (de)
|
| dbo:isbn
| |
| dbo:originalTitle
|
- Wissensrepräsentation und Inferenz (de)
- Wissensrepräsentation und Inferenz (de)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageRevisionID
| |
| prop-de:autor
|
- Wolfgang Bibel, Steffen Hölldobler, Torsten Schaub
|
| prop-de:jahr
| |
| prop-de:online
| |
| prop-de:titelerg
|
- Eine grundlegende Einführung
|
| prop-de:zugriff
| |
| dc:publisher
| |
| dct:subject
| |
| bibo:pages
| |
| rdf:type
| |
| rdfs:comment
|
- Sortenlogik ordnet jedem Term in einer Formel eine Klasse zu, die man in diesem Zusammenhang Sorte nennt, und die Unifikation nur dann zulässt, wenn beide Terme von der gleichen Sorte sind. Aus dem Blickwinkel der Prädikatenlogik (ohne Sorten) sind solche Sorten einstellige Prädikate. Die Sortenlogik stellt für diese Prädikate eine Spezialbehandlung der eben erwähnten Form zur Verfügung. Da viele Deduktionschritte hierbei wegen der Sortenunverträglichkeit nicht in Betracht gezogen werden, verringert sich der Suchaufwand nach einem Beweis beträchtlich, wie die Praxis zeigt. (de)
- Sortenlogik ordnet jedem Term in einer Formel eine Klasse zu, die man in diesem Zusammenhang Sorte nennt, und die Unifikation nur dann zulässt, wenn beide Terme von der gleichen Sorte sind. Aus dem Blickwinkel der Prädikatenlogik (ohne Sorten) sind solche Sorten einstellige Prädikate. Die Sortenlogik stellt für diese Prädikate eine Spezialbehandlung der eben erwähnten Form zur Verfügung. Da viele Deduktionschritte hierbei wegen der Sortenunverträglichkeit nicht in Betracht gezogen werden, verringert sich der Suchaufwand nach einem Beweis beträchtlich, wie die Praxis zeigt. (de)
|
| rdfs:label
|
- Sortenlogik (de)
- Sortenlogik (de)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is foaf:primaryTopic
of | |
