Modal queries about partially-ordered plans:
Abstract: "In order to extract useful information from an intelligent planner about the events and states with which it deals, it is necessary to have some formal characterisation of the underlying ontology, and to define notions of "necessity" and "possibility" in terms of...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Edinburgh
1990
|
| Schriftenreihe: | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper
482 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "In order to extract useful information from an intelligent planner about the events and states with which it deals, it is necessary to have some formal characterisation of the underlying ontology, and to define notions of "necessity" and "possibility" in terms of those constructs. A formal language is defined for making modal statements of various types, together with a semantics in terms of states, plans and executions. This language is intended to represent the meanings of modal constructs such [sic] might be found in English queries. Various deductive relationships can be characterised within a planner's knowledge base, that are relevant to the evaluation of such queries A representation of this kind has advantages and disadvantages as a basis for designing a working English language query interface to a real planner. |
| Beschreibung: | 24 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010452244 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 951027s1990 |||| 00||| engod | ||
| 035 | |a (OCoLC)23158873 | ||
| 035 | |a (DE-599)BVBBV010452244 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Moffat, D. C. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Modal queries about partially-ordered plans |c D. C. Moffat ; G. D. Ritchie |
| 264 | 1 | |a Edinburgh |c 1990 | |
| 300 | |a 24 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 482 | |
| 520 | 3 | |a Abstract: "In order to extract useful information from an intelligent planner about the events and states with which it deals, it is necessary to have some formal characterisation of the underlying ontology, and to define notions of "necessity" and "possibility" in terms of those constructs. A formal language is defined for making modal statements of various types, together with a semantics in terms of states, plans and executions. This language is intended to represent the meanings of modal constructs such [sic] might be found in English queries. Various deductive relationships can be characterised within a planner's knowledge base, that are relevant to the evaluation of such queries | |
| 520 | 3 | |a A representation of this kind has advantages and disadvantages as a basis for designing a working English language query interface to a real planner. | |
| 650 | 7 | |a Bionics and artificial intelligence |2 sigle | |
| 650 | 7 | |a Computer software |2 sigle | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Planning | |
| 700 | 1 | |a Ritchie, G. D. |e Verfasser |4 aut | |
| 810 | 2 | |a Department of Artificial Intelligence: DAI research paper |t University <Edinburgh> |v 482 |w (DE-604)BV010450646 |9 482 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006965184 | ||
Datensatz im Suchindex
| _version_ | 1804124885404876800 |
|---|---|
| any_adam_object | |
| author | Moffat, D. C. Ritchie, G. D. |
| author_facet | Moffat, D. C. Ritchie, G. D. |
| author_role | aut aut |
| author_sort | Moffat, D. C. |
| author_variant | d c m dc dcm g d r gd gdr |
| building | Verbundindex |
| bvnumber | BV010452244 |
| ctrlnum | (OCoLC)23158873 (DE-599)BVBBV010452244 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02010nam a2200361 cb4500</leader><controlfield tag="001">BV010452244</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">951027s1990 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)23158873</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010452244</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="100" ind1="1" ind2=" "><subfield code="a">Moffat, D. C.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Modal queries about partially-ordered plans</subfield><subfield code="c">D. C. Moffat ; G. D. Ritchie</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Edinburgh</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">24 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">482</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "In order to extract useful information from an intelligent planner about the events and states with which it deals, it is necessary to have some formal characterisation of the underlying ontology, and to define notions of "necessity" and "possibility" in terms of those constructs. A formal language is defined for making modal statements of various types, together with a semantics in terms of states, plans and executions. This language is intended to represent the meanings of modal constructs such [sic] might be found in English queries. Various deductive relationships can be characterised within a planner's knowledge base, that are relevant to the evaluation of such queries</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">A representation of this kind has advantages and disadvantages as a basis for designing a working English language query interface to a real planner.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Bionics and artificial intelligence</subfield><subfield code="2">sigle</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">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Planning</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ritchie, G. D.</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">482</subfield><subfield code="w">(DE-604)BV010450646</subfield><subfield code="9">482</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006965184</subfield></datafield></record></collection> |
| id | DE-604.BV010452244 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:52:46Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006965184 |
| oclc_num | 23158873 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 24 S. |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| record_format | marc |
| series2 | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper |
| spelling | Moffat, D. C. Verfasser aut Modal queries about partially-ordered plans D. C. Moffat ; G. D. Ritchie Edinburgh 1990 24 S. txt rdacontent n rdamedia nc rdacarrier University <Edinburgh> / Department of Artificial Intelligence: DAI research paper 482 Abstract: "In order to extract useful information from an intelligent planner about the events and states with which it deals, it is necessary to have some formal characterisation of the underlying ontology, and to define notions of "necessity" and "possibility" in terms of those constructs. A formal language is defined for making modal statements of various types, together with a semantics in terms of states, plans and executions. This language is intended to represent the meanings of modal constructs such [sic] might be found in English queries. Various deductive relationships can be characterised within a planner's knowledge base, that are relevant to the evaluation of such queries A representation of this kind has advantages and disadvantages as a basis for designing a working English language query interface to a real planner. Bionics and artificial intelligence sigle Computer software sigle Künstliche Intelligenz Artificial intelligence Planning Ritchie, G. D. Verfasser aut Department of Artificial Intelligence: DAI research paper University <Edinburgh> 482 (DE-604)BV010450646 482 |
| spellingShingle | Moffat, D. C. Ritchie, G. D. Modal queries about partially-ordered plans Bionics and artificial intelligence sigle Computer software sigle Künstliche Intelligenz Artificial intelligence Planning |
| title | Modal queries about partially-ordered plans |
| title_auth | Modal queries about partially-ordered plans |
| title_exact_search | Modal queries about partially-ordered plans |
| title_full | Modal queries about partially-ordered plans D. C. Moffat ; G. D. Ritchie |
| title_fullStr | Modal queries about partially-ordered plans D. C. Moffat ; G. D. Ritchie |
| title_full_unstemmed | Modal queries about partially-ordered plans D. C. Moffat ; G. D. Ritchie |
| title_short | Modal queries about partially-ordered plans |
| title_sort | modal queries about partially ordered plans |
| topic | Bionics and artificial intelligence sigle Computer software sigle Künstliche Intelligenz Artificial intelligence Planning |
| topic_facet | Bionics and artificial intelligence Computer software Künstliche Intelligenz Artificial intelligence Planning |
| volume_link | (DE-604)BV010450646 |
| work_keys_str_mv | AT moffatdc modalqueriesaboutpartiallyorderedplans AT ritchiegd modalqueriesaboutpartiallyorderedplans |