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...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2015-01-01
|
| Series: | The Scientific World Journal |
| Online Access: | http://dx.doi.org/10.1155/2015/540854 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1832554146940583936 |
|---|---|
| author | Lorina Negreanu |
| author_facet | Lorina Negreanu |
| author_sort | Lorina Negreanu |
| collection | DOAJ |
| description | 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. |
| format | Article |
| id | doaj-art-4e2fad5230d5463cb5a57c143bc100b4 |
| institution | Kabale University |
| issn | 2356-6140 1537-744X |
| language | English |
| publishDate | 2015-01-01 |
| publisher | Wiley |
| record_format | Article |
| series | The Scientific World Journal |
| spelling | doaj-art-4e2fad5230d5463cb5a57c143bc100b42025-02-03T05:52:10ZengWileyThe Scientific World Journal2356-61401537-744X2015-01-01201510.1155/2015/540854540854Declarative Programming with Temporal Constraints, in the Language CGLorina Negreanu0POLITEHNICA University of Bucharest, Splaiul Independentei 303, 060042 Bucharest, RomaniaSpecifying 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.http://dx.doi.org/10.1155/2015/540854 |
| spellingShingle | Lorina Negreanu Declarative Programming with Temporal Constraints, in the Language CG The Scientific World Journal |
| title | Declarative Programming with Temporal Constraints, in the Language CG |
| title_full | Declarative Programming with Temporal Constraints, in the Language CG |
| title_fullStr | Declarative Programming with Temporal Constraints, in the Language CG |
| title_full_unstemmed | Declarative Programming with Temporal Constraints, in the Language CG |
| title_short | Declarative Programming with Temporal Constraints, in the Language CG |
| title_sort | declarative programming with temporal constraints in the language cg |
| url | http://dx.doi.org/10.1155/2015/540854 |
| work_keys_str_mv | AT lorinanegreanu declarativeprogrammingwithtemporalconstraintsinthelanguagecg |