Affiliation:
1. Centro de Investigación en Computación, Instituto Politécnico Nacional, Mexico City 07738, Mexico
Abstract
Non-axiomatic logic (NAL) is a term-based, non-monotonic, multi-valued logic with evidence-based formal semantics. All those characteristics position NAL as an excellent candidate for modeling natural language expressions and supporting artificial agents while performing knowledge discovery and commonsense reasoning tasks. In this article, we propose a set of rules for the automatic translation of natural language (NL) text into the formal language of non-axiomatic logic (NAL). Several free available tools are used to support a previous linguistic analysis, and a common sense ontology is used to populate a background knowledge base that helps to delimit the scope and the semantics of logical formulas translated. Experimentation shows our set to be the most comprehensive NL-to-NAL translation rule set known so far. Furthermore, we included an extensive set of examples to show how our proposed set of rules can be used for translating a wide range of English statements with varying grammatical structures.
Funder
Secretaría de Investigación y Posgrado
Subject
Fluid Flow and Transfer Processes,Computer Science Applications,Process Chemistry and Technology,General Engineering,Instrumentation,General Materials Science
Reference50 articles.
1. Commonsense reasoning and commonsense knowledge in artificial intelligence;Davis;Commun. ACM,2015
2. Sap, M., Shwartz, V., Bosselut, A., Choi, Y., and Roth, D. (2020, January 5–10). Commonsense reasoning for natural language processing. Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics: Tutorial Abstracts, Online.
3. McCarthy, J. (1959). Programs with Common Sense, Taylor & Francis.
4. Richardson, C., and Heck, L. (2023). Commonsense reasoning for conversational AI: A survey of the state of the art. arXiv.
5. Logical formalizations of commonsense reasoning: A survey;Davis;J. Artif. Intell. Res.,2017