We survey the evolution of natural language processing as it relates to Logic Programming, with particular focus on David Scott Warren's crucial contributions such as tabling, and the relationship with hypothetical reasoning and constraint based programming. These topics lead naturally to a view of parsing as constraint solving, which extends to grammar inference. Our exposition of the subject is intuitive and example-driven, with references to more formal presentations when needed.
|Titel||Declarative Logic Programming : Theory, Systems, and Applications|
|Redaktører||Michael Kifer, Yanhong Annie Liu|
|Udgivelses sted||New York|
|Forlag||Association for Computing Machinery|
|Status||Udgivet - 2018|