Today, I studied about simple typed-lambda calculus and Combinatory Categorial Grammar. This was from a tutorial. There were two reasons I spent time on it - one was that the author of the base paper I was reading presented it and one was that it was under the heading of "Semantic Parsing" which gave me a feel that meaning of text can be retrieved.
Semantic Parsing aims to retrieve as much meaning required for a task. The calculus is a higher order logic from first logic, that can communicate with CCG. CCG is mildly context sensitive that is able to match syntax and semantics.
Still, it requires learning to resolve ambiguity. In a way, the modelling of semantics is still difficult. And I felt it was not relevant to what I was trying to achieve.
I feel this learning exercise was of some use even if not immediately applicable.
Semantic Parsing aims to retrieve as much meaning required for a task. The calculus is a higher order logic from first logic, that can communicate with CCG. CCG is mildly context sensitive that is able to match syntax and semantics.
Still, it requires learning to resolve ambiguity. In a way, the modelling of semantics is still difficult. And I felt it was not relevant to what I was trying to achieve.
I feel this learning exercise was of some use even if not immediately applicable.
No comments:
Post a Comment