A Modeling Method and Declarative Language for Temporal Reasoning Based on Fluid Qualities

Popovici, Matei; Muraru, Mihnea; Agache, Alexandru; Giumale, Cristian; Negreanu, Lorina; Dobre, Ciprian

doi:10.1007/978-3-642-22688-5_16

Cited by 3 publications

(3 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Our previous implementation efforts were either (i) driven by the application context [ 15 , 16 , 24 , 25 ] or (ii) attempted to follow closely the algorithm description, in order to highlight correctness [ 3 , 14 , 18 ]. There are lessons to be learned from either approach.…”

Section: Methodsmentioning

confidence: 99%

“…Specifying more complicated queries is achieved compositionally, following the scheme presented above. Executing the effects of a rule reduces to enriching the metarelations defined at the beginning of this section, in a transactional manner, in the spirit of [ 14 ]. This means, in short, that all effects resulting from rules which are applicable at the same moment of time are added to the knowledge base in a manner which is perceived as simultaneous by the programmer.…”

Section: Methodsmentioning

confidence: 99%

“…The aim of this paper is to (a) build an all-encompassing view of our approach, (b) present our already established main theoretical results, (c) introduce a novel implementation based on Prolog, and, finally, (d) examine aspects pertaining to correctness of our approach. (a) has already been discussed in different variants, in [ 3 , 13 – 17 ]; (b) has been the subject of [ 3 , 14 , 17 ]. (c) and (d) however are new contributions which, to our knowledge, have not been considered yet.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Declarative Programming with Temporal Constraints, in the Language CG

Negreanu

2015

The Scientific World Journal

Self Cite

View full text Add to dashboard Cite

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 , which tackles this issue. In , 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. 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 and introduce a novel prototype which relies on logic programming. Finally, we address the issue of consistency and correctness of program execution, using the Event-B modeling approach.

show abstract