LIGHT - A constraint language and compiler system for typed-unification grammars

被引:0
|
作者
Ciortuz, L [1 ]
机构
[1] Univ York, CS Dept, York YO10 5DD, N Yorkshire, England
来源
KI2002: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS | 2002年 / 2479卷
关键词
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
This work presents LIGHT, a feature constraint language for deduction-based bottom-up parsing with typed-unification grammars. We overview both its formal definition, as a logic language operating bottom-up inferences over OSF-terms, and its implementation - an elegant combination of a virtual machine for head-corner parsing and an extended abstract machine for feature structure unification.
引用
收藏
页码:3 / 17
页数:15
相关论文
共 50 条
  • [31] Application of constraint and the control strategy description language in system analysis
    Mei, Xie
    Feng, Yanjian
    Zhong, Xinyao
    Zhu, Taohong
    Ping, Ding
    2014 INTERNATIONAL CONFERENCE ON POWER SYSTEM TECHNOLOGY (POWERCON), 2014, : 1053 - 1057
  • [32] [en] The verbal system in the grammars and manuals of Spanish as a foreign language. Fundamentals and corpus of research
    de Dios, Maria Martinez-Atienza
    CIRCULO DE LINGUISTICA APLICADA A LA COMUNICACION, 2023, (95): : 1 - 6
  • [33] Highly-Optimizing and Multi-Target Compiler for Embedded System Models C plus plus Compiler Toolchain for the Component and Connector Language EmbeddedMontiArc
    Kusmenko, Evgeny
    Rumpe, Bernhard
    Schneiders, Sascha
    von Wenckstern, Michael
    21ST ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS 2018), 2018, : 446 - 456
  • [34] Does It Really Matter Whether Students' Contributions Are Spoken Versus Typed in an Intelligent Tutoring System With Natural Language?
    D'Mello, Sidney K.
    Dowell, Nia
    Graesser, Arthur
    JOURNAL OF EXPERIMENTAL PSYCHOLOGY-APPLIED, 2011, 17 (01) : 1 - 17
  • [35] Monotonicity analysis of absolute phase unwrapping by geometric constraint in a structured light system
    Lv, Shenzhen
    Sun, Qiang
    Zhang, Yuyuan
    Wang, Jian
    Jiang, Yang
    OPTICS EXPRESS, 2020, 28 (07): : 9885 - 9898
  • [36] A domain-specific language for structure manipulation in constraint system-based GUIs
    Stokke, Knut Anders
    Barash, Mikhail
    Jarvi, Jaakko
    JOURNAL OF COMPUTER LANGUAGES, 2023, 74
  • [37] SARANA: language, compiler and run-time system support for spatially aware and resource-aware mobile computing
    Hari, Pradip
    Ko, Kevin
    Koukoumidis, Emmanouil
    Kremer, Ulrich
    Martonosi, Margaret
    Ottoni, Desiree
    Peh, Li-Shiuan
    Zhang, Pei
    PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 2008, 366 (1881): : 3699 - 3708
  • [38] State-Constraint Transition: A Language for the Formal Specification of Dynamic Cyber-System Requirements
    Salinesi, Camille
    Achtaich, Asmaa
    Souissi, Nissrine
    Mazo, Raul
    Roudies, Ounsa
    Villota, Angela
    JOURNAL OF INTEGRATED DESIGN & PROCESS SCIENCE, 2021, 25 (02) : 80 - 99
  • [39] Bilinguism and other manifestations of the functioning of the Language System in light of Brain Plasticity
    Alexandrova, Nina Sh
    FILOLOGICHESKIE NAUKI-NAUCHNYE DOKLADY VYSSHEI SHKOLY-PHILOLOGICAL SCIENCES-SCIENTIFIC ESSAYS OF HIGHER EDUCATION, 2020, (06): : 170 - 176
  • [40] Automatic spatial layout planning system using a second-generation constraint logic programming language
    Honda, K
    Mizoguchi, F
    EXPERT SYSTEMS WITH APPLICATIONS, 1997, 13 (04) : 291 - 297