Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
ATZ-Fachkongress

Chassis.tech plus 2024


4 Kongresse in einer Veranstaltung

Treffen Sie in München die Fachleute von Chassis, Lenkung, Bremsen sowie Reifen/Räder.
Erweiterte Suche
Anmelden
nach oben
KI - Künstliche Intelligenz
Erschienen in: KI - Künstliche Intelligenz 1/2010

01.04.2010 | Projekt

Logic-Based Question Answering

verfasst von: Ulrich Furbach, Ingo Glöckner, Hermann Helbig, Björn Pelzer

Erschienen in: KI - Künstliche Intelligenz | Ausgabe 1/2010

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Question answering systems aim to provide concise and correct responses to arbitrary questions, communicating with the user in a natural language. This way they help making the knowledge of large textual sources accessible in an intuitive manner which goes beyond the capabilities of conventional search engines. In the LogAnswer project the universities of Hagen and Koblenz cooperate to build a German language question answering system which combines computational linguistics and automated reasoning to deduce answers from a knowledge base derived from Wikipedia.
Vorheriger Artikel Practical Aspects of Automated Deduction for Program Verification
Nächster Artikel Deductive Verification of System Software in the Verisoft XT Project

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

KI - Künstliche Intelligenz

The Scientific journal "KI – Künstliche Intelligenz" is the official journal of the division for artificial intelligence within the "Gesellschaft für Informatik e.V." (GI) – the German Informatics Society - with constributions from troughout the field of artificial intelligence.

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Weitere Produktempfehlungen anzeigen
Fußnoten
2
Cross Language Evaluation Forum, http://​clef-campaign.​org.
 
Literatur
1.
Furbach U, Glöckner I, Helbig H, Pelzer B (2008) LogAnswer—a deduction-based question answering system. In: Automated reasoning (IJCAR 2008). Lecture notes in computer science. Springer, Berlin, pp 139–146 CrossRef
2.
Furbach U, Glöckner I, Pelzer B (2009) An application of automated reasoning in natural language question answering. AI communications, Special issue on practical aspects of automated reasoning (to appear)
3.
Bos J (2001) DORIS 2001: Underspecification, resolution and inference for discourse representation structures. In: ICoS-3—inference in computational semantics, workshop proceedings
4.
Harabagiu A, Moldovan D, Mihalcea R, Surdeanu M, Rus V (2000) FALCON: boosting knowledge for answer engines. In: Proc of the 9th text retrival conference (TREC-9), pp 479–488
5.
Fellbaum C (ed) (1998) WordNet: an electronic lexical database, 1st edn. MIT Press, Cambridge (ISBN: 0-262-06197-X) MATH
6.
Moldovan D, Clark C, Harabagiu S, Maiorano S (2003) COGEX: a logic prover for question answering. In: Proc. of NAACL-HLT, Morristown, NJ, vol 1, pp 87–93
7.
Bos J, Markert K (2006) When logical inference helps determining textual entailment (and when it doesn’t). In: Proc. of 2nd PASCAL RTE challenge workshop
8.
Bobrow D, Condoravdi C, Crouch R, de Paiva V, Kaplan R, Karttunen L, King T, Zaenen A (2005) A basic logic for textual inference. In: Proceedings of the AAAI workshop on inference for textual question answering, Pittsburgh, PA
9.
Helbig H (2006) Knowledge representation and the semantics of natural language. Springer, Berlin MATH
10.
Pelzer B, Wernhard C (2007) System description: E-KRHyper. In: Automated deduction—CADE-21, proceedings, pp 508–513
11.
Baumgartner P, Furbach U, Niemelä I (1996) Hyper tableaux. In: JELIA’96, proceedings, pp 1–17
12.
Glöckner I Pelzer B (2008) Exploring robustness enhancements for logic-based passage filtering. In: Knowledge based intelligent information and engineering systems (proc of KES2008, part I). LNAI, vol 5117. Springer, Berlin, pp 606–614 CrossRef
13.
Peters C, Deselaers T, Ferro N, Gonzalo J, Jones GJF, Kurimo M, Mandl T, Peñas A, Petras V (eds) (2009) Evaluating systems for multilingual and multimodal information access: 9th workshop of the cross-language evaluation forum, CLEF 2008, Aarhus, Denmark, September 17–19. Revised selected papers. LNCS, vol 5706. Springer, Berlin/Heidelberg
14.
Glöckner I, Pelzer B (2009) Combining logic and machine learning for answering questions. In: Evaluating systems for multilingual and multimodal information access: 9th workshop of the cross-language evaluation forum, CLEF 2008, Aarhus, Denmark, September 17–19. Revised selected papers. LNCS, vol 5706. Springer, Berlin/Heidelberg, pp 401–408 CrossRef
15.
Lenat DB (1995) CYC: a large-scale investment in knowledge infrastructure. Commun ACM 38(11):33–38 CrossRef
16.
Niles I, Pease A (2001) Towards a standard upper ontology. In: Proceedings of the 2nd international conference on formal ontology in information systems (FOIS-2001)
Metadaten
Titel
Logic-Based Question Answering
verfasst von
Ulrich Furbach
Ingo Glöckner
Hermann Helbig
Björn Pelzer
Publikationsdatum
01.04.2010
Verlag
Springer-Verlag
Erschienen in
KI - Künstliche Intelligenz / Ausgabe 1/2010
Print ISSN: 0933-1875
Elektronische ISSN: 1610-1987
DOI
https://doi.org/10.1007/s13218-010-0010-x

Weitere Artikel der Ausgabe 1/2010

KI - Künstliche Intelligenz 1/2010 Zur Ausgabe

Fachbeitrag

Instance Based Methods—A Brief Overview

Fachbeitrag

Current Trends in Automated Deduction

Editorial

Künstliche Intelligenz ab 2010 bei Springer

Editorial

Special Issue on Automated Deduction

Editorial

Willkommen bei Springer

Projekt

Learning and Recognizing Structures in Façade Scenes (eTRIMS)—A Retrospective

Premium Partner

    Bildnachweise