Representing and reasoning with intervals

被引:0
|
作者
Huang, EYT [1 ]
Smyth, C [1 ]
Poole, D [1 ]
机构
[1] Georeference Online Ltd, Vancouver, BC, Canada
关键词
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Geologists around the world often specify numerically measured information such as age or speed with non-numerical words such as "Jurassic" or "fast" rather than actual numerical values or ranges of numerical values. These qualitative descriptions, which may adhere to different standards, can be applied at different levels of detail or abstraction. This presents difficulties in building knowledge-based systems that have to compare temporally and spatially related information such as geological age or landslide movement rates. This paper discusses the representation of intervals and the reasoning required when comparing interval information. It proposes a format, which can work with different interval domains, for representing intervals based on a current software system developed for qualitative probabilistic matching. This is a necessary first step in being able to reason with various interval specification standards that have evolved in different parts of the world. Not only can this framework be used in the geological domain, such as mineral exploration and geological hazard evaluation, but it can also be used for intervallic reasoning in other scientific disciplines.
引用
收藏
页码:809 / 814
页数:6
相关论文
共 50 条
  • [21] Representing uncertain evidence in nonmonotonic reasoning
    Delrieux, C
    INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL I AND II, 1999, : 136 - 142
  • [22] Representing and Reasoning about Game Strategies
    Zhang, Dongmo
    Thielscher, Michael
    JOURNAL OF PHILOSOPHICAL LOGIC, 2015, 44 (02) : 203 - 236
  • [23] Representing and Reasoning about Dynamic Code
    Bartels, Jesse
    Stephens, Jon
    Debray, Saumya
    2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020), 2020, : 312 - 323
  • [24] A formalism for representing and reasoning with linguistic information
    Cao, TH
    INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS, 2002, 10 (03) : 281 - 307
  • [25] Representing and reasoning for spatiotemporal ontology integration
    Bennacer, N
    Aufaure, MA
    Cullot, N
    Sotnykova, A
    Vangenot, C
    ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2004: OTM 2004 WORKSHOPS, PROCEEDINGS, 2004, 3292 : 30 - 31
  • [26] Representing and Reasoning on Database Conceptual Schemas
    M.-S. Hacid
    J.-M. Petit
    F. Toumani
    Knowledge and Information Systems, 2001, Springer Science and Business Media Deutschland GmbH (03) : 52 - 80
  • [27] Representing and Reasoning About XML with Ontologies
    Zhang, Fu
    Ma, Z. M.
    APPLIED INTELLIGENCE, 2014, 40 (01) : 74 - 106
  • [28] Representing and Reasoning about Game Strategies
    Jiang, Guifei
    Zhang, Dongmo
    Perrussel, Laurent
    Zhang, Yan
    PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS (AAMAS'15), 2015, : 1975 - 1976
  • [29] Representing digraphs using intervals or circular arcs
    Sen, MK
    Sanyal, BK
    West, DB
    DISCRETE MATHEMATICS, 1995, 147 (1-3) : 235 - 245