Abductive Logic Grammars

Henning Christiansen, Veronica Dahl

Research output: Contribution to journalConference articleResearchpeer-review

Abstract

By extending logic grammars with constraint logic, we give them the ability to create knowledge bases that represent the meaning of an input string. Semantic information is thus defined through extra-grammatical means, and a sentence's meaning logically follows as a by-product of string rewriting. We formalize these ideas, and exemplify them both within and outside first-order logic, and for both fixed and dynamic knowledge bases. Within the latter variety, we consider the usual left-to-right derivations that are traditional in logic grammars, but also -- in a significant departure from the norm -- arbitrary (i.e., order-independent) derivations.
We show that rich and accurate knowledge extraction from text can be achieved through the use of this new formalism


Original languageEnglish
Book seriesLecture Notes in Computer Science
Pages (from-to)170-181
ISSN0302-9743
Publication statusPublished - 2009
EventLogic, Language, Information and Computation. 16th International Workshop, WoLLIC 2009 - Tokyo, Japan
Duration: 21 Jun 200924 Jun 2009
Conference number: 10

Conference

ConferenceLogic, Language, Information and Computation. 16th International Workshop, WoLLIC 2009
Number10
CountryJapan
CityTokyo
Period21/06/200924/06/2009

Keywords

  • logic grammars
  • abduction

Cite this

@inproceedings{921aa9d0769111de973f000ea68e967b,
title = "Abductive Logic Grammars",
abstract = "By extending logic grammars with constraint logic, we give them the ability to create knowledge bases that represent the meaning of an input string. Semantic information is thus defined through extra-grammatical means, and a sentence's meaning logically follows as a by-product of string rewriting. We formalize these ideas, and exemplify them both within and outside first-order logic, and for both fixed and dynamic knowledge bases. Within the latter variety, we consider the usual left-to-right derivations that are traditional in logic grammars, but also -- in a significant departure from the norm -- arbitrary (i.e., order-independent) derivations. We show that rich and accurate knowledge extraction from text can be achieved through the use of this new formalism",
keywords = "logiske grammatikker, abduktion, logic grammars, abduction",
author = "Henning Christiansen and Veronica Dahl",
note = "Volumne: 5514",
year = "2009",
language = "English",
pages = "170--181",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Physica-Verlag",

}

Abductive Logic Grammars. / Christiansen, Henning; Dahl, Veronica.

In: Lecture Notes in Computer Science, 2009, p. 170-181.

Research output: Contribution to journalConference articleResearchpeer-review

TY - GEN

T1 - Abductive Logic Grammars

AU - Christiansen, Henning

AU - Dahl, Veronica

N1 - Volumne: 5514

PY - 2009

Y1 - 2009

N2 - By extending logic grammars with constraint logic, we give them the ability to create knowledge bases that represent the meaning of an input string. Semantic information is thus defined through extra-grammatical means, and a sentence's meaning logically follows as a by-product of string rewriting. We formalize these ideas, and exemplify them both within and outside first-order logic, and for both fixed and dynamic knowledge bases. Within the latter variety, we consider the usual left-to-right derivations that are traditional in logic grammars, but also -- in a significant departure from the norm -- arbitrary (i.e., order-independent) derivations. We show that rich and accurate knowledge extraction from text can be achieved through the use of this new formalism

AB - By extending logic grammars with constraint logic, we give them the ability to create knowledge bases that represent the meaning of an input string. Semantic information is thus defined through extra-grammatical means, and a sentence's meaning logically follows as a by-product of string rewriting. We formalize these ideas, and exemplify them both within and outside first-order logic, and for both fixed and dynamic knowledge bases. Within the latter variety, we consider the usual left-to-right derivations that are traditional in logic grammars, but also -- in a significant departure from the norm -- arbitrary (i.e., order-independent) derivations. We show that rich and accurate knowledge extraction from text can be achieved through the use of this new formalism

KW - logiske grammatikker

KW - abduktion

KW - logic grammars

KW - abduction

M3 - Conference article

SP - 170

EP - 181

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -