skip to content
Formalizing common sense : papers Preview this item
ClosePreview this item
Checking...

Formalizing common sense : papers

Author: John McCarthy; Vladimir Lifschitz
Publisher: Norwood, N.J. : Ablex Pub. Corp., ©1990.
Edition/Format:   Print book : EnglishView all editions and formats
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Additional Physical Format: Online version:
McCarthy, John, 1927-
Formalizing common sense.
Norwood, N.J. : Ablex Pub. Corp., ©1990
(OCoLC)645676535
Document Type: Book
All Authors / Contributors: John McCarthy; Vladimir Lifschitz
ISBN: 0893915351 9780893915353
OCLC Number: 20130182
Description: vi, 256 pages : illustrations ; 24 cm
Responsibility: by John McCarthy ; edited by Vladimir Lifschitz.

Table of Contents:

by dougedmunds (WorldCat user on 2008-06-18)

1. Understanding Common Sense: John McCarthy's Research in Artificial Intelligence, by Vladimir Lifschitz 2. Programs with Common Sense 3. Some Philosophical Problems from the Standpoint of Artificial Intelligence 4. Review of ``Artificial Intelligence: A General Survey'' 5. An Example for Natural Language Understanding and the AI Problems It Raises 6. Epistemological Problems of Artificial Intelligence 7. Ascribing Mental Qualities to Machines 8. First Order Theories of Individual Concepts and Propositions 9. Circumscription---A Form of Nonmonotonic Reasoning 10. Formalization of Two Puzzles Involving Knowledge 11. Coloring Maps and the Kowalski Doctrine 12. The Common Business Communication Language 13. The Little Thoughts of Thinking Machines 14. AI Needs More Emphasis on Basic Research 15. Some Expert Systems Need Common Sense 16. Applications of Circumscription to Formalizing Common Sense Knowledge 17. Generality in Artificial Intelligence 18. Mathematical Knowledge in Artificial Intelligence (this is from the Appendix to a review by Varol Akman, http://cogprints.org/481/)

Notes:

by dougedmunds (WorldCat user on 2008-06-18)

John McCarthy has made (most of) the papers contained in this book available on his website. http://www-formal.stanford.edu/jmc/

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/20130182> # Formalizing common sense : papers
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "20130182" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/196957177#Place/norwood_n_j> ; # Norwood, N.J.
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nju> ;
   schema:about <http://id.worldcat.org/fast/869844> ; # Commonsense reasoning
   schema:about <http://experiment.worldcat.org/entity/work/data/196957177#Topic/sens_commun> ; # Sens commun
   schema:about <http://experiment.worldcat.org/entity/work/data/196957177#Topic/kunstmatige_intelligentie> ; # Kunstmatige intelligentie
   schema:about <http://experiment.worldcat.org/entity/work/data/196957177#Topic/intelligence_artificielle> ; # Intelligence artificielle
   schema:about <http://experiment.worldcat.org/entity/work/data/196957177#Topic/gezond_verstand> ; # Gezond verstand
   schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
   schema:about <http://dewey.info/class/006.3/e20/> ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/74909234> ; # Vladimir Lifschitz
   schema:copyrightYear "1990" ;
   schema:creator <http://viaf.org/viaf/10025002> ; # John McCarthy
   schema:datePublished "1990" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/196957177> ;
   schema:inLanguage "en" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/645676535> ;
   schema:name "Formalizing common sense : papers"@en ;
   schema:productID "20130182" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/20130182#PublicationEvent/norwood_n_j_ablex_pub_corp_1990> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/196957177#Agent/ablex_pub_corp> ; # Ablex Pub. Corp.
   schema:workExample <http://worldcat.org/isbn/9780893915353> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/20130182> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/196957177#Agent/ablex_pub_corp> # Ablex Pub. Corp.
    a bgn:Agent ;
   schema:name "Ablex Pub. Corp." ;
    .

<http://experiment.worldcat.org/entity/work/data/196957177#Topic/intelligence_artificielle> # Intelligence artificielle
    a schema:Intangible ;
   schema:name "Intelligence artificielle"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/196957177#Topic/kunstmatige_intelligentie> # Kunstmatige intelligentie
    a schema:Intangible ;
   schema:name "Kunstmatige intelligentie"@en ;
    .

<http://id.worldcat.org/fast/817247> # Artificial intelligence
    a schema:Intangible ;
   schema:name "Artificial intelligence"@en ;
    .

<http://id.worldcat.org/fast/869844> # Commonsense reasoning
    a schema:Intangible ;
   schema:name "Commonsense reasoning"@en ;
    .

<http://viaf.org/viaf/10025002> # John McCarthy
    a schema:Person ;
   schema:birthDate "1927" ;
   schema:deathDate "2011" ;
   schema:familyName "McCarthy" ;
   schema:givenName "John" ;
   schema:name "John McCarthy" ;
    .

<http://viaf.org/viaf/74909234> # Vladimir Lifschitz
    a schema:Person ;
   schema:familyName "Lifschitz" ;
   schema:givenName "Vladimir" ;
   schema:name "Vladimir Lifschitz" ;
    .

<http://worldcat.org/isbn/9780893915353>
    a schema:ProductModel ;
   schema:isbn "0893915351" ;
   schema:isbn "9780893915353" ;
    .

<http://www.worldcat.org/oclc/645676535>
    a schema:CreativeWork ;
   rdfs:label "Formalizing common sense." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/20130182> ; # Formalizing common sense : papers
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.