Norbert Eisinger

Search for More Declarativity

Good tree search algorithms are a key requirement for inference engines of rule languages. As Prolog exemplifies, inference engines based on traditional uninformed search methods with their well-known deficiencies are prone to compromise declarativity, the primary concern of rule languages. The paper presents a new family of uninformed search algorithms that combine the advantages of the traditional ones while avoiding their shortcomings. Moreover, the paper introduces a formal framework based on partial orderings, which allows precise and elegant analysis of such algorithms.

Logic Implemented Functionally

We describe a course intended to introduce second-year undergraduates to medium-scale programming. The project of the course is to implement a nonconventional logic programming language using a functional implementation language. This exercise reinforces two declarative paradigms and puts the students in experimental touch with a wide range of standard computer science concepts. Declarativity is decisive in making this wide range possible.

Einleitung zu Teil II

Teil I dieses Leitfadens behandelt unter anderem eine Vielzahl verschiedener Formen der vollstandigen Induktion. Ihnen allen ist gemeinsam, dass samtliche Objekte, uber die Aussagen gemacht werden, bezuglich einer gegebenen Nachbarschaftsbeziehung nur endlich weit von irgendwelchen Startobjekten entfernt sind. Objekte, die nicht in endlich vielen Schritten von Startobjekten aus erreichbar sind, konnen von diesen Beweismustern grundsatzlich nicht erfasst werden.

Vorbereitung: Schreibweisen der Logik

Die naturliche Sprache ist in den allermeisten Situationen das optimale Medium fur die Kommunikation zwischen Menschen. Zur Ubermittlung formaler, insbesondere mathematischer, Sachverhalte ist eine naturliche Sprache allerdings weniger geeignet. Sie ist fur diesen Zweck meistens ziemlich langatmig und unubersichtlich und oft sogar zu unprazise.

Exkurs: Mathematisches Arbeiten

Der gesamte Abschnitt 10.2 hat in der ublichen Weise nur Ergebnisse prasentiert. Dazu gehoren der Beweis in Beispiel 92, aber auch die vor diesem Beispiel eingefuhrten Formeln fur h OG(α) und H(α). Wie sind diese Ergebnisse eigentlich gefunden worden?

Vollständige Induktion und Grenzwertbildung

Das Phanomen der Unendlichkeit begegnet einem zu Beginn der Mathematikausbildung meistens in der Analysis. Dort betrachtet man unter anderem Folgen und Reihen und untersucht, wie sie sich verhalten, wenn der Index immer groser wird.

Vorbereitung: Arten des Schließens

Alle Arten des Schliesens haben gemeinsam, dass man von gegebener Information ausgeht und daraus neue Information gewinnt. Die gegebene Information wird als Voraussetzung(en) bezeichnet, die neu gewonnene Information als Konklusion.

Reasoning Web 2005 : First International Summer School 2005, MSIDA, Malta, July 25-29, 2005, Revised Lectures

This book presents thoroughly revised tutorial papers based on lectures given by leading researchers at the First Summer School on Reasoning Web in Msida, Malta, in July 2005. The objective is to provide a coherent introduction into Semantic Web methods and issues with a particular focus on reasonning. The ten tutorial papers presented provide competent coverage of methods and issues of the Semantic Web, ontology languages and their relation to description logics, Web query languages, XML, RDF and topics maps, evolution and reactivity, personalization in the Semantic Web, rule modeling with UML, techniques in Web information extraction, employing ontologies to ease construction of software applications, and type checking for Web rule and query languages.