On the Relationship between a Computational Natural Logic and Natural Language

Troels Andreasen, Henrik Bulskov, Jørgen Fischer Nilsson, Per Anker Jensen

Abstract

This paper makes a case for adopting appropriate forms of natural logic as target language for computational reasoning with descriptive natural language. Natural logics are stylized fragments of natural language where reasoning can be conducted directly by natural reasoning rules reflecting intuitive reasoning in natural language. The approach taken in this paper is to extend natural logic stepwise with a view to covering successively larger parts of natural language. We envisage applications for computational querying and reasoning, in particular within the life-sciences.

References

  1. Andreasen, T., Bulskov, H., Fischer Nilsson, J., and Jensen, P. A. (2014a). Computing pathways in bio-models derived from bio-science text sources. In Proceedings of the IWBBIO International Work-Conference on Bioinformatics and Biomedical Engineering, Granada, April, pages 217-226.
  2. Andreasen, T., Bulskov, H., Nilsson, J. F., and Jensen, P. A. (2014b). A system for computing conceptual pathways in bio-medical text models. In Foundations of Intelligent Systems, pages 264-273. Springer.
  3. Andreasen, T., Bulskov, H., Nilsson, J. F., and Jensen, P. A. (2015). A system for conceptual pathway finding and deductive querying. In Flexible Query Answering Systems 2015, pages 461-472. Springer.
  4. Andreasen, T. and Nilsson, J. F. (2014). A case for embedded natural logic for ontological knowledge bases. In 6th International Conference on Knowledge Engineering and Ontology Development.
  5. Bittner, T. and Donnelly, M. (2007). Logical properties of foundational relations in bio-ontologies. Artificial Intelligence in Medicine, 39(3):197-216.
  6. de Azevedo, R. R., Freitas, F., Rocha, R., de Menezes, J. A. A., and Pereira, L. F. A. (2014). Generating description logic ALC from text in natural language. In Foundations of Intelligent Systems, pages 305-314. Springer.
  7. Fuchs, N. E., Kaljurand, K., and Kuhn, T. (2008). Attempto controlled english for knowledge representation. In Reasoning Web, pages 104-124. Springer.
  8. Fyodorov, Y., Winter, Y., and Fyodorov, N. (2003). Orderbased inference in natural logic. Log. J. IGPL, 11(4):385-417. Inference in computational semantics: the Dagstuhl Workshop 2000.
  9. Jensen, P. A. and Nilsson, J. F. (2006). Ontology-based semantics for prepositions. In Saint-Dizier, P., editor, Syntax and semantics of prepositions, pages 217-233. Springer Science & Business Media.
  10. Klíma, G. (2010). Natural logic, medieval logic and formal semantics. Logic, Language, Mathematics, 2.
  11. Kuhn, T., Royer, L., Fuchs, N. E., and Schroeder, M. (2006). Improving text mining with controlled natural language: A case study for protein interactions. In Data Integration in the Life Sciences, pages 66-81. Springer.
  12. MacCartney, B. and Manning, C. D. (2009). An extended model of natural logic. In Proceedings of the eighth international conference on computational semantics, pages 140-156. Association for Computational Linguistics.
  13. Nilsson, J. F. (2013). Diagrammatic reasoning with classes and relationships. In Visual Reasoning with Diagrams, pages 83-100. Springer.
  14. Nilsson, J. F. (2015). In pursuit of natural logics for ontology-structured knowledge bases. In The Seventh International Conference on Advanced Cognitive Technologies and Applications.
  15. Pratt-Hartmann, I. and Moss, L. S. (2009). Logics for the relational syllogistic. Review of Symbolic Logic, 2(4):647-683.
  16. Schulz, S. and Hahn, U. (2004). Ontological foundations of biological continuants. In Formal ontology in information systems. Proceedings of the 3rd international conference-FOIS, pages 4-6.
  17. Smith, B., Ceusters, W., Klagges, B., Köhler, J., Kumar, A., Lomax, J., Mungall, C., Neuhaus, F., Rector, A. L., and Rosse, C. (2005). Relations in biomedical ontologies. Genome biology, 6(5):R46.
  18. Thorne, C., Bernardi, R., and Calvanese, D. (2014). Designing efficient controlled languages for ontologies. In Bunt, H., Bos, J., and Pulman, S., editors, Computing Meaning, Volume 4, volume 47 of Text, Speech and Language Technology, pages 149-173. Springer.
  19. van Benthem, J. (1986). Essays in Logical Semantics, Volume 29 of Studies in Linguistics and Philosophy. D. Reidel, Dordrecht, Holland.
  20. Vikner, C. and Jensen, P. A. (2002). A semantic analysis of the english genitive. interaction of lexical and formal semantics. Studia Linguistica, 56(2):191-226.
  21. Yu, A. C. (2006). Methods in biomedical ontology. Journal of Biomedical Informatics, 39(3):252 - 266. Biomedical Ontologies.
Download


Paper Citation


in Harvard Style

Andreasen T., Bulskov H., Nilsson J. and Jensen P. (2016). On the Relationship between a Computational Natural Logic and Natural Language . In Proceedings of the 8th International Conference on Agents and Artificial Intelligence - Volume 1: PUaNLP, (ORG/PUANLP 2016) ISBN 978-989-758-172-4, pages 335-342. DOI: 10.5220/0005848103350342


in Bibtex Style

@conference{puanlp16,
author={Troels Andreasen and Henrik Bulskov and Jørgen Fischer Nilsson and Per Anker Jensen},
title={On the Relationship between a Computational Natural Logic and Natural Language},
booktitle={Proceedings of the 8th International Conference on Agents and Artificial Intelligence - Volume 1: PUaNLP, (ORG/PUANLP 2016)},
year={2016},
pages={335-342},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005848103350342},
isbn={978-989-758-172-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 8th International Conference on Agents and Artificial Intelligence - Volume 1: PUaNLP, (ORG/PUANLP 2016)
TI - On the Relationship between a Computational Natural Logic and Natural Language
SN - 978-989-758-172-4
AU - Andreasen T.
AU - Bulskov H.
AU - Nilsson J.
AU - Jensen P.
PY - 2016
SP - 335
EP - 342
DO - 10.5220/0005848103350342