000 -LEADER |
fixed length control field |
03173nam a22004815i 4500 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
OSt |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20140310151132.0 |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
fixed length control field |
cr nn 008mamaa |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
111201s2011 fr | s |||| 0|eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9789491216114 |
|
978-94-91216-11-4 |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
Classification number |
QA75.5-76.95 |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
004 |
Edition number |
23 |
264 #1 - |
-- |
Paris : |
-- |
Atlantis Press, |
-- |
2011. |
912 ## - |
-- |
ZDB-2-SCS |
100 1# - MAIN ENTRY--PERSONAL NAME |
Personal name |
Goertzel, Ben. |
Relator term |
author. |
245 10 - IMMEDIATE SOURCE OF ACQUISITION NOTE |
Title |
Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal Inference |
Medium |
[electronic resource] / |
Statement of responsibility, etc |
by Ben Goertzel, Nil Geisweiller, Lucio Coelho, Predrag Janičić, Cassio Pennachin. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
X, 270 p. |
Other physical details |
online resource. |
440 1# - SERIES STATEMENT/ADDED ENTRY--TITLE |
Title |
Atlantis Thinking Machines, |
International Standard Serial Number |
1877-3273 ; |
Volume number/sequential designation |
1 |
505 0# - FORMATTED CONTENTS NOTE |
Formatted contents note |
Introduction -- Knowledge Representation Using Formal Logic -- Quantifying and Managing Uncertainty -- Representing Temporal Knowledge -- Temporal Reasoning -- Representing and Reasoning On Spatial Knowledge -- Representing and Reasoning on Contextual Knowledge -- Causal Reasoning -- Extracting Logical Knowledge from Raw Data -- Scalable Spatiotemporal Logical Knowledge Storage -- Mining Patterns from Large Spatiotemporal Logical Knowledge Stores -- Probabilistic Logic Networks -- Temporal and Contextual Reasoning in PLN -- Inferring the Causes of Observed Changes.-Adaptive Inference Control. |
520 ## - SUMMARY, ETC. |
Summary, etc |
The general problem addressed in this book is a large and important one: how to usefully deal with huge storehouses of complex information about real-world situations. Every one of the major modes of interacting with such storehouses – querying, data mining, data analysis – is addressed by current technologies only in very limited and unsatisfactory ways. The impact of a solution to this problem would be huge and pervasive, as the domains of human pursuit to which such storehouses are acutely relevant is numerous and rapidly growing. Finally, we give a more detailed treatment of one potential solution with this class, based on our prior work with the Probabilistic Logic Networks (PLN) formalism. We show how PLN can be used to carry out realworld reasoning, by means of a number of practical examples of reasoning regarding human activities inreal-world situations. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Computer science. |
|
Topical term or geographic name as entry element |
Artificial intelligence. |
|
Topical term or geographic name as entry element |
Information Systems. |
|
Topical term or geographic name as entry element |
Computer Science. |
|
Topical term or geographic name as entry element |
Computer Science, general. |
|
Topical term or geographic name as entry element |
Management of Computing and Information Systems. |
|
Topical term or geographic name as entry element |
Artificial Intelligence (incl. Robotics). |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Geisweiller, Nil. |
Relator term |
author. |
|
Personal name |
Coelho, Lucio. |
Relator term |
author. |
|
Personal name |
Janičić, Predrag. |
Relator term |
author. |
|
Personal name |
Pennachin, Cassio. |
Relator term |
author. |
710 2# - ADDED ENTRY--CORPORATE NAME |
Corporate name or jurisdiction name as entry element |
SpringerLink (Online service) |
773 0# - HOST ITEM ENTRY |
Title |
Springer eBooks |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
Display text |
Printed edition: |
International Standard Book Number |
9789491216107 |
856 40 - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
http://dx.doi.org/10.2991/978-94-91216-11-4 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Source of classification or shelving scheme |
|
Item type |
E-Book |