temporal logic
91Temporale Logik der Aktionen — Die Temporale Logik der Aktionen (TLA) ist eine Weiterentwicklung der Temporalen Logik (engl. temporal logic) und der Logik der Aktionen (engl. logic of actions). Sie wurde von Leslie Lamport entwickelt. Die Temporale Logik der Aktionen gehört… …
92Temporale Logik von Aktionen — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. Die Temporale Logik der Aktionen (TLA) ist eine Weiterentwicklung… …
93Concurrent MetateM — is a multi agent language in which each agent is programmed using a set of (augmented) temporal logic specifications of the behaviour it should exhibit. These specifications are executed directly to generate the behaviour of the agent. As a… …
94Temporale Logik — Temporale Logiken oder Zeitlogiken sind Erweiterungen der Logik, durch die zeitliche Abläufe erfasst werden können. Es handelt sich um Anwendungen der Modallogik, die auf einer Vorher Nachher Beziehung zwischen Zeitpunkten basieren. Ob daraus… …
95временная логика — ВРЕМЕННАЯ ЛОГИКА раздел неклассической логики; в ней изучаются рассуждения, построенные из суждений, выражаемых высказываниями с истинностными значениями, приуроченными к определенному времени. Ее возникновение (нач. 1950 х), а также во… …
96PNUELI, AMIR — (1941– ), Israeli computer scientist. Born in Nahalal, Israel, he gained his B.Sc. in mathematics from the Haifa Technion and Ph.D. in applied mathematics from the Weizmann Institute for his thesis on calculating ocean tides. His interest in… …
97Allen's Interval Algebra — For the type of boolean algebra called interval algrebra, see Boolean algebra (structure) Allen s Interval Algebra is a calculus for temporal reasoning that has been introduced by James F. Allen in 1983. The calculus defines possible relations… …
98Interval-valued computation — is a special kind of theoretical models for computation. It is capable of working on “interval valued bytes”: special subsets of the unit interval. If such computers were realized, their computation power would be much greater than that of… …
99Logical framework approach — This article is about the management tool. For the automated theorem proving approach, see logical framework. The Logical Framework Approach (LFA) is a management tool mainly used in the design, monitoring and evaluation of international… …
100Expert system — In artificial intelligence, an expert system is a computer system that emulates the decision making ability of a human expert.[1] Expert systems are designed to solve complex problems by reasoning about knowledge, like an expert, and not by… …
