Jakob, Jörg-IngoJörg-IngoJakob2008-07-242008-07-241991ESPRIT 2434 : Knowledge-based realtime CIM controllers for distributed factory, Hamburg 1991, S. 79-120http://tubdok.tub.tuhh.de/handle/11420/376TIP (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. [...]dehttp://doku.b.tu-harburg.de/doku/lic_ohne_pod.phpIngenieurwissenschaftenEngineering and allied operationsJournal Articleurn:nbn:de:gbv:830-tubdok-447210.15480/882.37411420/37610.15480/882.374930767870Philips GmbH Forschungslaboratorien, Forschungsabteilung Technische Systeme HamburgJournal Article