Results 31 to 40 of about 366,917 (330)

On the Expressiveness of Languages for Complex Event Recognition [PDF]

open access: yes, 2020
Complex Event Recognition (CER for short) has recently gained attention as a mechanism for detecting patterns in streams of continuously arriving event data.
  +3 more
core   +1 more source

Transformation of natural language into logical formulas [PDF]

open access: yesProceedings of the 9th conference on Computational linguistics -, 1982
This paper presents an attempt of elaboration of a full parsing system for Polish natural language which is being worked out in the Institute of Informatics of Warsaw University. Our system was adapted to the parsing of the corpus of real medical texts which concern a subdomain of medicine.
Leonard Bolc, Tomek Strzalkowski
openaire   +2 more sources

Natural language understanding for logical games

open access: yesCoRR, 2021
We developed a system able to automatically solve logical puzzles in natural language. Our solution is composed by a parser and an inference module. The parser translates the text into first order logic (FOL), while the MACE4 model finder is used to compute the models of the given FOL theory.
Adrian Groza, Cristian Nitu
openaire   +2 more sources

Les proverbes : des règles de vie souvent hors la loi

open access: yesRecherches, 2019
Spanish proverbs are general prescriptive principles, since they systematically induce a directive act. Guardians of a natural logic, they admit exceptions and are therefore flexible didactic norms.
Sonia Fournet-Pérot
doaj   +1 more source

Translative Linguistics: an Aspectualized Review of Initial Provisions. Part 1. Gnoseology of Translation

open access: yesВестник Кемеровского государственного университета, 2022
The article introduces translative linguistics as a special branch in the study of natural languages and describes the history of its development.
N. D. Golev
doaj   +1 more source

An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II) [PDF]

open access: yesLogical Methods in Computer Science, 2020
There are two natural and well-studied approaches to temporal ontology and reasoning: point-based and interval-based. Usually, interval-based temporal reasoning deals with points as a particular case of duration-less intervals.
Willem Conradie   +2 more
doaj   +1 more source

Non‐Classical Knowledge [PDF]

open access: yes, 2017
The Knower paradox purports to place surprising a priori limitations on what we can know. According to orthodoxy, it shows that we need to abandon one of three plausible and widely-held ideas: that knowledge is factive, that we can know that knowledge is
Jerzak, Ethan
core   +1 more source

AND does not mean OR: Using Formal Languages to Study Language Models’ Representations

open access: yesAnnual Meeting of the Association for Computational Linguistics, 2021
A current open question in natural language processing is to what extent language models, which are trained with access only to the form of language, are able to capture the meaning of language. This question is challenging to answer in general, as there
Aaron Traylor   +2 more
semanticscholar   +1 more source

Comparative Analysis of Grammatical Aspects of Contemporary Russian and Czech Style of Exact Science (in the Field of Geology)

open access: yesACC Journal, 2023
The author’s dissertation deals with the contemporary styles of Russian and Czech scientific prose in natural sciences. The aim of the research is to provide a detailed description of the language means of functional-semantic categories such as ...
Matyášková Gabriela
doaj   +1 more source

Natural Logic for Natural Language [PDF]

open access: yes, 2007
For a cognitive account of reasoning it is useful to factor out the syntactic aspect -- the aspect that has to do with pattern matching and simple substitution -- from the rest. The calculus of monotonicity, alias the calculus of natural logic, does precisely this, for it is a calculus of appropriate substitutions at marked positions in syntactic ...
openaire   +2 more sources

Home - About - Disclaimer - Privacy