共查询到19条相似文献,搜索用时 375 毫秒
1.
间断区间时态逻辑的语义 总被引:1,自引:0,他引:1
区间逻辑不能模拟自然语言中与,或,非时态关系,其公理系统的完备性不易保证。我们建立的间断区间时态知脚注可以克服区间逻辑的上述缺点,本文给出了间断区间逻辑的语法,语义及公理,即描述了间断区间时态逻辑的语义。 相似文献
2.
3.
4.
5.
首先介绍已有的时态关系表示方法,并比较各时间模型的特点,在此基础上,结合多媒体开发实例提出媒体时态关系表示在多媒体应用程序制作过程中的应用。 相似文献
6.
7.
针对应急决策中的不确定性,在传统区间代数方法的基础上,采用对区间时间断点模糊化处理并设定其取值范围的方法实现了应急领域不确定时态知识的表达,在此基础上,研究时态推理中的证据合成,通过时间区间集合,时态关系集合以及概率指派函数合成后的更新,给出了解决方案,结合应用算例进行分析。验证了该方法的有效性。 相似文献
8.
9.
不明确时间间隔的表示及时态运算的扩展 总被引:2,自引:1,他引:2
讨论了时态数据库处理不明确时间存在的一些问题,并给出描述不明确时间间隔的表示方法,在此基础上给出了各种时态运算的扩展,丰富了时态数据库的适应性。 相似文献
10.
11.
We investigate a formal representation of time units , calendars , and time unit instances as restricted temporal entities for reasoning about repeated events. We generalize Allen's interval relations to a class level, and based on interval classes we define time units. We examine characteristics of time units, and provide a categorization of the hierarchical relations among them. Hence we define an abstract hierarchical unit structure (a calendar structure ) that expresses specific relations and properties among the units that compose it. Specific objects in the time line are represented based on this formalism, including nonconvex intervals corresponding to repeated events. A goal of this research is to be able to represent and reason efficiently about repetition in time. 相似文献
12.
13.
This study was motivated by some difficulties encountered by the authors when trying to express temporal knowledge using Sowa's conceptual graph (CG) approach. An overview of Sowa's approach is given and the difficulties encountered when trying to model temporal knowledge are outlined: the disparity of notations allowed by CG theory for expressing temporal information; the ambiguity and incompleteness of tense sspecification; the difficulty of harmonizing tenses and intergraph temporal relations. Various approaches suggested for representing time both in artificial intelligence and linguistics are presented, and an extension to Sowa's approach is proposed in which temporal and nontemporal knowledge are differentiated. In this model points in time are represented as well as time intervals. A semantic interpretation of verbs is provided based on an extension of Reichenbach's model of temporal markers. The authors show how their approach enables the representation of tenses as well as the aspectual properties of natural language sentences. 相似文献
14.
Applications using expert systems for monitoring and control problems often require the ability to represent temporal knowledge and to apply reasoning based on that knowledge. Incorporating temporal representation and reasoning into expert systems leads to two problems in development: dealing with an implied temporal order of events using a non-procedural tool; and maintaining the large number of temporal relations that can occur among facts in the knowledge base. In this paper we explore these problems by using an expert system shell, CLIPS (C Language Integrated Production System), to create temporal relations using common knowledge-based constructs. We also build an extension to CLIPS through a user-defined function which generates the temporal relations from those facts. We use the extension to create and maintain temporal relations in a workflow application that monitors and controls an engineering design change review process. We also propose a solution to ensure truth maintenance among temporally related facts that links our temporal extension to the CLIPS facility for truth maintenance. 相似文献
15.
André Trudel 《Computational Intelligence》1997,13(4):465-485
The standard AI method for representing temporal information in a first‐order logic is to directly associate the information with a time point or interval via a relation. We present a new paradigm for temporal knowledge representation. All point‐based temporal information is translated to real‐valued functions in the Cartesian plane. For example, information that is true/false at a point becomes a 0–1 function. Other types of information, such as velocity, are directly represented with real‐valued functions. The unique feature of the proposed approach is the use of the Riemann integral to represent interval‐based information. Our approach is based on the fact that what is true at every point in an interval completely determines what is true over the interval. We conclude with a formal presentation of a first‐order logic that is based on the proposed representation. 相似文献
16.
17.
Zirui Chen Xin Wang Chenxu Wang Shaowei Zhang Haoyu Yan 《International Journal of Software and Informatics》2023,13(4):449-467
A knowledge hypergraph is a form of heterogeneous graph representing the real world through $n$-ary relations, but existing knowledge hypergraphs are usually incomplete in both general and vertical domains. Therefore, it is challenging to infer the missing links from the existing links in knowledge hypergraphs. Most of the current studies employ knowledge representation learning methods based on $n$-ary relations to accomplish link prediction in knowledge hypergraphs, but they only learn the embedding vectors of entities and relations from time-unknown hyperedges without considering the influence of temporal factors on the dynamic evolution of facts, which results in poor prediction performance in dynamic environments. Firstly, based on the definition of temporal knowledge hypergraphs proposed by this paper for the first time, this paper puts forward a link prediction model for temporal knowledge hypergraphs and learns static and dynamic representations of entities from their roles, positions, and timestamps of temporal hyperedges. Then these representations are merged in a certain proportion and utilized as final entity embedding vectors for link prediction tasks to realize the full exploitation of hyperedge temporal information. Meanwhile, it is theoretically proven that the proposed model is fully expressive with linear space complexity. Additionally, a temporal knowledge hypergraph dataset CB67 is constructed from the public business data of listed companies, and a large number of experimental evaluations are conducted on this dataset. The experimental results show that the proposed model can effectively perform link prediction tasks on the temporal knowledge hypergraph dataset. 相似文献
18.
Due to increasing interest in representation of temporal knowledge, automation of temporal reasoning, and analysis of distributed systems, literally dozens of temporal models have been proposed and explored during the last decade. Interval-based temporal models are especially appealing when reasoning about events with temporal extent but pose special problems when deducing possible relationships among events. The paper delves deeply into the structure of the set of atomic relations in a class of temporal interval models assumed to satisfy density and homogeneity properties. An order structure is imposed on the atomic relations of a given model allowing the characterization of the compositions of atomic relations (or even lattice intervals) as lattice intervals. By allowing the utilization of lattice intervals rather than individual relations, this apparently abstract result explicitly leads to a concrete approach which speeds up constraint propagation algorithms. 相似文献
19.
Bernard Moulin 《Applied Intelligence》1997,7(3):227-255
A discourse is composed of a sequence of sentences that must be interpreted with respect to the context in which they are uttered and to the actions that produce them: locutors' speech acts. The analysis of discourse content must be based on a pragmatic approach to the study of language in use. Some of the most obvious linguistic elements that require contextual information for their representation are deictic forms such as here, now, I, you, this , and verb tenses.Several authors have recognized a need for introducing contextual structures in knowledge representation models such as semantic networks. Sowa's Conceptual Graph Theory is a powerful approach to conceptually represent knowledge contained in discourses. However, it must be extended in order to represent several semantic and pragmatic mechanisms related to the expression of time in natural language. In this paper we present such an extension as a framework for modeling temporal knowledge in discourses integrating several features borrowed from speech act theory.First, we introduce the notions of time interval, temporal object, temporal situation, and temporal relation. Then, we discuss the importance of explicitly introducing the concept of time coordinate system in a discourse representation and we present different kinds of temporal contexts: narrator's perspective, agent's perspective and temporal localization. We show how this conceptual framework can be used to represent various referential mechanisms in discourse such as anaphoras, indexicals, direct and indirect styles. We also discuss how to model several linguistic phenomena such as speech act characteristics and the specification of performative and attitude utterances. Finally, we briefly discuss how verb tenses can be determined in a discourse on the basis of this temporal approach. 相似文献