| Title: | TEMPORAL LOGIC AS A SIMULATION LANGUAGE |
| Authors: | Tuzhilin, Alexander |
| Issue Date: | Oct-1990 |
| Publisher: | Stern School of Business, New York University |
| Series/Report no.: | IS-90-22 |
| Abstract: | We advocate the use of temporal logic instead of the first-order logic in rules of knowledge-based simulation systems. We argue that this provides several advantages that will be discussed in the paper. We show how temporal logic is used in simulation by considering language PTL based on temporal logic programming. |
| URI: | http://hdl.handle.net/2451/14421 |
| Appears in Collections: | IOMS: Information Systems Working Papers |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| IS-90-22.pdf | 1.96 MB | Adobe PDF | View/Open |
Items in FDA are protected by copyright, with all rights reserved, unless otherwise indicated.