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 条
  • [41] Underwater Three-Dimensional Measurement Vision System Using Light-Plane Constraint
    Xu Li
    Zhou Yonghao
    Zhang Fan
    Luo Wenyu
    Liu Xuemei
    CHINESE JOURNAL OF LASERS-ZHONGGUO JIGUANG, 2020, 47 (09):
  • [42] Computer hard disk planeness Vision measurement system calibration based on light plane constraint
    Tang, Rui-Yin
    Zeng, Zhou-Mo
    Li, Peng-Fei
    SENSORS, MEASUREMENT AND INTELLIGENT MATERIALS II, PTS 1 AND 2, 2014, 475-476 : 63 - +
  • [43] A BRIEF REFLECTION ON THE LANGUAGES OF THE FRONTIER BRAZIL / URUGUAY IN THE LIGHT OF THE THEORY OF THE LANGUAGE SYSTEM
    Ribeiro Bar, Emmanuelle Coutinho
    Pereira, Veridiana Veleda
    E-SCRITA-REVISTA DO CURSO DE LETRAS DA UNIABEU, 2018, 9 (01): : 258 - 268
  • [46] Direction-determined phase unwrapping using geometric constraint of the structured light system: The establishment of minimum phase map
    Deng, Huaxia
    Deng, Ji
    Ma, Mengchao
    Zhang, Jin
    Yao, Pengcheng
    Yu, Liandong
    Chen, Xiangcheng
    Wang, Yajun
    OPTICS COMMUNICATIONS, 2017, 402 : 14 - 19
  • [47] Hand-eye calibration method for a line structured light robot vision system based on a single planar constraint
    Zhong, Kaifan
    Lin, Jingxin
    Gong, Tao
    Zhang, Xianmin
    Wang, Nianfeng
    ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING, 2025, 91
  • [48] Just-In-Time Compiler System in Aspect-Oriented Programming based Building Block Platform for constructing Domain-Specific Language for HPC Application
    Ishimura, Osamu
    Yoshimoto, Yoshihide
    2022 TENTH INTERNATIONAL SYMPOSIUM ON COMPUTING AND NETWORKING WORKSHOPS, CANDARW, 2022, : 241 - 247
  • [49] Admission control algorithm under delay quality of service constraint in multiple packet reception-capable visible light communication system
    Sun, Hongliang
    Li, Dan
    Chen, Shuo
    Qian, Lei
    OPTICAL ENGINEERING, 2024, 63 (12)
  • [50] Lexical functioning of word-building and the lexical-word-building system of the Russian language in the light of Internet statistics
    Golev, Nikolay D.
    VESTNIK TOMSKOGO GOSUDARSTVENNOGO UNIVERSITETA FILOLOGIYA-TOMSK STATE UNIVERSITY JOURNAL OF PHILOLOGY, 2011, 13 (01): : 22 - 31