A constraint mechanism for knowledge specification of simulation systems based on temporal logic

Chuchang Liu, Mehmet A. Orgun

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

2 Citations (Scopus)

Abstract

Knowledge specification can be used as a basis for developing and maintaining simulation systems. This paper presents a knowledge specification methodology based on the temporal logic TLC for solving simulation problems. In this methodology, we build a specific constraint mechanism as a standard prototype for a class of simulation problems which may have some common properties. Such a standard prototype can be used to test and improve the knowledge specification of the target system of any problem belonging to this class. When we obtain a satisfactory knowledge specification, a simulation program in Chronolog(MC), a logic programming language based on TLC, can be produced.

Original languageEnglish
Title of host publicationAdvanced Topics in Artificial Intelligence - 10th Australian Joint Conference on Artificial Intelligence, AI 1997, Proceedings
EditorsAbdul Sattar
Place of PublicationBerlin; New York
PublisherSpringer, Springer Nature
Pages485-495
Number of pages11
Volume1342
ISBN (Electronic)9783540696490
ISBN (Print)3540637974, 9783540637974
DOIs
Publication statusPublished - 1997
Event10th Australian Joint Conference on Artificial Intelligence, AI 1997 - Perth, Australia
Duration: 30 Nov 19974 Dec 1997

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1342
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other10th Australian Joint Conference on Artificial Intelligence, AI 1997
CountryAustralia
CityPerth
Period30/11/974/12/97

Keywords

  • knowledge specification
  • logic programming
  • simulation
  • temporal logic

Fingerprint Dive into the research topics of 'A constraint mechanism for knowledge specification of simulation systems based on temporal logic'. Together they form a unique fingerprint.

Cite this