We present a knowledge representation framework where a collection of logic programs can be combined together by means of meta-level program composition operations. Each object-level program is composed of a collection of extended clauses, equipped with a time interval representing the time period in which they hold. The interaction between program composition operations and time yields a powerful knowledge representation language in which many applications can be naturally developed. The language is given a meta-level semantics which also provides an executable specification. Moreover, we define an abstract semantics by extending the immediate consequence operator from a single logic program to compositions of logic programs and taking into account time intervals. The operational, meta-level semantics is proven sound and complete with respect to the abstract bottom-up semantics. The approach is further extended in order to cope with the problem of reasoning over joined intervals of time. Three applications in the field of business regulations are shown.
|Autori:||Mancarella P; Raffaeta A; Turini F|
|Titolo:||Knowledge Representation with Multiple Logical Theories and Time|
|Anno del prodotto:||1999|
|Digital Object Identifier (DOI):||10.1080/095281399146616|
|Appare nelle tipologie:||1.1 Articolo in rivista|