000			02212nam a2200349 i 4500
001			CR9781139342124
003			UkCbUP
005			20240730160832.0
006			m|||||o||d||||||||
007			cr||||||||||||
008			120224s2014||||enk o ||1 0|eng|d
020			_a9781139342124 (ebook)
020			_z9781107029569 (hardback)
040			_aUkCbUP _beng _erda _cUkCbUP
050	0	0	_aQA76.76.I58 _bG45 2014
082	0	0	_a006.3 _223
100	1		_aGelfond, Michael, _eauthor. _975189
245	1	0	_aKnowledge representation, reasoning, and the design of intelligent agents : _bthe answer-set programming approach / _cMichael Gelfond, Texas Tech University, Yulia Kahl.
246	3		_aKnowledge Representation, Reasoning, & the Design of Intelligent Agents
264		1	_aCambridge : _bCambridge University Press, _c2014.
300			_a1 online resource (xiv, 348 pages) : _bdigital, PDF file(s).
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
500			_aTitle from publisher's bibliographic system (viewed on 05 Oct 2015).
520			_aKnowledge representation and reasoning is the foundation of artificial intelligence, declarative programming, and the design of knowledge-intensive software systems capable of performing intelligent tasks. Using logical and probabilistic formalisms based on answer set programming (ASP) and action languages, this book shows how knowledge-intensive systems can be given knowledge about the world and how it can be used to solve non-trivial computational problems. The authors maintain a balance between mathematical analysis and practical design of intelligent agents. All the concepts, such as answering queries, planning, diagnostics, and probabilistic reasoning, are illustrated by programs of ASP. The text can be used for AI-related undergraduate and graduate classes and by researchers who would like to learn more about ASP and knowledge representation.
650		0	_aIntelligent agents (Computer software) _975190
700	1		_aKahl, Yulia, _d1970- _eauthor. _975191
776	0	8	_iPrint version: _z9781107029569
856	4	0	_uhttps://doi.org/10.1017/CBO9781139342124
942			_cEBK
999			_c84381 _d84381