• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Conference on Formal Grammar >Bracket Induction for Lambek Calculus with Bracket Modalities
【24h】

Bracket Induction for Lambek Calculus with Bracket Modalities

机译：带托架模态的Lambek微积分的支架诱导

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Relativisation involves dependencies which, although unbounded, are constrained with respect to certain island domains. The Lambek calculus L can provide a very rudimentary account of relativisation limited to unbounded peripheral extraction; the Lambek calculus with bracket modalities Lb can further condition this account according to island domains. However in naive parsing/theorem-proving by backward chaining sequent proof search for Lb the bracketed island domains, which can be indefinitely nested, have to be specified in the linguistic input. In realistic parsing word order is given but such hierarchical bracketing structure cannot be assumed to be given. In this paper we show how parsing can be realised which induces the bracketing structure in backward chaining sequent proof search with Lb.
机译：相对化涉及依赖性，尽管未染色，但是对某些岛域的约束。 Lambek Commulus L可以提供非常基本的相对化限制为无束缚的外周提取;具有支架模态LB的Lambek微积分可以根据岛域进一步调节此帐户。然而，在天真解析/定理中，通过向后的链接搜索的证明，对于LB来说，可以在语言输入中指定可以无限嵌套的括号岛域。在现实解析字令中，给出，但是不能假设这样的分级包围结构。在本文中，我们展示了如何实现解析，其诱导与LB的后向链接搜索搜索中的包围结构。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号