Morph Gentzen plan computation
| dc.contributor.author | Nourani, Cyrus F. | |
| dc.contributor.author | Moudi, R.M. | |
| dc.contributor.editor | Godlevsky, Mikhail | |
| dc.contributor.editor | Mayr, Heinrich C. | |
| dc.date.accessioned | 2020-01-07T11:50:40Z | |
| dc.date.available | 2020-01-07T11:50:40Z | |
| dc.date.issued | 2001 | |
| dc.description.abstract | 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. | en |
| dc.identifier.isbn | 13-88579-331-8 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/30739 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e. V. | |
| dc.relation.ispartof | Information Systems Technology and its Applications, international conference ISTA'2001 | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-2 | |
| dc.title | Morph Gentzen plan computation | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 228 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 215 | |
| gi.conference.date | June 13-15, 2001 | |
| gi.conference.location | Kharkiv, Ukraine | |
| gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1