LEADER 00000cam a2200649Ia 4500 
001    ocn659559288 
003    OCoLC 
005    20160527040904.5 
006    m     o  d         
007    cr cnu---unuuu 
008    100830s2006    ne      ob    001 0 eng d 
019    162572944|a648300420|a657955984 
020    9780080476612|q(electronic book) 
020    0080476619|q(electronic book) 
020    |z0123693888|q(hardcover ;|qalkaline paper) 
020    |z9780123693884|q(hardcover ;|qalkaline paper) 
035    (OCoLC)659559288|z(OCoLC)162572944|z(OCoLC)648300420
       |z(OCoLC)657955984 
037    113048:113136|bElsevier Science & Technology|nhttp://
       www.sciencedirect.com 
040    N$T|beng|epn|cN$T|dOCLCE|dIDEBK|dE7B|dOCLCQ|dNLGGC|dYDXCP
       |dOPELS|dOCLCQ 
049    RIDW 
050  4 Q338.85|b.M84 2006eb 
082 04 153.4/3|222 
084    54.72|2bcl 
090    Q338.85|b.M84 2006eb 
100 1  Mueller, Erik T.|0https://id.loc.gov/authorities/names/
       n88258674 
245 10 Commonsense reasoning /|cErik T. Mueller. 
264  1 Amsterdam ;|aBoston :|bElsevier Morgan Kaufmann,|c[2006] 
264  4 |c©2006 
300    1 online resource (xxvi, 404 pages) 
336    text|btxt|2rdacontent 
337    computer|bc|2rdamedia 
338    online resource|bcr|2rdacarrier 
340    |gpolychrome|2rdacc 
347    text file|2rdaft 
504    Includes bibliographical references (pages 361-390) and 
       index. 
505 0  The event calculus -- The effects of events -- The 
       triggering of events -- The commonsense law of inertia -- 
       Indirect effects of events -- Continuous change -- 
       Concurrent events -- Nondeterministic effects of events --
       Space -- The mental states of agents -- Default reasoning 
       -- The discrete event calculus reasoner -- Applications --
       Logics for commonsense reasoning -- Nonlogical methods for
       commonsense reasoning. 
520    To endow computers with common sense is one of the major 
       long-term goals of Artificial Intelligence research. One 
       approach to this problem is to formalize commonsense 
       reasoning using mathematical logic. Commonsense Reasoning 
       is a detailed, high-level reference on logic-based 
       commonsense reasoning. It uses the event calculus, a 
       highly powerful and usable tool for commonsense reasoning,
       which Erik T. Mueller demonstrates as the most effective 
       tool for the broadest range of applications. He provides 
       an up-to-date work promoting the use of the event calculus
       for commonsense reasoning, and bringing into one place 
       information scattered across many books and papers. 
       Mueller shares the knowledge gained in using the event 
       calculus and extends the literature with detailed event 
       calculus solutions to problems that span many areas of the
       commonsense world. Covers key areas of commonsense 
       reasoning including action, change, defaults, space, and 
       mental states. The first full book on commonsense 
       reasoning to use the event calculus. Contextualizes the 
       event calculus within the framework of commonsense 
       reasoning, introducing the event calculus as the best 
       method overall. Focuses on how to use the event calculus 
       formalism to perform commonsense reasoning, while existing
       papers and books examine the formalisms themselves. 
       Includes fully worked out proofs and circumscriptions for 
       every example. Describes software tools that can be 
       downloaded and used for automated commonsense reasoning, 
       and real-world applications that have been built using the
       event calculus. 
588 0  Print version record. 
590    eBooks on EBSCOhost|bEBSCO eBook Subscription Academic 
       Collection - North America 
650  0 Commonsense reasoning|0https://id.loc.gov/authorities/
       subjects/sh94000010|xAutomation.|0https://id.loc.gov/
       authorities/subjects/sh00007652 
650  0 Artificial intelligence|0https://id.loc.gov/authorities/
       subjects/sh85008180|xMathematics.|0https://id.loc.gov/
       authorities/subjects/sh2002007922 
650  0 Logic, Symbolic and mathematical|0https://id.loc.gov/
       authorities/subjects/sh85078115|xData processing.|0https:/
       /id.loc.gov/authorities/subjects/sh99005487 
650  7 Commonsense reasoning.|2fast|0https://id.worldcat.org/fast
       /869844 
650  7 Automation.|2fast|0https://id.worldcat.org/fast/822786 
650  7 Artificial intelligence|xMathematics.|2fast|0https://
       id.worldcat.org/fast/817266 
650  7 Artificial intelligence.|2fast|0https://id.worldcat.org/
       fast/817247 
650  7 Logic, Symbolic and mathematical|xData processing.|2fast
       |0https://id.worldcat.org/fast/1002071 
650  7 Logic, Symbolic and mathematical.|2fast|0https://
       id.worldcat.org/fast/1002068 
655  4 Electronic books. 
776 08 |iPrint version:|aMueller, Erik T.|tCommonsense reasoning.
       |dAmsterdam ; Boston : Elsevier Morgan Kaufmann, ©2006
       |z9780123693884|w(DLC)  2005031664|w(OCoLC)62281780 
856 40 |uhttps://rider.idm.oclc.org/login?url=http://
       search.ebscohost.com/login.aspx?direct=true&scope=site&
       db=nlebk&AN=196148|zOnline eBook. Access restricted to 
       current Rider University students, faculty, and staff. 
856 42 |3Instructions for reading/downloading this eBook|uhttp://
       guides.rider.edu/ebooks/ebsco 
901    MARCIVE 20231220 
948    |d20160616|cEBSCO|tebscoebooksacademic|lridw 
994    92|bRID