A context-sensitive multi-level similarity framework for First-Order Logic arguments is proposed, using an extended axiomatic base, four-level parametric models, language-model syntax sensitivity, contextual weights, and formal constraints.
Assume thatMsatisfies the three hypotheses from Theo- rem 5,i.e.: 1.simL((P, ⃗ a),(Q,⃗b)) = 0ifsimP(P, Q) = 0and∀a i ∈ ⃗ a,∀bj ∈ ⃗b,simP(a i, bj) = 0
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.AI 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Technical Report -- A Context-Sensitive Multi-Level Similarity Framework for First-Order Logic Arguments: An Axiomatic Study
A context-sensitive multi-level similarity framework for First-Order Logic arguments is proposed, using an extended axiomatic base, four-level parametric models, language-model syntax sensitivity, contextual weights, and formal constraints.