2010 | OriginalPaper | Buchkapitel
Economical Discourse Representation Theory
verfasst von : Johan Bos
Erschienen in: Controlled Natural Language
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
First-order logic (FOL) is undecidable — that is, no algorithm exists that can decide whether a formula of FOL is valid or not. However, there are various fragments of FOL that are known to be decidable. FO
2
, the two-variable fragment of FOL, is one of such languages [1,2]. FO
2
is a first-order language where formulas have maximally two variables, no function symbols, but possibly do have equality. FO
2
has the finite model property [1], which means that if a formula of FO
2
is satisfiable, it is satisfiable in a finite model.