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 条
  • [41] Logical approach to representing and reasoning about space
    Artif Intell Rev, 4-5 (255-259):
  • [42] APPROACHES TO REPRESENTING AND REASONING WITH TECHNICAL REGULATORY INFORMATION
    CHUNG, PWH
    STONE, D
    KNOWLEDGE ENGINEERING REVIEW, 1994, 9 (02): : 147 - 162
  • [43] A survey of formalisms for representing and reasoning with scientific knowledge
    Hunter, Anthony
    Liu, Weiru
    KNOWLEDGE ENGINEERING REVIEW, 2010, 25 (02): : 199 - 222
  • [44] Representing and reasoning with events from natural language
    Leith, M
    Cunningham, J
    QUALITATIVE AND QUANTITATIVE PRACTICAL REASONING, 1997, 1244 : 406 - 420
  • [45] Representing and Reasoning with Qualitative Preferences for Compositional Systems
    Santhanam, Ganesh Ram
    Basu, Samik
    Honavar, Vasant
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2011, 42 : 211 - 274
  • [46] Business process automation with representing and reasoning on trust
    Taveter, K
    2005 3RD IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2005, : 312 - 318
  • [47] Representing and reasoning about preferences in requirements engineering
    Liaskos, Sotirios
    McIlraith, Sheila A.
    Sohrabi, Shirin
    Mylopoulos, John
    REQUIREMENTS ENGINEERING, 2011, 16 (03) : 227 - 249
  • [48] Making it explicit - Reasoning, representing and discursive commitment
    Stout, R
    TLS-THE TIMES LITERARY SUPPLEMENT, 1999, (5016): : 35 - 35
  • [49] Representing and Reasoning with Qualitative Preferences: Tools and Applications
    Santhanam G.R.
    Basu S.
    Honavar V.
    Synthesis Lectures on Artificial Intelligence and Machine Learning, 2016, 10 (01): : 1 - 154
  • [50] Combinatorics and reasoning: representing, justifying and building isomorphisms
    Sutherland, Rosamund
    RESEARCH IN MATHEMATICS EDUCATION, 2015, 17 (01) : 65 - 69