TY - GEN
T1 - Using answer set programming and lambda calculus to characterize natural language sentences with normatives and exceptions
AU - Baral, Chitta
AU - Dzifcak, Juraj
AU - Son, Tran Cao
PY - 2008
Y1 - 2008
N2 - One way to solve the knowledge acquisition bottleneck is to have ways to translate natural language sentences and discourses to a formal knowledge representation language, especially ones that are appropriate to express domain knowledge in sciences, such as Biology. While there have been several proposals, including by Montague (1970), to give model theoretic semantics for natural language and to translate natural language sentences and discourses to classical logic, none of these approaches use knowledge representation languages that can express domain knowledge involving normative statements and exceptions. In this paper we take a first step to illustrate how one can automatically translate natural language sentences about normative statements and exceptions to representations in the knowledge representation language Answer Set Programming (ASP). To do this, we use A-calculus representation of words and their composition as dictated by a CCG grammar.
AB - One way to solve the knowledge acquisition bottleneck is to have ways to translate natural language sentences and discourses to a formal knowledge representation language, especially ones that are appropriate to express domain knowledge in sciences, such as Biology. While there have been several proposals, including by Montague (1970), to give model theoretic semantics for natural language and to translate natural language sentences and discourses to classical logic, none of these approaches use knowledge representation languages that can express domain knowledge involving normative statements and exceptions. In this paper we take a first step to illustrate how one can automatically translate natural language sentences about normative statements and exceptions to representations in the knowledge representation language Answer Set Programming (ASP). To do this, we use A-calculus representation of words and their composition as dictated by a CCG grammar.
UR - http://www.scopus.com/inward/record.url?scp=57749201345&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=57749201345&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:57749201345
SN - 9781577353683
T3 - Proceedings of the National Conference on Artificial Intelligence
SP - 818
EP - 823
BT - AAAI-08/IAAI-08 Proceedings - 23rd AAAI Conference on Artificial Intelligence and the 20th Innovative Applications of Artificial Intelligence Conference
T2 - 23rd AAAI Conference on Artificial Intelligence and the 20th Innovative Applications of Artificial Intelligence Conference, AAAI-08/IAAI-08
Y2 - 13 July 2008 through 17 July 2008
ER -