Abstract | ||
---|---|---|
LogAnswer is an open domain question answering system which employs an automated theorem prover to infer correct replies to natural language questions. For this purpose LogAnswer operates on a large axiom set in first-order logic, representing a formalized semantic network acquired from extensive textual knowledge bases. The logicbased approach allows the formalization of semantics and background knowledge, which play a vital role in deriving answers. We present the functional LogAnswer prototype, which consists of automated theorem provers for logical answer derivation as well as an environment for deep linguistic processing. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1007/978-3-540-71070-7_11 | IJCAR |
Keywords | Field | DocType |
deep linguistic processing,purpose loganswer,system description,formalized semantic network,automated theorem provers,correct reply,extensive textual knowledge base,automated theorem prover,deduction-based question answering system,functional loganswer prototype,first-order logic,formal semantics,knowledge base,question answering system,first order logic,natural language,theorem prover | Programming language,Deep linguistic processing,Axiom,Computer science,Natural language processing,Artificial intelligence,Question answering,Automated theorem proving,Algorithm,Semantic network,Natural language,Automated theorem provers,Semantics | Conference |
Citations | PageRank | References |
5 | 0.50 | 10 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ulrich Furbach | 1 | 639 | 88.23 |
Ingo Glöckner | 2 | 5 | 0.50 |
Hermann Helbig | 3 | 41 | 10.24 |
Björn Pelzer | 4 | 114 | 10.64 |