Ambiguity and reasoning:
Abstract: "In this paper, reasoning with ambiguous representations is explored in a formal way, with ambiguities at the level of propositions in propositional logic and predicate logic, and ambiguous representations of scopings in predicate logic as the main examples. First a version of proposi...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
1996
|
| Schriftenreihe: | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS
96,16 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "In this paper, reasoning with ambiguous representations is explored in a formal way, with ambiguities at the level of propositions in propositional logic and predicate logic, and ambiguous representations of scopings in predicate logic as the main examples. First a version of propositional logic with propositional ambiguities is presented and a sequent axiomatization for it is given. This is then extended to predicate logic. Next, predicate logic with scope ambiguities is introduced and discussed, and again a sequent calculus for it is proposed. The conclusion connects the results to natural language semantics, and briefly compares them with existing logics of ambiguity. An appendix gives completeness proofs for our versions of ambiguous propositional and predicate logic." |
| Beschreibung: | 26 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011032904 | ||
| 003 | DE-604 | ||
| 005 | 19961104 | ||
| 007 | t | ||
| 008 | 961104s1996 |||| 00||| engod | ||
| 035 | |a (OCoLC)1073002150 | ||
| 035 | |a (DE-599)BVBBV011032904 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 100 | 1 | |a Eijck, Jan van |d 1951- |e Verfasser |0 (DE-588)112411223 |4 aut | |
| 245 | 1 | 0 | |a Ambiguity and reasoning |c D. J. N. van Eijck ; J. Jaspars |
| 264 | 1 | |a Amsterdam |c 1996 | |
| 300 | |a 26 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |v 96,16 | |
| 520 | 3 | |a Abstract: "In this paper, reasoning with ambiguous representations is explored in a formal way, with ambiguities at the level of propositions in propositional logic and predicate logic, and ambiguous representations of scopings in predicate logic as the main examples. First a version of propositional logic with propositional ambiguities is presented and a sequent axiomatization for it is given. This is then extended to predicate logic. Next, predicate logic with scope ambiguities is introduced and discussed, and again a sequent calculus for it is proposed. The conclusion connects the results to natural language semantics, and briefly compares them with existing logics of ambiguity. An appendix gives completeness proofs for our versions of ambiguous propositional and predicate logic." | |
| 650 | 4 | |a Ambiguity | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Natural language processing (Computer science) | |
| 650 | 4 | |a Semantics | |
| 700 | 1 | |a Jaspars, Jan |e Verfasser |4 aut | |
| 810 | 2 | |a Department of Computer Science: Report CS |t Centrum voor Wiskunde en Informatica <Amsterdam> |v 96,16 |w (DE-604)BV008928356 |9 96,16 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007387870 | ||
Datensatz im Suchindex
| _version_ | 1804125523354320896 |
|---|---|
| any_adam_object | |
| author | Eijck, Jan van 1951- Jaspars, Jan |
| author_GND | (DE-588)112411223 |
| author_facet | Eijck, Jan van 1951- Jaspars, Jan |
| author_role | aut aut |
| author_sort | Eijck, Jan van 1951- |
| author_variant | j v e jv jve j j jj |
| building | Verbundindex |
| bvnumber | BV011032904 |
| ctrlnum | (OCoLC)1073002150 (DE-599)BVBBV011032904 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01917nam a2200325 cb4500</leader><controlfield tag="001">BV011032904</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19961104 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">961104s1996 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1073002150</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011032904</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="100" ind1="1" ind2=" "><subfield code="a">Eijck, Jan van</subfield><subfield code="d">1951-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)112411223</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Ambiguity and reasoning</subfield><subfield code="c">D. J. N. van Eijck ; J. Jaspars</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">26 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">Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS</subfield><subfield code="v">96,16</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "In this paper, reasoning with ambiguous representations is explored in a formal way, with ambiguities at the level of propositions in propositional logic and predicate logic, and ambiguous representations of scopings in predicate logic as the main examples. First a version of propositional logic with propositional ambiguities is presented and a sequent axiomatization for it is given. This is then extended to predicate logic. Next, predicate logic with scope ambiguities is introduced and discussed, and again a sequent calculus for it is proposed. The conclusion connects the results to natural language semantics, and briefly compares them with existing logics of ambiguity. An appendix gives completeness proofs for our versions of ambiguous propositional and predicate logic."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ambiguity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Natural language processing (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semantics</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Jaspars, Jan</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Department of Computer Science: Report CS</subfield><subfield code="t">Centrum voor Wiskunde en Informatica <Amsterdam></subfield><subfield code="v">96,16</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">96,16</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007387870</subfield></datafield></record></collection> |
| id | DE-604.BV011032904 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:02:55Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007387870 |
| oclc_num | 1073002150 |
| open_access_boolean | |
| physical | 26 S. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| record_format | marc |
| series2 | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |
| spelling | Eijck, Jan van 1951- Verfasser (DE-588)112411223 aut Ambiguity and reasoning D. J. N. van Eijck ; J. Jaspars Amsterdam 1996 26 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 96,16 Abstract: "In this paper, reasoning with ambiguous representations is explored in a formal way, with ambiguities at the level of propositions in propositional logic and predicate logic, and ambiguous representations of scopings in predicate logic as the main examples. First a version of propositional logic with propositional ambiguities is presented and a sequent axiomatization for it is given. This is then extended to predicate logic. Next, predicate logic with scope ambiguities is introduced and discussed, and again a sequent calculus for it is proposed. The conclusion connects the results to natural language semantics, and briefly compares them with existing logics of ambiguity. An appendix gives completeness proofs for our versions of ambiguous propositional and predicate logic." Ambiguity Logic, Symbolic and mathematical Natural language processing (Computer science) Semantics Jaspars, Jan Verfasser aut Department of Computer Science: Report CS Centrum voor Wiskunde en Informatica <Amsterdam> 96,16 (DE-604)BV008928356 96,16 |
| spellingShingle | Eijck, Jan van 1951- Jaspars, Jan Ambiguity and reasoning Ambiguity Logic, Symbolic and mathematical Natural language processing (Computer science) Semantics |
| title | Ambiguity and reasoning |
| title_auth | Ambiguity and reasoning |
| title_exact_search | Ambiguity and reasoning |
| title_full | Ambiguity and reasoning D. J. N. van Eijck ; J. Jaspars |
| title_fullStr | Ambiguity and reasoning D. J. N. van Eijck ; J. Jaspars |
| title_full_unstemmed | Ambiguity and reasoning D. J. N. van Eijck ; J. Jaspars |
| title_short | Ambiguity and reasoning |
| title_sort | ambiguity and reasoning |
| topic | Ambiguity Logic, Symbolic and mathematical Natural language processing (Computer science) Semantics |
| topic_facet | Ambiguity Logic, Symbolic and mathematical Natural language processing (Computer science) Semantics |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT eijckjanvan ambiguityandreasoning AT jasparsjan ambiguityandreasoning |