emnlp emnlp2011 emnlp2011-32 emnlp2011-32-reference knowledge-graph by maker-knowledge-mining

32 emnlp-2011-Computing Logical Form on Regulatory Texts


Source: pdf

Author: Nikhil Dinesh ; Aravind Joshi ; Insup Lee

Abstract: The computation of logical form has been proposed as an intermediate step in the translation of sentences to logic. Logical form encodes the resolution of scope ambiguities. In this paper, we describe experiments on a modestsized corpus of regulation annotated with a novel variant of logical form, called abstract syntax trees (ASTs). The main step in computing ASTs is to order scope-taking operators. A learning model for ranking is adapted for this ordering. We design features by studying the problem ofcomparing the scope ofone operator to another. The scope comparisons are used to compute ASTs, with an F-score of 90.6% on the set of ordering decisons.


reference text

A. Aho, R. Sethi, and J. Ullman. 1986. Compilers: Principles, Techniques, and Tools. Addison-Wessley. R. J. Anderson. 1996. A security policy model for clincial information systems. In Proceedings of the IEEE Symposium on Security and Privacy. A. Barth, A. Dutta, J. C. Mitchell, and H. Nissenbaum. 2006. Privacy and contextual integrity: Framework and applications. In Proceedings IEEE Symposium on Security and Privacy. J. Berant, Y. Gross, M. Mussel, B. Sandbank, E. Ruppin, and S. Edelman. 2007. Boosting unsupervised grammar induction by splitting complex sentences on function words. In Proceedings of the Boston University Conference on Language Development. J. Bos, S. Clark, M. Steedman, J. R. Curran, and J. Hockenmaier. 2004. Wide-coverage semantic representations from a CCG parser. In Proceedings of COLING. W. W. Cohen, R. E. Schapire, and Y. Singer. 1998. Learning to order things. Journal of Artificial Intelligence Research, 10:243–270. D. Dahl, M. Bates, M. Brown, W. Fisher, K. HunickeSmith, D. Pallett, C. Pao, A. Rudnicky, and 1994. Expanding the scope of the ATIS task: the ATIS-3 corpus. In Proceedings of the ARPA HLT Workshop. N. Dinesh, A. Joshi, I. Lee, and O. Sokolsky. 2007. Logic-based regulatory conformance checking. In Proceedings of the 14th Monterey Workshop. N. Dinesh, A. Joshi, I. Lee, and O. Sokolsky. 2011. Permission to speak: A logic for access control and conformance. Journal of Logic and Algebraic Programming, 80(1):50–74. N. Dinesh. 2010. Regulatory Conformance Checking: Logic and Logical Form. Ph.D. thesis, University of Pennsylvania. G. Governatori, Z. Milosevic, and S. Sadiq. 2006. Compliance checking between business processes and business contracts. In 10th International Enterprise Distributed Object Computing Conference (EDOC). J. Grimshaw. 1990. Argument Structure. MIT Press. E. Shriberg. B. Grosof, Y. Labrou, and H. Y. Chan. 1999. A declarative approache to business rules in contracts: Courteous logic programs in xml. In ACM Conference on Electronic Commerce. L. S. Zettlemoyer and M. Collins. 2005. Learning to map sentences to logical form: Structured classification with probabilistic categorial grammars. In Proceedings of UAI. Irene Heim and Angelika Kratzer. 1998. Semantics in Generative Grammar. Blackwell. L. S. Zettlemoyer and M. Collins. 2009. Learning context-dependent mappings from sentences to logi- G.S Iyonutpa.x a 1n9d7 5S.emSaonmtices, u 4n:i3v7e–rs5a8ls. for quantifier scope. R. Jackendoff. 1972. Semantic Interpretation in Generative Grammar. MIT Press. A. J. I. Jones and M. J. Sergot. 1992. Formal specification of security requirements using the theory of normative positions. In European Symposium on Reasearch in Computer Security (ESORICS). R. M. Karp. 1972. Reducibility among combinatorial problems. In R. E. Miller and J. W. Thatcher, editors, Complexity ofComputer Computations, pages 85–103. Plenum Press. H. S. Kurtzman and M. C. MacDonald. 1993. Resolution of quantifier scope ambiguities. Cognition, 48:243– 279. cAasls fo ciramti.o In f Por o Cceoemdpinugtast oiofn thael L Ain gnu iaslti Mcse (eAtiCngL) o.f the R. K. Larson. 1985. Quantifying to np. Manuscript, MIT. T. Liu. 2009. Learning to rank for information retrieval. Foundations and Trends in Information Retrieval, 3(3). D. Makinson and L. van der Torre. 2000. Input/output logics. Journal of Philosophical Logic, 29:383–408. R. May. 1985. Logical Form: Its structure and derivation. MIT Press. A. McCallum. 2002. MALLET: A machine learning for language toolkit. http://mallet.cs.umass.edu. T. Reinhart. 1983. Anaphora and Semantic Interpretation. Croom Helm. M.J. Sergot, F.Sadri, R.A. Kowalski, F.Kriwaczek, P.Hammond, and H.T. Cory. 1986. The british nationality act as a logic program. Communications of the ACM, 29(5):370–86. P. Srinivasan and A. Yates. 2009. Quantifier scope disambiguation using extracted pragmatic knowledge: Preliminary results. In Proceedings of the Conference on Empirical Methods in Natural Language Processing (EMNLP). C. A. Thompson, R. J. Mooney, and L. R. Tang. 1997. Learning to parse natural language database queries into logical form. In Proceedings of the Workshop on Automata Induction, Grammatical Inference and Language Acquisition. Y. W. Wong and R. J. Mooney. 2007. Learning synchronous grammars for semantic parsing with lambda calculus. In Proceedings of the Annual Meeting of the Association for Computational Linguistics (ACL). 1212