Catálogo bibliográfico FCT/UNL

Reasoning robots (Record no. 82272)

MARC details
000 -Record Label
fixed length control field 02771nam 2200325| 4500
005 - Identificador da versão
control field 20200413214744.0
010 ## - ISBN - International Standard Book Number
Número (ISBN) 978-1-4020-3069-7
Modalidade de aquisição e/ou preço compra
100 ## - Entrada principal
Dados gerais de processamento 20190128d2005 k||y0pory50 ba
101 ## - Língua do documento
Língua do texto, banda sonora, etc. eng
102 ## - País da publicação
País de publicação US - United States of America
200 ## - Título
Título próprio Reasoning robots
Indicação geral da natureza do documento Documento eletrónico
Informação de outro título the art and science of programming robotic agents
Primeira menção de responsabilidade Michael Thielscher
210 ## - Local de edição
Lugar da edição, distribuição, etc. Dordrecht
Nome do editor, distribuidor, etc. Springer
Data da publicação, distribuição, etc. 2005
215 ## - Descrição física (Vol.pg.fl.tm.fsc)
Descrição física XIV, 328 p.
225 ## - Coleção
Título próprio da colecção Applied Logic Series
300 ## - Notas gerais
Texto da nota Colocação: Online
303 ## - Notas Informação descritiva
Texto da nota The book provides an in-depth and uniform treatment of a mathematical model for reasoning robotic agents. The book also contains an introduction to a programming method and system based on this model. The mathematical model, known as the "Fluent Calculus,'' describes how to use classical first-order logic to set up symbolic models of dynamic worlds and to represent knowledge of actions and their effects. Robotic agents use this knowledge and their reasoning facilities to make decisions when following high-level, long-term strategies. The book covers the issues of reasoning about sensor input, acting under incomplete knowledge and uncertainty, planning, intelligent troubleshooting, and many other topics. The mathematical model is supplemented by a programming method which allows readers to design their own reasoning robotic agents. The usage of this method, called "FLUX,'' is illustrated by many example programs. The book includes the details of an implementation of FLUX using the standard programming language PROLOG, which allows readers to re-implement or to modify and extend the generic system. The design of autonomous agents, including robots, is one of the most exciting and challenging goals of Artificial Intelligence. Reasoning robotic agents constitute a link between knowledge representation and reasoning on the one hand, and agent programming and robot control on the other. The book provides a uniform mathematical model for the problem-driven, top-down design of rational agents, which use reasoning for decision making, planning, and troubleshooting. The implementation of the mathematical model by a general PROLOG program allows readers to practice the design of reasoning robotic agents. Since all implementation details are given, the generic system can be easily modified and extended.
410 ## - Séries Coleção
ISSN 1386-2790
Número do volume 33
606 ## - Nome comum como assunto
Koha Internal code 3305
Elemento de entrada Robots Autonómos
606 ## - Nome comum como assunto
Koha Internal code 35636
Elemento de entrada Agentes inteligentes (Software)
Subdivisão de assunto Modelos matemáticos
606 ## - Nome comum como assunto
Koha Internal code 14049
Elemento de entrada Sistemas de controlo inteligente
680 ## - Classificação Biblioteca Congresso
Notação TJ211
700 ## - Autor (resp. principal)
Koha Internal Code 31549
Palavra de ordem Thielscher
Outra parte do nome Michael
801 ## - Fonte de origem
Regras de catalogação RPC
País Portugal
856 ## - URL Endereço WEB
URL https://doi.org/10.1007/1-4020-3069-X
942 ## - Elementos de entrada adicionados (Koha)
Fonte da classificação ou esquema de estante Library of Congress Classification
Tipo de item no Koha E-Books
Suprimido 0
Holdings
Removido (estado) Perdido (estado) Data de aquisição Número da cópia Origem do registo Origem do registo Código da organização que empresta ou é detentora Organização que empresta ou é detentora Localização da prateleira Coleção Número de inventário Cota Tipo de circulação Tipo de item e material
    2019-01-28 1 FCT Biblioteca NOVA FCT Biblioteca NOVA FCT FCT Online Não Ficção 94155 TJ211.SPR. FCT 94155 Disponível E-Books
Moodle da Biblioteca Slideshare da Biblioteca Siga-nos no Issuu Twitter da Biblioteca Instagram da Biblioteca Facebook da Biblioteca Blog da Biblioteca