An Approach for Representing Answer Sets in Natural Language

被引:1
|
作者
Fang, Min [1 ]
Tompits, Hans [1 ]
机构
[1] Tech Univ Wien, Inst Log & Computat, Knowledge Based Syst Grp E192 03, Favoritenstr 9-11, A-1040 Vienna, Austria
关键词
ATTEMPTO CONTROLLED ENGLISH; PROGRAMS; SYSTEM;
D O I
10.1007/978-3-030-00801-7_8
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
In recent years, different methods for supporting the development of answer-set programming (ASP) code have been introduced. During such a development process, often it would be desirable to have a natural-language representation of answer sets, e.g., when dealing with domain experts unfamiliar with ASP. In this paper, we address this point and provide an approach for such a representation, defined in terms of a controlled natural language (CNL), which in turn relies on the annotation language Lana for the specification of meta-information for answer-set programs. Our approach has been implemented as an Eclipse plug-in for SeaLion, a dedicated IDE for ASP.
引用
收藏
页码:115 / 131
页数:17
相关论文
共 50 条
  • [1] Answer Sets and the Language of Answer Set Programming
    Lifschitz, Vladimir
    [J]. AI MAGAZINE, 2016, 37 (03) : 7 - 11
  • [2] Natural language sets
    Slater, Hartley
    [J]. LOGIQUE ET ANALYSE, 2008, (201) : 29 - 48
  • [3] REPRESENTING NATURAL-LANGUAGE WITH PROLOG
    GEETHA, TV
    SUBRAMANIAN, RK
    [J]. IEEE SOFTWARE, 1990, 7 (02) : 85 - 92
  • [4] Representing and reasoning with events from natural language
    Leith, M
    Cunningham, J
    [J]. QUALITATIVE AND QUANTITATIVE PRACTICAL REASONING, 1997, 1244 : 406 - 420
  • [5] Representing requirements in natural language as concept lattices
    Richards, D
    Boettger, K
    [J]. RESEARCH AND DEVELOPMENT IN INTELLIGENT SYSTEM XIX, 2003, : 425 - 438
  • [6] Representing knowledge in controlled natural language: A case study
    Schwitter, R
    [J]. KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 1, PROCEEDINGS, 2004, 3213 : 711 - 717
  • [7] A Method for Representing Mathematical Expressions as Words in Natural Language
    Watabe, Takayuki
    Miyazaki, Yoshinori
    [J]. SMART DIGITAL FUTURES 2014, 2014, 262 : 335 - 344
  • [8] Representing Mental Spaces and Dynamics of Natural Language Semantics
    Golshaie, Ramin
    [J]. BRAIN-BROAD RESEARCH IN ARTIFICIAL INTELLIGENCE AND NEUROSCIENCE, 2011, 2 (01): : 44 - 58
  • [9] Logical methods for representing meaning of natural language texts
    Batura, T
    Murzin, F
    [J]. COMPUTATIONAL SCIENCE - ICCS 2004, PT 3, PROCEEDINGS, 2004, 3038 : 545 - 551
  • [10] The question answer system based on natural language understanding
    郭庆琳
    樊孝忠
    [J]. Journal of Harbin Institute of Technology(New series), 2007, (03) : 419 - 422