Temporal knowledge representation and reasoning model for temporally rich domains

Authors:
Slobodan Ribarić
Affiliations:
Faculty of Electrical Engineering and Computing, University of Zagreb, Zagreb, Croatia
Venue:
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Year:
2005

Citing 5
Cited 2

Temporal data base management

Artificial Intelligence
Temporal Petri Nets and Their Application to Modeling and Analysis of a Handshake Daisy Chain Arbiter

IEEE Transactions on Computers
Temporal constraint networks

Artificial Intelligence - Special issue on knowledge representation
Maintaining knowledge about temporal intervals

Communications of the ACM
Petri Net Theory and the Modeling of Systems

Petri Net Theory and the Modeling of Systems

Cooperating sensory agents for detecting temporal consistency among events

PDCN'07 Proceedings of the 25th conference on Proceedings of the 25th IASTED International Multi-Conference: parallel and distributed computing and networks
TeMAS–a multi-agent system for temporally rich domains

Knowledge and Information Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

A formal model of knowledge representation and reasoning for temporally rich domains is given in the paper. The model is based on the high-level Petri Nets, called the Petri Nets with Time Tokens (PNTT). The PNTT is the main building block of the knowledge representation scheme KRPNTT. The scheme integrates theory of the PNTT and Allen's interval-based temporal logic. Reasoning process in the proposed scheme is atime dependent event-driven process. It includes the ability to reason about time relations among actions and/or states, as well as planning in the temporally rich domains.