Time in a multi-theory logical framework

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

Full description

Saved in:
Bibliographic Details
Main Authors: Mancarella, P., Raffaeta, A., Turini, F.
Format: Conference Proceeding
Language:English
Subjects:
Artificial intelligence
Calculus
Deductive databases
Electronic mail
Knowledge representation
Logic programming
Motion pictures
Problem-solving
Proposals
Relational databases
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
DOI:10.1109/TIME.1997.600783