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 by 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 provides also an executable specification. Two applications in the field of business regulations are shown
Time in a Multi-theory Logical Framework
MANCARELLA, PAOLO MARIA;TURINI, FRANCO
1997-01-01
Abstract
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 by 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 provides also an executable specification. Two applications in the field of business regulations are shownI documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.