000 | 05969nam a2200733 i 4500 | ||
---|---|---|---|
001 | 6813742 | ||
003 | IEEE | ||
005 | 20200413152913.0 | ||
006 | m eo d | ||
007 | cr cn |||m|||a | ||
008 | 140314s2014 caua foab 000 0 eng d | ||
020 |
_z9781608459674 _qpaperback |
||
020 |
_a9781608459681 _qebook |
||
024 | 7 |
_a10.2200/S00557ED1V01Y201312AIM026 _2doi |
|
035 | _a(CaBNVSL)swl00403210 | ||
035 | _a(OCoLC)873082078 | ||
040 |
_aCaBNVSL _beng _erda _cCaBNVSL _dCaBNVSL |
||
050 | 4 |
_aQ340 _b.B275 2014 |
|
082 | 0 | 4 |
_a006.3 _223 |
090 |
_a _bMoCl _e201312AIM026 |
||
100 | 1 |
_aBarták, Roman., _eauthor. |
|
245 | 1 | 3 |
_aAn introduction to constraint-based temporal reasoning / _cRoman Barták, Robert A. Morris, K. Brent Venable. |
264 | 1 |
_aSan Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : _bMorgan & Claypool, _c2014. |
|
300 |
_a1 PDF (xiii, 107 pages) : _billustrations. |
||
336 |
_atext _2rdacontent |
||
337 |
_aelectronic _2isbdmedia |
||
338 |
_aonline resource _2rdacarrier |
||
490 | 1 |
_aSynthesis lectures on artificial intelligence and machine learning, _x1939-4616 ; _v# 26 |
|
538 | _aSystem requirements: Adobe Acrobat Reader. | ||
538 | _aMode of access: World Wide Web. | ||
500 | _aPart of: Synthesis digital library of engineering and computer science. | ||
500 | _aSeries from website. | ||
504 | _aIncludes bibliographical references (pages 95-105). | ||
505 | 8 | _aBibliography -- Authors' biographies. | |
505 | 8 | _a4. Applications of temporal reasoning -- 4.1 Introduction -- 4.2 Activity planning -- 4.2.1 Constraint-based planning -- 4.2.2 Example plan -- 4.2.3 Fixed vs. flexible plans -- 4.3 Autonomous execution for space exploration systems -- 4.3.1 Remote agent executive -- 4.3.2 Reactive model-based programming language (RMPL) -- 4.4 Extracting temporal information from data -- 4.4.1 Real time situation recognition/monitoring -- 4.4.2 3D reconstructions of image data -- 4.4.3 Detecting temporal patterns in large medical data sets -- 4.4.4 Temporal information extraction from natural language text -- 4.5 Summary -- | |
505 | 8 | _a3. Extensions: preferences and uncertainty -- 3.1 Preferences -- 3.1.1 Preferences in qualitative frameworks -- 3.1.2 Preferences in quantitative frameworks -- 3.1.3 Simple temporal problems with preferences (STPPs) -- 3.1.4 Other extensions -- 3.2 Uncertainty -- 3.2.1 Simple temporal problems with uncertainty -- 3.2.2 Controllability -- 3.2.3 Conditional temporal problems -- 3.2.4 Conditional simple temporal networks with uncertainty -- 3.3 Combining preferences and uncertainty -- 3.3.1 Simple temporal problems with preferences and uncertainty -- 3.3.2 Conditional temporal problems with preferences -- 3.4 Summary -- | |
505 | 8 | _a2. Temporal frameworks based on constraints -- 2.1 Qualitative temporal frameworks -- 2.1.1 Point algebra -- 2.1.2 Interval algebra -- 2.1.3 Tractability of specific interval algebras and relation to the point algebra -- 2.1.4 Historical context -- 2.2 Quantitative temporal frameworks -- 2.2.1 Simple temporal problems -- 2.2.2 Temporal constraint satisfaction problems -- 2.2.3 Disjunctive temporal problems -- 2.2.4 Temporal networks with alternatives -- 2.2.5 Historical context -- 2.3 Relations between qualitative and quantitative frameworks -- 2.4 Summary -- | |
505 | 0 | _a1. Introduction to time in AI systems -- 1.1 The rise of time management: planning and scheduling -- 1.2 Logical and mathematical formulations -- 1.2.1 Mathematical formulations -- 1.2.2 Logical and philosophical frameworks -- 1.2.3 Origins of time in AI systems -- 1.3 Time granularity -- 1.4 Time and agent architectures -- 1.4.1 Example -- 1.4.2 Overview of remainder of book -- | |
506 | 1 | _aAbstract freely available; full-text restricted to subscribers or individual document purchasers. | |
510 | 0 | _aGoogle book search | |
510 | 0 | _aINSPEC | |
510 | 0 | _aGoogle scholar | |
510 | 0 | _aCompendex | |
520 | 3 | _aSolving challenging computational problems involving time has been a critical component in the development of artificial intelligence systems almost since the inception of the field. This book provides a concise introduction to the core computational elements of temporal reasoning for use in AI systems for planning and scheduling, as well as systems that extract temporal information from data. It presents a survey of temporal frameworks based on constraints, both qualitative and quantitative, as well as of major temporal consistency techniques. The book also introduces the reader to more recent extensions to the core model that allow AI systems to explicitly represent temporal preferences and temporal uncertainty. This book is intended for students and researchers interested in constraint-based temporal reasoning. It provides a self-contained guide to the different representations of time, as well as examples of recent applications of time in AI systems. | |
530 | _aAlso available in print. | ||
588 | _aTitle from PDF title page (viewed on March 14, 2014). | ||
650 | 0 | _aConstraints (Artificial intelligence) | |
650 | 0 |
_aScheduling _xData processing. |
|
650 | 0 |
_aTime _xData processing. |
|
653 | _atemporal reasoning | ||
653 | _aconstraints | ||
653 | _ascheduling | ||
653 | _aplanning | ||
653 | _auncertainty | ||
653 | _apreferences | ||
653 | _aapplications of temporal reasoning | ||
700 | 1 |
_aMorris, Robert A., _eauthor. |
|
700 | 1 |
_aVenable, Kristen Brent., _eauthor. |
|
776 | 0 | 8 |
_iPrint version: _z9781608459674 |
830 | 0 | _aSynthesis digital library of engineering and computer science. | |
830 | 0 |
_aSynthesis lectures on artificial intelligence and machine learning ; _v# 26. _x1939-4616 |
|
856 | 4 | 2 |
_3Abstract with links to resource _uhttp://ieeexplore.ieee.org/servlet/opac?bknumber=6813742 |
856 | 4 | 0 |
_3Abstract with links to full text _uhttp://dx.doi.org/10.2200/S00557ED1V01Y201312AIM026 |
999 |
_c562053 _d562053 |