Konferenzbeitrag
Morph Gentzen plan computation
Lade...
Volltext URI
Dokumententyp
Text/Conference Paper
Dateien
Zusatzinformation
Datum
2001
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Verlag
Gesellschaft für Informatik e. V.
Zusammenfassung
New planning techniques with model diagrams and applications to computable models with morph Gentzen computing on relevant worlds are presented. Generic diagrams are applied to model computing with localized minimal efficient computable KR on AI worlds. Diagrammatic reasoning is defined in terms of inferences directed by the G-diagrams for models. G-diagrams are applied towards KR from planning with nondeterminism and planning with free proof trees and predictive diagrams. The IM Morph Gentzen Logic for computing for multimedia is the basis to new projects with important computing applications. The basic principles are a mathematical logic where a Gentzen or natural deduction systems is defined by taking arbitrary structures and multimedia objects coded by diagram functions. A specific sound and complete computing logic is applied to VR plans with Morph Gentzen as the basis.