Matches in SemOpenAlex for { <https://semopenalex.org/work/W4244702294> ?p ?o ?g. }
Showing items 1 to 36 of
36
with 100 items per page.
- W4244702294 endingPage "313" @default.
- W4244702294 startingPage "217" @default.
- W4244702294 abstract "Wie wir bisher gesehen haben, ist das Schlußfolgern in der Aussagenlogik — selbst wenn wir Formeln in Konjunktiver Normalform betrachten — im schlechtesten Fall eine aufwendige und komplexe Angelegenheit. Es stellt sich ganz natürlich die Frage nach Teilklassen der Aussagenlogik, die noch eine vernünftige, d.h. nicht-triviale Ausdruckskraft besitzen, aber eine schnelle Bearbeitung zulassen. Eine solche Teilklasse wollen wir in diesem Kapitel betrachten. Sie ist nach A. Horn benannt, der sich zuerst mit diesen Formeln (für die Prädikatenlogik) beschäftigt hat. Die Klasse der Horn-Formeln um-faßt alle Formeln in Konjunktiver Normalform, deren Klauseln sich als Implikationen zwischen positiven Literalen als Prämisse und (maximal) einem positiven Literal als Konklusion darstellen lassen. Diese recht übersichtliche Form von „wenn-dann-Aussagen“ kann sicherlich als ein Grund für den erfolgreichen Einsatz von Wissensrepräsentationen angesehen werden, die auf Horn-Formeln basieren." @default.
- W4244702294 created "2022-05-12" @default.
- W4244702294 creator A5037967044 @default.
- W4244702294 creator A5058906684 @default.
- W4244702294 date "1994-01-01" @default.
- W4244702294 modified "2023-10-01" @default.
- W4244702294 title "Horn-Logik" @default.
- W4244702294 doi "https://doi.org/10.1007/978-3-322-84809-3_5" @default.
- W4244702294 hasPublicationYear "1994" @default.
- W4244702294 type Work @default.
- W4244702294 citedByCount "0" @default.
- W4244702294 crossrefType "book-chapter" @default.
- W4244702294 hasAuthorship W4244702294A5037967044 @default.
- W4244702294 hasAuthorship W4244702294A5058906684 @default.
- W4244702294 hasConcept C138885662 @default.
- W4244702294 hasConcept C15708023 @default.
- W4244702294 hasConceptScore W4244702294C138885662 @default.
- W4244702294 hasConceptScore W4244702294C15708023 @default.
- W4244702294 hasLocation W42447022941 @default.
- W4244702294 hasOpenAccess W4244702294 @default.
- W4244702294 hasPrimaryLocation W42447022941 @default.
- W4244702294 hasRelatedWork W2473335724 @default.
- W4244702294 hasRelatedWork W2609344916 @default.
- W4244702294 hasRelatedWork W2780307509 @default.
- W4244702294 hasRelatedWork W2928210713 @default.
- W4244702294 hasRelatedWork W4210390885 @default.
- W4244702294 hasRelatedWork W59019880 @default.
- W4244702294 hasRelatedWork W766819059 @default.
- W4244702294 hasRelatedWork W2308060692 @default.
- W4244702294 hasRelatedWork W2460312481 @default.
- W4244702294 hasRelatedWork W2478882070 @default.
- W4244702294 isParatext "false" @default.
- W4244702294 isRetracted "false" @default.
- W4244702294 workType "book-chapter" @default.