Abstract
Various logical representations and frameworks have been proposed for reasoning with legal information. These approaches assume that the legal text has already been translated to the desired formal representation. However, the approaches for translating legal text into formal representations have mostly focused on inferring facts from text or translating it to a single representation. In this work, we use the NL2KR system to translate legal text into a wide variety of formal representations. This will enable the use of existing logical reasoning approaches on legal text (English), thus allowing reasoning with text.
| Original language | English (US) |
|---|---|
| Title of host publication | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Publisher | Springer Verlag |
| Pages | 259-273 |
| Number of pages | 15 |
| Volume | 9067 |
| ISBN (Print) | 9783662481189 |
| DOIs | |
| State | Published - 2015 |
| Event | 6th International Symposium on Artificial Intelligence, JSAI 2014 - Kanagawa, Japan Duration: Oct 27 2014 → Oct 28 2014 |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 9067 |
| ISSN (Print) | 03029743 |
| ISSN (Electronic) | 16113349 |
Other
| Other | 6th International Symposium on Artificial Intelligence, JSAI 2014 |
|---|---|
| Country | Japan |
| City | Kanagawa |
| Period | 10/27/14 → 10/28/14 |
Fingerprint
Keywords
- Natural language processing
- Natural language translation
- Natural language understanding
ASJC Scopus subject areas
- Computer Science(all)
- Theoretical Computer Science
Cite this
Translating simple legal text to formal representations. / Gaur, Shruti; Vo, Nguyen H.; Kashihara, Kazuaki; Baral, Chitta.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9067 Springer Verlag, 2015. p. 259-273 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9067).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
}
TY - GEN
T1 - Translating simple legal text to formal representations
AU - Gaur, Shruti
AU - Vo, Nguyen H.
AU - Kashihara, Kazuaki
AU - Baral, Chitta
PY - 2015
Y1 - 2015
N2 - Various logical representations and frameworks have been proposed for reasoning with legal information. These approaches assume that the legal text has already been translated to the desired formal representation. However, the approaches for translating legal text into formal representations have mostly focused on inferring facts from text or translating it to a single representation. In this work, we use the NL2KR system to translate legal text into a wide variety of formal representations. This will enable the use of existing logical reasoning approaches on legal text (English), thus allowing reasoning with text.
AB - Various logical representations and frameworks have been proposed for reasoning with legal information. These approaches assume that the legal text has already been translated to the desired formal representation. However, the approaches for translating legal text into formal representations have mostly focused on inferring facts from text or translating it to a single representation. In this work, we use the NL2KR system to translate legal text into a wide variety of formal representations. This will enable the use of existing logical reasoning approaches on legal text (English), thus allowing reasoning with text.
KW - Natural language processing
KW - Natural language translation
KW - Natural language understanding
UR - http://www.scopus.com/inward/record.url?scp=84945571603&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84945571603&partnerID=8YFLogxK
U2 - 10.1007/978-3-662-48119-6_19
DO - 10.1007/978-3-662-48119-6_19
M3 - Conference contribution
AN - SCOPUS:84945571603
SN - 9783662481189
VL - 9067
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 259
EP - 273
BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PB - Springer Verlag
ER -