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
Distribution Statement : APPROVED FOR PUBLIC RELEASE