Conceptual representation of waveforms for temporal reasoning

• Published in: IEEE transactions on computers Vol. 43; no. 2; pp. 186 - 200
• Main Author: Cyre, W.R.
• Format: Journal Article
• Language: English
• Published: New York, NY IEEE 01.02.1994; Institute of Electrical and Electronics Engineers
• Subjects: Applied sciences; Artificial intelligence; Calculus; Computational complexity; Computer science; control theory; systems; Digital systems; Exact sciences and technology; Hardware; Knowledge representation; Learning and adaptive systems; Logic; Natural languages; Polynomials; Scheduling; Timing; Language analysis; Temporal reasoning; Temporal relation; Reasoning; Waveform analysis; Consistency checking; Semantic network; Multiview integration; Timing diagram; Natural language
• ISSN: 0018-9340; 1557-9956
• DOI: 10.1109/12.262123

Addresses the problem of comparing and unifying temporal relationships between activities expressed in timing diagrams and natural language narrative (English). This problem often occurs in specifications expressing behavioral requirements and constraints. The approach followed is to translate both diagrams and text into a common knowledge representation (conceptual graphs) employing temporal relations developed for temporal interval logic. In this knowledge representation, the requirements may be integrated, checked for inconsistencies, and subjected to additional temporal reasoning. An algorithm of polynomial complexity for generating a compact representation of temporal relationships from timing diagrams is presented. Generation of comparable conceptual graphs from English statements is described by using examples. Integrating conceptual graphs from timing diagrams and sentences while checking for inconsistencies is also of polynomial complexity.< >