Joining ideas from database theory and logic programming leads to the theory of deductive databases. In addition to the data stored in a database (extensional facts), a deductive database stores rule based knowledge concerning parts of the real world which are modeled by the system. A deductive database management system (DDBMS) consists of two parts: 1) An arbitrary database management system and 2) a deduction mechanism that uses extensional as well as intensional facts and rules for deducing new data (intensional facts). Since rules can be seen as a declarative (programming, query) language, one of the main serious problems arising from logic programming and deductive databases is to find a (constructive) semantics which coincides with the user's intuitive meaning of the rules. The aim of this work is to introduce a Petri net semantics for logic programs and deductive databases which is more constructive than any currently known semantics. Logic programs and deductive databases are transformed into a Petri net class whose elements are called, according to their dynamical behaviour, fixpoint nets. The problems of non- monotonic reasoning are expressed by means of generalized conflict situations in fixpoint nets. The semantics of a logic program or a deductive database is defined by means of logical consequences of a set of (possibly three-valued) models, which can be generated from the saturated marking of the program's Petri net representation. It is shown that for stratified normal programs and for positive disjunctive programs the Petri net semantics coincides with the perfect model semantics and the Minker/Rajasekar semantics respectively.
Aktualisiert: 2020-12-04
> findR *
MEHR ANZEIGEN
Bücher von Dahr, Michael
Sie suchen ein Buch oder Publikation vonDahr, Michael ? Bei Buch findr finden Sie alle Bücher Dahr, Michael.
Entdecken Sie neue Bücher oder Klassiker für Sie selbst oder zum Verschenken. Buch findr hat zahlreiche Bücher
von Dahr, Michael im Sortiment. Nehmen Sie sich Zeit zum Stöbern und finden Sie das passende Buch oder die
Publiketion für Ihr Lesevergnügen oder Ihr Interessensgebiet. Stöbern Sie durch unser Angebot und finden Sie aus
unserer großen Auswahl das Buch, das Ihnen zusagt. Bei Buch findr finden Sie Romane, Ratgeber, wissenschaftliche und
populärwissenschaftliche Bücher uvm. Bestellen Sie Ihr Buch zu Ihrem Thema einfach online und lassen Sie es sich
bequem nach Hause schicken. Wir wünschen Ihnen schöne und entspannte Lesemomente mit Ihrem Buch
von Dahr, Michael .
Dahr, Michael - Große Auswahl an Publikationen bei Buch findr
Bei uns finden Sie Bücher aller beliebter Autoren, Neuerscheinungen, Bestseller genauso wie alte Schätze. Bücher
von Dahr, Michael die Ihre Fantasie anregen und Bücher, die Sie weiterbilden und Ihnen wissenschaftliche Fakten
vermitteln. Ganz nach Ihrem Geschmack ist das passende Buch für Sie dabei. Finden Sie eine große Auswahl Bücher
verschiedenster Genres, Verlage, Schlagworte Genre bei Buchfindr:
Unser Repertoire umfasst Bücher von
- Dahrendorf, Malte
- Dahrendorf, Ralf
- Dahrendorf, Ralf [Bearb.]
- Dahrenhorst, Rabert von
- Dahringer, Bernd
- Dahrmann, Detlef
- Dahs, Daniela
- Dahs, Hans
- Dahse, Andreas
- Dahse, Bettina
Sie haben viele Möglichkeiten bei Buch findr die passenden Bücher für Ihr Lesevergnügen zu entdecken. Nutzen Sie
unsere Suchfunktionen, um zu stöbern und für Sie interessante Bücher in den unterschiedlichen Genres und Kategorien
zu finden. Neben Büchern von Dahr, Michael und Büchern aus verschiedenen Kategorien finden Sie schnell und
einfach auch eine Auflistung thematisch passender Publikationen. Probieren Sie es aus, legen Sie jetzt los! Ihrem
Lesevergnügen steht nichts im Wege. Nutzen Sie die Vorteile Ihre Bücher online zu kaufen und bekommen Sie die
bestellten Bücher schnell und bequem zugestellt. Nehmen Sie sich die Zeit, online die Bücher Ihrer Wahl anzulesen,
Buchempfehlungen und Rezensionen zu studieren, Informationen zu Autoren zu lesen. Viel Spaß beim Lesen wünscht Ihnen
das Team von Buchfindr.