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