First Order Logic Concepts in Fluid Construction Grammar
Sierra-Santib aacute ntilde ez Josefina · Frontiers in artificial intelligence and applications · 2011
This paper proposes a formal definition of Fluid Construction Grammar (FCG) in terms of First Order Logic concepts, including its core inference operations unify and merge. Our aim is not only to clarify basic notions in FCG but also to provide a logical foundation for provably sound and efficient implementations.