A logic-based calculus of events
New Generation Computing
Database updates in the event calculus
Journal of Logic Programming
Temporal reasoning in logic programming: a case for the situation calculus
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
The situation calculus and event calculus compared
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Logic for Problem Solving
Some Alternative Formulations of the Event Calculus
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
English as a Formal Specification Language
DEXA '02 Proceedings of the 13th International Workshop on Database and Expert Systems Applications
Attempto Controlled English - Not Just Another Logic Specification Language
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
IEEE Internet Computing
Commonsense Reasoning
Attempto Controlled English for Knowledge Representation
Reasoning Web
Automating commonsense reasoning using the event calculus
Communications of the ACM - Rural engineering development
A causal theory of ramifications and qualifications
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Architectures for intelligent systems
IBM Systems Journal
Artificial intelligence today
Artificial Intelligence
Controlled natural languages for knowledge representation
COLING '10 Proceedings of the 23rd International Conference on Computational Linguistics: Posters
Hi-index | 0.00 |
In this paper I discuss how the controlled natural language PENG Light can be modified so that it can serve as a high-level interface language to the Event Calculus. The Event Calculus is a narrative-based formal language for reasoning about events, their effects and timepoints, and can be used for various reasoning tasks where a representation of time is important. Using a scenario from a dynamic domain, I show what kind of modifications are necessary on the level of the controlled natural language to specify the background knowledge that is required to deal with direct and indirect effects of events and with continuous change in that domain. I discuss how the output of the controlled natural language processor of PENG Light that distinguishes between events and states can be aligned with the input language of the Event Calculus, and then be used for automated reasoning. Finally, I show how the Event Calculus can be used to support the question answering process and then evaluate its reasoning capabilities using a number of benchmark questions stated in controlled natural language.