• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>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演算L可以提供非常简单的相对化说明，仅限于无限制的外围提取;具有括号模态Lb的Lambek演算可以进一步根据岛域来调节该帐户。但是，在通过向后链接进行事后证明搜索Lb进行幼稚的解析/定理证明时，必须在语言输入中指定可以无限嵌套的带括号的岛域。在现实的解析中给出了单词顺序，但是不能假定这种分层的包围结构被给出。在本文中，我们展示了如何实现解析，该解析在使用Lb的反向链接后续证明搜索中引入了包围结构。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号