On fibring feature logics with concatenation logics

被引：0
|
作者：
Francez, N [1 ]
机构：
[1] Techn IIL, Dept Comp Sci, Haifa, Israel
来源：
LOGICAL ASPECTS OF COMPUTATIONAL LINGUISTICS | 1999年 / 1582卷
关键词：
feature-logic; Lambek-calculus; unification; fibring; categorial-grammar; natural language;
D O I：
10.1007/3-540-48975-4_10
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
A dual-fibring of a feature-logic and a concatenation-logic is proposed, in which syntactic categorial types "live in" feature terms, in contrast to current fibring, in which feature-terms "live in" types. The dual-fibring contains also arrow-introduction rules for hypothetical reasoning. It is used to explain some "privileged features" in HPSG and their non-unification manipulation.
引用
收藏
页码：200 / 211
页数：12
相关论文
共 50 条
  • [1] Fibring of logics as a categorial construction
    Departamento de Matemática, IST, Av. Rovisco Pais, 1096 Lisboa, Portugal
    J Logic Comput, 2 (149-179):
  • [2] Fibring logics with topos semantics
    Coniglio, ME
    Sernadas, AC
    Sernadas, CS
    JOURNAL OF LOGIC AND COMPUTATION, 2003, 13 (04) : 595 - 624
  • [3] Fibring of logics as a categorial construction
    Sernadas, A
    Sernadas, C
    Caleiro, C
    JOURNAL OF LOGIC AND COMPUTATION, 1999, 9 (02) : 149 - 179
  • [4] On fibring semantics for BDI logics
    Governatori, G
    Padmanabhan, V
    Sattar, A
    LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, 2002, 2424 : 198 - 210
  • [5] On Graph-theoretic Fibring of Logics
    Sernadas, Amilcar
    Sernadas, Cristina
    Rasga, Joao
    Coniglio, Marcelo
    JOURNAL OF LOGIC AND COMPUTATION, 2009, 19 (06) : 1321 - 1357
  • [6] Fibring Logics, Dov M. Gabbay
    Amílcar Sernadas
    Journal of Logic, Language and Information, 2000, 9 (4) : 511 - 513
  • [7] Fibring Non-Truth-Functional Logics: Completeness Preservation
    C. Caleiro
    W.A. Carnielli
    M.E. Coniglio
    A. Sernadas
    C. Sernadas
    Journal of Logic, Language and Information, 2003, 12 (2) : 183 - 211
  • [8] Fibring model first-order logics: Completeness preservation
    Sernadas, A
    Sernadas, C
    Zanardo, A
    LOGIC JOURNAL OF THE IGPL, 2002, 10 (04) : 413 - 451
  • [9] Feature logics and refinement
    Aiguier, M
    Gaston, C
    Le Gall, P
    APSEC 2002: NINTH ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE, 2002, : 385 - 394
  • [10] ON A CHARACTERISTIC FEATURE OF POSITIVE LOGICS
    ONO, K
    ITO, J
    NAGOYA MATHEMATICAL JOURNAL, 1966, 28 (OCT) : 193 - &
12345