Please use this identifier to cite or link to this item:
Fulltext available Open Access
Title: TIP : Temporal inference propagator and processor
Language: German
Authors: Jakob, Jörg-Ingo 
Editor: Philips GmbH Forschungslaboratorien, Forschungsabteilung Technische Systeme Hamburg 
Issue Date: 1991
Source: ESPRIT 2434 : Knowledge-based realtime CIM controllers for distributed factory, Hamburg 1991, S. 79-120
Abstract (english): TIP (possible interpretation: "Temporal Inference in a procedural language") attempts to provide a fast inference engine for temporal logic. It departs from Lisp's symbolic representation of time relations and rather uses bit vectors to that end. The intended minimal speed increase of one order of magnitude over a "conventional" Lisp implementation was already fulfilled by the first release, version 1.0. Outstanding features of version TIP 2.0 are: [...] TIP was fully written in ISO Pascal. Although its structure is similar to assembler programming, in that it provides a fast, low level temporal inference engine, it is easily portable from machine to machine. A few machine-dependant substitutions of Pascal routines serve as a further means to speed up TIP. TIP needs to be integrated into a larger system for temporal logic consisting of: (1) a domain-dependant expert system, (2) another object-oriented expert system that is able to translate domain-specific situations to domain-independent time relations, (3) a graphical user interface which must be added for a working system. Since TIP can be easily linked to or called from other programs (even written in other programming languages), integration should pose no difficulties. [...]
DOI: 10.15480/882.374
Institute: Automatisierungstechnik E-1
Type: (wissenschaftlicher) Artikel
Appears in Collections:Publications with fulltext

Files in This Item:
File Description SizeFormat
S0001142.pdf1,79 MBAdobe PDFThumbnail
Show full item record

Page view(s)

Last Week
Last month
checked on Sep 29, 2020


checked on Sep 29, 2020

Google ScholarTM


Note about this record


Items in TORE are protected by copyright, with all rights reserved, unless otherwise indicated.