A formal reconstruction of procedural semantics:
Abstract: "The idea of representing the meaning of natural language sentences as procedural expressions which could be evaluated was introduced to computational linguistics by Woods in the late 1960s and early 1970s, and formed the basis of various query interfaces to databases. However, a comp...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Edinburgh
1994
|
| Schriftenreihe: | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper
678 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "The idea of representing the meaning of natural language sentences as procedural expressions which could be evaluated was introduced to computational linguistics by Woods in the late 1960s and early 1970s, and formed the basis of various query interfaces to databases. However, a completely precise definition of the semantics of this procedural representation was never given, with published accounts being semi-formal and heavily dependent on implementation in Lisp. We supply a complete formal definition of a meaning representation language closely based on that of Woods', together with a set-theoretic semantics for all its constructs and an indication of precisely how the supporting database must be structured. The language has been tested on simple databases, and is designed to be independent not only of the domain, but of the particular database management system involved." |
| Beschreibung: | 47 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010466708 | ||
| 003 | DE-604 | ||
| 005 | 20200608 | ||
| 007 | t | ||
| 008 | 951108s1994 |||| 00||| engod | ||
| 035 | |a (OCoLC)32841295 | ||
| 035 | |a (DE-599)BVBBV010466708 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 084 | |a DAT 557f |2 stub | ||
| 100 | 1 | |a Fernandes, Alvaro A. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a A formal reconstruction of procedural semantics |c Alvaro A. A. Fernandes; Graeme Ritchie and Dave Moffat |
| 264 | 1 | |a Edinburgh |c 1994 | |
| 300 | |a 47 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a University <Edinburgh> / Department of Artificial Intelligence: DAI research paper |v 678 | |
| 520 | 3 | |a Abstract: "The idea of representing the meaning of natural language sentences as procedural expressions which could be evaluated was introduced to computational linguistics by Woods in the late 1960s and early 1970s, and formed the basis of various query interfaces to databases. However, a completely precise definition of the semantics of this procedural representation was never given, with published accounts being semi-formal and heavily dependent on implementation in Lisp. We supply a complete formal definition of a meaning representation language closely based on that of Woods', together with a set-theoretic semantics for all its constructs and an indication of precisely how the supporting database must be structured. The language has been tested on simple databases, and is designed to be independent not only of the domain, but of the particular database management system involved." | |
| 650 | 7 | |a Computer software |2 sigle | |
| 650 | 4 | |a Natural language processing (Computer science) | |
| 700 | 1 | |a Ritchie, Graeme D. |d 1949- |e Verfasser |0 (DE-588)1053267800 |4 aut | |
| 700 | 1 | |a Moffat, Dave |e Verfasser |4 aut | |
| 810 | 2 | |a Department of Artificial Intelligence: DAI research paper |t University <Edinburgh> |v 678 |w (DE-604)BV010450646 |9 678 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006974650 | ||
Datensatz im Suchindex
| _version_ | 1804124899704307712 |
|---|---|
| any_adam_object | |
| author | Fernandes, Alvaro A. Ritchie, Graeme D. 1949- Moffat, Dave |
| author_GND | (DE-588)1053267800 |
| author_facet | Fernandes, Alvaro A. Ritchie, Graeme D. 1949- Moffat, Dave |
| author_role | aut aut aut |
| author_sort | Fernandes, Alvaro A. |
| author_variant | a a f aa aaf g d r gd gdr d m dm |
| building | Verbundindex |
| bvnumber | BV010466708 |
| classification_tum | DAT 557f |
| ctrlnum | (OCoLC)32841295 (DE-599)BVBBV010466708 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02096nam a2200337 cb4500</leader><controlfield tag="001">BV010466708</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200608 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">951108s1994 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)32841295</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010466708</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 557f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Fernandes, Alvaro A.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A formal reconstruction of procedural semantics</subfield><subfield code="c">Alvaro A. A. Fernandes; Graeme Ritchie and Dave Moffat</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Edinburgh</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">47 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">University <Edinburgh> / Department of Artificial Intelligence: DAI research paper</subfield><subfield code="v">678</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "The idea of representing the meaning of natural language sentences as procedural expressions which could be evaluated was introduced to computational linguistics by Woods in the late 1960s and early 1970s, and formed the basis of various query interfaces to databases. However, a completely precise definition of the semantics of this procedural representation was never given, with published accounts being semi-formal and heavily dependent on implementation in Lisp. We supply a complete formal definition of a meaning representation language closely based on that of Woods', together with a set-theoretic semantics for all its constructs and an indication of precisely how the supporting database must be structured. The language has been tested on simple databases, and is designed to be independent not only of the domain, but of the particular database management system involved."</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer software</subfield><subfield code="2">sigle</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Natural language processing (Computer science)</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ritchie, Graeme D.</subfield><subfield code="d">1949-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1053267800</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Moffat, Dave</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Department of Artificial Intelligence: DAI research paper</subfield><subfield code="t">University <Edinburgh></subfield><subfield code="v">678</subfield><subfield code="w">(DE-604)BV010450646</subfield><subfield code="9">678</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006974650</subfield></datafield></record></collection> |
| id | DE-604.BV010466708 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:53:00Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006974650 |
| oclc_num | 32841295 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 47 S. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| record_format | marc |
| series2 | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper |
| spelling | Fernandes, Alvaro A. Verfasser aut A formal reconstruction of procedural semantics Alvaro A. A. Fernandes; Graeme Ritchie and Dave Moffat Edinburgh 1994 47 S. txt rdacontent n rdamedia nc rdacarrier University <Edinburgh> / Department of Artificial Intelligence: DAI research paper 678 Abstract: "The idea of representing the meaning of natural language sentences as procedural expressions which could be evaluated was introduced to computational linguistics by Woods in the late 1960s and early 1970s, and formed the basis of various query interfaces to databases. However, a completely precise definition of the semantics of this procedural representation was never given, with published accounts being semi-formal and heavily dependent on implementation in Lisp. We supply a complete formal definition of a meaning representation language closely based on that of Woods', together with a set-theoretic semantics for all its constructs and an indication of precisely how the supporting database must be structured. The language has been tested on simple databases, and is designed to be independent not only of the domain, but of the particular database management system involved." Computer software sigle Natural language processing (Computer science) Ritchie, Graeme D. 1949- Verfasser (DE-588)1053267800 aut Moffat, Dave Verfasser aut Department of Artificial Intelligence: DAI research paper University <Edinburgh> 678 (DE-604)BV010450646 678 |
| spellingShingle | Fernandes, Alvaro A. Ritchie, Graeme D. 1949- Moffat, Dave A formal reconstruction of procedural semantics Computer software sigle Natural language processing (Computer science) |
| title | A formal reconstruction of procedural semantics |
| title_auth | A formal reconstruction of procedural semantics |
| title_exact_search | A formal reconstruction of procedural semantics |
| title_full | A formal reconstruction of procedural semantics Alvaro A. A. Fernandes; Graeme Ritchie and Dave Moffat |
| title_fullStr | A formal reconstruction of procedural semantics Alvaro A. A. Fernandes; Graeme Ritchie and Dave Moffat |
| title_full_unstemmed | A formal reconstruction of procedural semantics Alvaro A. A. Fernandes; Graeme Ritchie and Dave Moffat |
| title_short | A formal reconstruction of procedural semantics |
| title_sort | a formal reconstruction of procedural semantics |
| topic | Computer software sigle Natural language processing (Computer science) |
| topic_facet | Computer software Natural language processing (Computer science) |
| volume_link | (DE-604)BV010450646 |
| work_keys_str_mv | AT fernandesalvaroa aformalreconstructionofproceduralsemantics AT ritchiegraemed aformalreconstructionofproceduralsemantics AT moffatdave aformalreconstructionofproceduralsemantics |