skip to content
Cognitive reasoning : a formal approach Preview this item
ClosePreview this item
Checking...

Cognitive reasoning : a formal approach

Author: O M Anshakov; T Gergely
Publisher: Heidelberg ; New York : Springer, ©2010.
Series: Cognitive technologies.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:

This book describes the theory, methodology and algorithmization of a new approach to problem solving and its realization in intelligent systems. It investigates cognitive reasoning at three levels  Read more...

Rating:

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

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

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

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Anshakov, O.M.
Cognitive reasoning.
Heidelberg ; New York : Springer, ©2010
(OCoLC)560295247
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: O M Anshakov; T Gergely
ISBN: 9783540688754 3540688757
OCLC Number: 663093865
Description: 1 online resource (x, 437 pages) : illustrations.
Contents: Conceptual Theory of Cognitive Reasoning.- Introductory Explanation.- Basic System of Concepts.- Constructing a Model of a Cognizing Agent.- Cognitive Reasoning Framework.- Logic Foundation.- Introductory Explanation.- Propositional Logic.- First-Order Logics.- Formal CR Framework.- Introductory Explanation.- Modification Calculi.- Derivability in Modification Calculi and L1.- Semantics.- Iterative Representation of Structure Generators.- Modification Theories.- Conformability.- Handling Complex Structures.- Introductory Explanation.- Set-Admitting Structures.- Set Sorts in Modification Calculi.- Perfect Modification Calculi (PMC).- JSM Theories.- Introductory Explanation.- Simple JSM Theories.- Advanced JSM Theories.- Similarity Representation.- JSM Theories for Complex Structures.- Looking Back and Ahead.- Introductory Overview.- Towards the Realisation.- CR Framework.- Open Problems.- Philosophical-Methodological Implications of the Proposed CR Framework.
Series Title: Cognitive technologies.
Responsibility: Oleg M. Anshakov, Tamas Gergely.

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/663093865> # Cognitive reasoning : a formal approach
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
    library:oclcnum "663093865" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/895027604#Place/heidelberg> ; # Heidelberg
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://id.worldcat.org/fast/1091282> ; # Reasoning
    schema:about <http://experiment.worldcat.org/entity/work/data/895027604#Topic/informatique> ; # Informatique
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://id.worldcat.org/fast/866547> ; # Cognitive science
    schema:about <http://dewey.info/class/511.3/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/895027604#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
    schema:about <http://experiment.worldcat.org/entity/work/data/895027604#Topic/sciences_cognitives> ; # Sciences cognitives
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/94717468> ; # Tamás Gergely
    schema:copyrightYear "2010" ;
    schema:creator <http://viaf.org/viaf/36398209> ; # O. M. Anshakov
    schema:datePublished "2010" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/895027604> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/895027604#Series/cognitive_technologies> ; # Cognitive technologies.
    schema:isSimilarTo <http://www.worldcat.org/oclc/560295247> ;
    schema:name "Cognitive reasoning : a formal approach"@en ;
    schema:productID "663093865" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/663093865#PublicationEvent/heidelberg_new_york_springer_2010> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/895027604#Agent/springer> ; # Springer
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-540-43058-2> ;
    schema:url <http://gate.lib.buffalo.edu/login?url=https://link.springer.com/book/10.1007/978-3-540-68875-4> ;
    schema:url <https://grinnell.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-540-68875-4> ;
    schema:url <http://dx.doi.org/10.1007/978-3-540-68875-4> ;
    schema:workExample <http://worldcat.org/isbn/9783540688754> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA989434> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/663093865> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/895027604#Series/cognitive_technologies> # Cognitive technologies.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/663093865> ; # Cognitive reasoning : a formal approach
    schema:name "Cognitive technologies." ;
    schema:name "Cognitive technologies" ;
    .

<http://experiment.worldcat.org/entity/work/data/895027604#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
    schema:name "Logique symbolique et mathématique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/895027604#Topic/sciences_cognitives> # Sciences cognitives
    a schema:Intangible ;
    schema:name "Sciences cognitives"@fr ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/1091282> # Reasoning
    a schema:Intangible ;
    schema:name "Reasoning"@en ;
    .

<http://id.worldcat.org/fast/866547> # Cognitive science
    a schema:Intangible ;
    schema:name "Cognitive science"@en ;
    .

<http://viaf.org/viaf/36398209> # O. M. Anshakov
    a schema:Person ;
    schema:familyName "Anshakov" ;
    schema:givenName "O. M." ;
    schema:name "O. M. Anshakov" ;
    .

<http://viaf.org/viaf/94717468> # Tamás Gergely
    a schema:Person ;
    schema:familyName "Gergely" ;
    schema:givenName "Tamás" ;
    schema:givenName "T." ;
    schema:name "Tamás Gergely" ;
    .

<http://worldcat.org/isbn/9783540688754>
    a schema:ProductModel ;
    schema:isbn "3540688757" ;
    schema:isbn "9783540688754" ;
    .

<http://www.worldcat.org/oclc/560295247>
    a schema:CreativeWork ;
    rdfs:label "Cognitive reasoning." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/663093865> ; # Cognitive reasoning : a formal approach
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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