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

Report Date:

1994-10-01

Pagination or Media Count:

24.0

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