Towards a general theory of action and time
Artificial Intelligence
Conceptual structures: information processing in mind and machine
Conceptual structures: information processing in mind and machine
Implementing a semantic interpreter using conceptual graphs
IBM Journal of Research and Development
Temporal ontology and temporal reference
Computational Linguistics - Special issue on tense and aspect
Toward synthesis from English descriptions
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
Exact and approximate reasoning about temporal relations
Computational Intelligence
Acquiring Temporal Knowledge from Schedules
ICCS '93 Proceedings on Conceptual Graphs for Knowledge Representation
Conceptual Modeling of Digital Systems From Informal Descriptions
MASCOTS '93 Proceedings of the International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems
Generating VHDL models from natural language descriptions
EURO-DAC '94 Proceedings of the conference on European design automation
Generating Validation Feedback for Automatic Interpretation of Informal Requirements
Formal Methods in System Design
Capture, Integration, and Analysis of Digital System Requirements with Conceptual Graphs
IEEE Transactions on Knowledge and Data Engineering
| Hi-index | 14.98 |
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.