Logo des Repositoriums
 
Konferenzbeitrag

Morph Gentzen plan computation

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2001

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.

Beschreibung

Nourani, Cyrus F.; Moudi, R.M. (2001): Morph Gentzen plan computation. Information Systems Technology and its Applications, international conference ISTA'2001. Bonn: Gesellschaft für Informatik e. V.. PISSN: 1617-5468. ISBN: 13-88579-331-8. pp. 215-228. Regular Research Papers. Kharkiv, Ukraine. June 13-15, 2001

Schlagwörter

Zitierform

DOI

Tags