Declarative Programming with Temporal Constraints, in the Language CG

Specifying and interpreting temporal constraints are key elements of knowledge representation and reasoning, with applications in temporal databases, agent programming, and ambient intelligence. We present and formally characterize the language CG, which tackles this issue. In CG, users are able to...

Full description

Saved in:
Bibliographic Details
Published in:TheScientificWorld 2015, Vol.2015 (2015), p.1-10
Main Author: Negreanu, Lorina
Format: Article
Language:English
Subjects:
Ambient intelligence
Behavior
Computer applications
Computer programming
Declarative programming
Intelligence
Knowledge representation
Logic programming
Methods
Programming languages
Quality
Time dependence
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Specifying and interpreting temporal constraints are key elements of knowledge representation and reasoning, with applications in temporal databases, agent programming, and ambient intelligence. We present and formally characterize the language CG, which tackles this issue. In CG, users are able to develop time-dependent programs, in a flexible and straightforward manner. Such programs can, in turn, be coupled with evolving environments, thus empowering users to control the environment’s evolution. CG relies on a structure for storing temporal information, together with a dedicated query mechanism. Hence, we explore the computational complexity of our query satisfaction problem. We discuss previous implementation attempts of CG and introduce a novel prototype which relies on logic programming. Finally, we address the issue of consistency and correctness of CG program execution, using the Event-B modeling approach.
ISSN:2356-6140
1537-744X
1537-744X
DOI:10.1155/2015/540854