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...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:TheScientificWorld Ročník 2015; číslo 2015; s. 1 - 10
Hlavní autor: Negreanu, Lorina
Médium: Journal Article
Jazyk:angličtina
Vydáno: Cairo, Egypt Hindawi Publishing Corporation 2015
John Wiley & Sons, Inc
Wiley
Témata:
Ambient intelligence
Behavior
Computer applications
Computer programming
Declarative programming
Intelligence
Knowledge representation
Logic programming
Methods
Programming languages
Quality
Time dependence
ISSN:2356-6140, 1537-744X, 1537-744X
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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.
Bibliografie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
content type line 23
Academic Editor: Franca Giannini
ISSN:2356-6140
1537-744X
1537-744X
DOI:10.1155/2015/540854