TY - GEN
T1 - Towards overcoming the knowledge acquisition bottleneck in answer set prolog applications
T2 - 23rd International Conference on Logic Programming, ICLP 2007
AU - Baral, Chitta
AU - Dzifcak, Juraj
AU - Tari, Luis
PY - 2007
Y1 - 2007
N2 - Answer set Prolog, or AnsProlog in short, is one of the leading knowledge representation (KR) languages with a large body of theoretical and building block results, several implementations and reasoning and declarative problem solving applications. But it shares the problem associated with knowledge acquisition with all other KR languages; most knowledge is entered manually by people and that is a bottleneck. Recent advances in natural language processing have led to some systems that convert natural language sentences to a logical form. Although these systems are in their infancy, they suggest a direction to overcome the above mentioned knowledge acquisition bottleneck. In this paper we discuss some recent work by us on developing applications that process logical forms of natural language text and use the processed result together with AnsProlog rules to do reasoning and problem solving.
AB - Answer set Prolog, or AnsProlog in short, is one of the leading knowledge representation (KR) languages with a large body of theoretical and building block results, several implementations and reasoning and declarative problem solving applications. But it shares the problem associated with knowledge acquisition with all other KR languages; most knowledge is entered manually by people and that is a bottleneck. Recent advances in natural language processing have led to some systems that convert natural language sentences to a logical form. Although these systems are in their infancy, they suggest a direction to overcome the above mentioned knowledge acquisition bottleneck. In this paper we discuss some recent work by us on developing applications that process logical forms of natural language text and use the processed result together with AnsProlog rules to do reasoning and problem solving.
UR - http://www.scopus.com/inward/record.url?scp=38149139604&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=38149139604&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-74610-2_1
DO - 10.1007/978-3-540-74610-2_1
M3 - Conference contribution
AN - SCOPUS:38149139604
SN - 9783540746089
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 1
EP - 21
BT - Logic Programming - 23rd International Conference, ICLP 2007, Proceedings
PB - Springer Verlag
Y2 - 8 September 2007 through 13 September 2007
ER -