Reasoning About Plans:
This book presents four contributions to planning research within an integrated framework. James Allen offers a survey of his research in the field of temporal reasoning, and then describes a planning system formalized and implemented directly as an inference process in the temporal logic. Starting...
Gespeichert in:
Beteiligte Personen: | , , , |
---|---|
Körperschaft: | |
Format: | Elektronisch E-Book |
Sprache: | Englisch |
Veröffentlicht: |
[Erscheinungsort nicht ermittelbar]
Morgan Kaufmann
2014
|
Ausgabe: | 1st edition. |
Schlagwörter: | |
Links: | https://learning.oreilly.com/library/view/-/9781483295961/?ar |
Zusammenfassung: | This book presents four contributions to planning research within an integrated framework. James Allen offers a survey of his research in the field of temporal reasoning, and then describes a planning system formalized and implemented directly as an inference process in the temporal logic. Starting from the same logic, Henry Kautz develops the first formal specification of the plan recognition process and develops a powerful family of algorithms for plan recognition in complex situations. Richard Pelavin then extends the temporal logic with model operators that allow the representation to support reasoning about complex planning situations involving simultaneous interacting actions, and interaction with external events. Finally, Josh Tenenberg introduces two different formalisms of abstraction in planning systems and explores the properties of these abstraction techniques in depth. |
Beschreibung: | Online resource; Title from title page (viewed June 28, 2014) |
Umfang: | 1 Online-Ressource (300 Seiten) |
ISBN: | 9781483295961 |
Internformat
MARC
LEADER | 00000cam a22000002 4500 | ||
---|---|---|---|
001 | ZDB-30-ORH-053537254 | ||
003 | DE-627-1 | ||
005 | 20240228121111.0 | ||
007 | cr uuu---uuuuu | ||
008 | 200625s2014 xx |||||o 00| ||eng c | ||
020 | |a 9781483295961 |9 978-1-4832-9596-1 | ||
035 | |a (DE-627-1)053537254 | ||
035 | |a (DE-599)KEP053537254 | ||
035 | |a (ORHE)9781483295961 | ||
035 | |a (DE-627-1)053537254 | ||
040 | |a DE-627 |b ger |c DE-627 |e rda | ||
041 | |a eng | ||
082 | 0 | |a 006.3 |2 20/eng/20230216 | |
100 | 1 | |a Allen, James |e VerfasserIn |4 aut | |
245 | 1 | 0 | |a Reasoning About Plans |c Allen, James |
250 | |a 1st edition. | ||
264 | 1 | |a [Erscheinungsort nicht ermittelbar] |b Morgan Kaufmann |c 2014 | |
300 | |a 1 Online-Ressource (300 Seiten) | ||
336 | |a Text |b txt |2 rdacontent | ||
337 | |a Computermedien |b c |2 rdamedia | ||
338 | |a Online-Ressource |b cr |2 rdacarrier | ||
500 | |a Online resource; Title from title page (viewed June 28, 2014) | ||
520 | |a This book presents four contributions to planning research within an integrated framework. James Allen offers a survey of his research in the field of temporal reasoning, and then describes a planning system formalized and implemented directly as an inference process in the temporal logic. Starting from the same logic, Henry Kautz develops the first formal specification of the plan recognition process and develops a powerful family of algorithms for plan recognition in complex situations. Richard Pelavin then extends the temporal logic with model operators that allow the representation to support reasoning about complex planning situations involving simultaneous interacting actions, and interaction with external events. Finally, Josh Tenenberg introduces two different formalisms of abstraction in planning systems and explores the properties of these abstraction techniques in depth. | ||
650 | 0 | |a Artificial intelligence | |
650 | 0 | |a Planning | |
650 | 0 | |a Problem solving | |
650 | 0 | |a Reasoning | |
650 | 2 | |a Artificial Intelligence | |
650 | 2 | |a Problem Solving | |
650 | 4 | |a Intelligence artificielle | |
650 | 4 | |a Planification | |
650 | 4 | |a Raisonnement | |
650 | 4 | |a Résolution de problème | |
650 | 4 | |a artificial intelligence | |
650 | 4 | |a scheduling | |
650 | 4 | |a planning | |
650 | 4 | |a Artificial intelligence | |
650 | 4 | |a Planning | |
650 | 4 | |a Problem solving | |
650 | 4 | |a Reasoning | |
700 | 1 | |a Kautz, Henry |e VerfasserIn |4 aut | |
700 | 1 | |a Pelavin, Richard |e VerfasserIn |4 aut | |
700 | 1 | |a Tenenberg, Josh |e VerfasserIn |4 aut | |
710 | 2 | |a Safari, an O'Reilly Media Company. |e MitwirkendeR |4 ctb | |
966 | 4 | 0 | |l DE-91 |p ZDB-30-ORH |q TUM_PDA_ORH |u https://learning.oreilly.com/library/view/-/9781483295961/?ar |m X:ORHE |x Aggregator |z lizenzpflichtig |3 Volltext |
912 | |a ZDB-30-ORH | ||
912 | |a ZDB-30-ORH | ||
951 | |a BO | ||
912 | |a ZDB-30-ORH | ||
049 | |a DE-91 |
Datensatz im Suchindex
DE-BY-TUM_katkey | ZDB-30-ORH-053537254 |
---|---|
_version_ | 1821494839468883968 |
adam_text | |
any_adam_object | |
author | Allen, James Kautz, Henry Pelavin, Richard Tenenberg, Josh |
author_corporate | Safari, an O'Reilly Media Company |
author_corporate_role | ctb |
author_facet | Allen, James Kautz, Henry Pelavin, Richard Tenenberg, Josh Safari, an O'Reilly Media Company |
author_role | aut aut aut aut |
author_sort | Allen, James |
author_variant | j a ja h k hk r p rp j t jt |
building | Verbundindex |
bvnumber | localTUM |
collection | ZDB-30-ORH |
ctrlnum | (DE-627-1)053537254 (DE-599)KEP053537254 (ORHE)9781483295961 |
dewey-full | 006.3 |
dewey-hundreds | 000 - Computer science, information, general works |
dewey-ones | 006 - Special computer methods |
dewey-raw | 006.3 |
dewey-search | 006.3 |
dewey-sort | 16.3 |
dewey-tens | 000 - Computer science, information, general works |
discipline | Informatik |
edition | 1st edition. |
format | Electronic eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02803cam a22006012 4500</leader><controlfield tag="001">ZDB-30-ORH-053537254</controlfield><controlfield tag="003">DE-627-1</controlfield><controlfield tag="005">20240228121111.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">200625s2014 xx |||||o 00| ||eng c</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781483295961</subfield><subfield code="9">978-1-4832-9596-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627-1)053537254</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)KEP053537254</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ORHE)9781483295961</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627-1)053537254</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">20/eng/20230216</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Allen, James</subfield><subfield code="e">VerfasserIn</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Reasoning About Plans</subfield><subfield code="c">Allen, James</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st edition.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[Erscheinungsort nicht ermittelbar]</subfield><subfield code="b">Morgan Kaufmann</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (300 Seiten)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">Computermedien</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Online-Ressource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Online resource; Title from title page (viewed June 28, 2014)</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This book presents four contributions to planning research within an integrated framework. James Allen offers a survey of his research in the field of temporal reasoning, and then describes a planning system formalized and implemented directly as an inference process in the temporal logic. Starting from the same logic, Henry Kautz develops the first formal specification of the plan recognition process and develops a powerful family of algorithms for plan recognition in complex situations. Richard Pelavin then extends the temporal logic with model operators that allow the representation to support reasoning about complex planning situations involving simultaneous interacting actions, and interaction with external events. Finally, Josh Tenenberg introduces two different formalisms of abstraction in planning systems and explores the properties of these abstraction techniques in depth.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Planning</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Problem solving</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Reasoning</subfield></datafield><datafield tag="650" ind1=" " ind2="2"><subfield code="a">Artificial Intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="2"><subfield code="a">Problem Solving</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Intelligence artificielle</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Planification</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Raisonnement</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Résolution de problème</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">scheduling</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">planning</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="650" ind1=" " ind2="4"><subfield code="a">Problem solving</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Reasoning</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kautz, Henry</subfield><subfield code="e">VerfasserIn</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Pelavin, Richard</subfield><subfield code="e">VerfasserIn</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Tenenberg, Josh</subfield><subfield code="e">VerfasserIn</subfield><subfield code="4">aut</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Safari, an O'Reilly Media Company.</subfield><subfield code="e">MitwirkendeR</subfield><subfield code="4">ctb</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-91</subfield><subfield code="p">ZDB-30-ORH</subfield><subfield code="q">TUM_PDA_ORH</subfield><subfield code="u">https://learning.oreilly.com/library/view/-/9781483295961/?ar</subfield><subfield code="m">X:ORHE</subfield><subfield code="x">Aggregator</subfield><subfield code="z">lizenzpflichtig</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-30-ORH</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-30-ORH</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">BO</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-30-ORH</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield></datafield></record></collection> |
id | ZDB-30-ORH-053537254 |
illustrated | Not Illustrated |
indexdate | 2025-01-17T11:20:45Z |
institution | BVB |
isbn | 9781483295961 |
language | English |
open_access_boolean | |
owner | DE-91 DE-BY-TUM |
owner_facet | DE-91 DE-BY-TUM |
physical | 1 Online-Ressource (300 Seiten) |
psigel | ZDB-30-ORH TUM_PDA_ORH ZDB-30-ORH |
publishDate | 2014 |
publishDateSearch | 2014 |
publishDateSort | 2014 |
publisher | Morgan Kaufmann |
record_format | marc |
spelling | Allen, James VerfasserIn aut Reasoning About Plans Allen, James 1st edition. [Erscheinungsort nicht ermittelbar] Morgan Kaufmann 2014 1 Online-Ressource (300 Seiten) Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Online resource; Title from title page (viewed June 28, 2014) This book presents four contributions to planning research within an integrated framework. James Allen offers a survey of his research in the field of temporal reasoning, and then describes a planning system formalized and implemented directly as an inference process in the temporal logic. Starting from the same logic, Henry Kautz develops the first formal specification of the plan recognition process and develops a powerful family of algorithms for plan recognition in complex situations. Richard Pelavin then extends the temporal logic with model operators that allow the representation to support reasoning about complex planning situations involving simultaneous interacting actions, and interaction with external events. Finally, Josh Tenenberg introduces two different formalisms of abstraction in planning systems and explores the properties of these abstraction techniques in depth. Artificial intelligence Planning Problem solving Reasoning Artificial Intelligence Problem Solving Intelligence artificielle Planification Raisonnement Résolution de problème artificial intelligence scheduling planning Kautz, Henry VerfasserIn aut Pelavin, Richard VerfasserIn aut Tenenberg, Josh VerfasserIn aut Safari, an O'Reilly Media Company. MitwirkendeR ctb |
spellingShingle | Allen, James Kautz, Henry Pelavin, Richard Tenenberg, Josh Reasoning About Plans Artificial intelligence Planning Problem solving Reasoning Artificial Intelligence Problem Solving Intelligence artificielle Planification Raisonnement Résolution de problème artificial intelligence scheduling planning |
title | Reasoning About Plans |
title_auth | Reasoning About Plans |
title_exact_search | Reasoning About Plans |
title_full | Reasoning About Plans Allen, James |
title_fullStr | Reasoning About Plans Allen, James |
title_full_unstemmed | Reasoning About Plans Allen, James |
title_short | Reasoning About Plans |
title_sort | reasoning about plans |
topic | Artificial intelligence Planning Problem solving Reasoning Artificial Intelligence Problem Solving Intelligence artificielle Planification Raisonnement Résolution de problème artificial intelligence scheduling planning |
topic_facet | Artificial intelligence Planning Problem solving Reasoning Artificial Intelligence Problem Solving Intelligence artificielle Planification Raisonnement Résolution de problème artificial intelligence scheduling planning |
work_keys_str_mv | AT allenjames reasoningaboutplans AT kautzhenry reasoningaboutplans AT pelavinrichard reasoningaboutplans AT tenenbergjosh reasoningaboutplans AT safarianoreillymediacompany reasoningaboutplans |