記錄 3 之 3
Record:   Prev Next
書名 Logical foundations for cognitive agents [electronic resource] : contributions in honor of Ray Reiter / Hector J. Levesque, Fiora Pirri (eds.)
出版項 Berlin ; New York : Springer, ©1999
國際標準書號 9783642602115 (electronic bk.)
3642602118 (electronic bk.)
book jacket
說明 1 online resource (xi, 405 pages) : illustrations
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
系列 Artificial intelligence, 1431-0066
Artificial intelligence (Berlin, Germany)
附註 Includes bibliographical references and index
This collection of papers is the outcome of the work of a community of researchers in AI who, during the last twenty years, have developed the logical formalisms and methods for characterizing intelligent behaviors of agents, knowledge-based systems and processes in terms of reasoning about the environment, actions, and activities that are capable of changing the current state. The book deals with commonsense reasoning, in particular with Reiter's Default Logic formalism, the theory of actions and reasoning about actions, including formalisms for high-level robot control, and different approaches to knowledge representation, all based on symbolic logic
Use copy Restrictions unspecified star MiAaHDL
Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL
digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL
Description based on print version record
鏈接 Print version: Logical foundations for cognitive agents. Berlin ; New York : Springer, ©1999 (DLC) 99023785 (OCoLC)41355639
主題 Computer logic
Intelligent agents (Computer software)
Artificial intelligence
Reiter, Raymond
Intelligence artificielle
Kunstmatige intelligentie. gtt
Redeneren. gtt
Symbolische logica. gtt
Formalisme. gtt
Kennisrepresentatie. gtt
Cognitie. gtt
Agentia. gtt
Artificial intelligence. fast (OCoLC)fst00817247
Computer logic. fast (OCoLC)fst00872265
Intelligent agents (Computer software) fast (OCoLC)fst00975909
Electronic books
Alt Author Reiter, Ray
Levesque, Hector J., 1951-
Pirri, Fiora, Dr
記錄 3 之 3
Record:   Prev Next