Accession Number : ADA288544

Title :   Modal Event Calculus in Lolli.

Descriptive Note : Research rept.,

Corporate Author : CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE

Personal Author(s) : Cervesato, Iliano ; Chittaro, Luca ; Montanari, Angelo

PDF Url : ADA288544

Report Date : OCT 1994

Pagination or Media Count : 24

Abstract : This paper introduces two variants of the Event Calculus (EC) with relative timing of events: the Credulous and the Skeptical Event Calculus (CREC and SKEC respectively). A model that takes into account the dynamics of event ordering updates is constructed for EC. In this model, that appears to be a restriction of the usual model for the modal logic S4, CREC and SKEC are proved to be the modal counterparts of EC. It is then shown how a full propositional modal logic based on these calculi can be conveniently and elegantly coded by means of the linear logic programming language Lolli.

Descriptors :   *COMPUTER PROGRAMMING, *LINEAR PROGRAMMING, *CALCULUS, DATA BASES, DATA PROCESSING, QUEUEING THEORY, REASONING, COMPUTER LOGIC, PROGRAMMING LANGUAGES, MATHEMATICAL LOGIC, KNOWLEDGE BASED SYSTEMS, CALCULI, RULE BASED SYSTEMS INFORMATION PROCESSING.

Subject Categories : Operations Research
      Computer Programming and Software
      Cybernetics

Distribution Statement : APPROVED FOR PUBLIC RELEASE