skip to content
Nonmonotonic Logic : Context-Dependent Reasoning Preview this item
ClosePreview this item
Checking...

Nonmonotonic Logic : Context-Dependent Reasoning

Author: V Wiktor Marek; Mirosław Truszczyński
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993.
Series: Artificial Intelligence.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
This monograph provides a thorough analysis of two important formalisms for nonmonotonic reasoning: default logic and modal nonmonotonic logics. It is also shown how they are related to each other and how they provide the formal foundations for logic programming. The discussion is rigorous, and all main results are formally proved. Many of the results are deep and surprising, some of them previously unpublished. The  Read more...
Rating:

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

Subjects
More like this

Find a copy online

Find a copy in the library

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

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: V Wiktor Marek; Mirosław Truszczyński
ISBN: 9783662029060 3662029065
OCLC Number: 851389426
Description: 1 online resource (xiv, 420 pages).
Contents: 1 Introduction --
2 Rudiments of logic and set theory --
3 General default theories --
4 Normal default theories --
5 Representation theory for default logic --
6 Logic programming and nonmonotonic reasoning --
7 Modal logic --
8 Stable theories --
9 Modal nonmonotonic logics --
10 Nonmonotonic logic of pure necessitation and autoepistemic logics --
11 Topics in modal nonmonotonic logic --
12 Relations among nonmonotonic formalisms --
13 Complexity of some forms of nonmonotonic reasoning --
References.
Series Title: Artificial Intelligence.
Responsibility: by V. Wiktor Marek, Mirosław Truszczyński.

Abstract:

It also relates them to various modal logics studied in the philosophical logic litera- ture, and provides a thorough treatment of their applications as foundations for logic programming semantics  Read more...

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/851389426> # Nonmonotonic Logic : Context-Dependent Reasoning
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
    library:oclcnum "851389426" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/804192494#Place/berlin_heidelberg> ; # Berlin, Heidelberg
    schema:about <http://dewey.info/class/006.3/e23/> ;
    schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/42516308> ; # Mirosław Truszczyński
    schema:creator <http://viaf.org/viaf/110191969> ; # V Wiktor Marek
    schema:datePublished "1993" ;
    schema:description "1 Introduction -- 2 Rudiments of logic and set theory -- 3 General default theories -- 4 Normal default theories -- 5 Representation theory for default logic -- 6 Logic programming and nonmonotonic reasoning -- 7 Modal logic -- 8 Stable theories -- 9 Modal nonmonotonic logics -- 10 Nonmonotonic logic of pure necessitation and autoepistemic logics -- 11 Topics in modal nonmonotonic logic -- 12 Relations among nonmonotonic formalisms -- 13 Complexity of some forms of nonmonotonic reasoning -- References."@en ;
    schema:description "This monograph provides a thorough analysis of two important formalisms for nonmonotonic reasoning: default logic and modal nonmonotonic logics. It is also shown how they are related to each other and how they provide the formal foundations for logic programming. The discussion is rigorous, and all main results are formally proved. Many of the results are deep and surprising, some of them previously unpublished. The book has three parts, on default logic, modal nonmonotonic logics, and connections and complexity issues, respectively. The study of general default logic is followed by a discussion of normal default logic and its connections to the closed world assumption, and also a presentation of related aspects of logic programming. The general theory of the family of modal nonmonotonic logics introduced by McDermott and Doyle is followed by studies of autoepistemic logic, the logic of reflexive knowledge, and the logic of pure necessitation, and also a short discussion of algorithms for computing knowledge and belief sets. The third part explores connections between default logic and modal nonmonotonic logics and contains results on the complexity of nonmonotonic reasoning. The ideas are presented with an elegance and unity of perspective that set a new standard of scholarship for books in this area, and the work indicates that the field has reached a very high level of maturity and sophistication. The book is intended as a reference on default logic, nonmonotonic logics, and related computational issues, and is addressed to researchers, programmers, and graduate students in the Artificial Intelligence community."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/804192494> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/804192494#Series/artificial_intelligence> ; # Artificial Intelligence.
    schema:isPartOf <http://worldcat.org/issn/1431-0066> ; # Artificial Intelligence,
    schema:isSimilarTo <http://worldcat.org/entity/work/data/804192494#CreativeWork/> ;
    schema:name "Nonmonotonic Logic : Context-Dependent Reasoning"@en ;
    schema:productID "851389426" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/851389426#PublicationEvent/berlin_heidelberg_springer_berlin_heidelberg_1993> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/804192494#Agent/springer_berlin_heidelberg> ; # Springer Berlin Heidelberg
    schema:url <http://dx.doi.org/10.1007/978-3-662-02906-0> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-540-56448-5> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3098712> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-662-02906-0> ;
    schema:workExample <http://worldcat.org/isbn/9783662029060> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/851389426> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/804192494#Agent/springer_berlin_heidelberg> # Springer Berlin Heidelberg
    a bgn:Agent ;
    schema:name "Springer Berlin Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/804192494#Place/berlin_heidelberg> # Berlin, Heidelberg
    a schema:Place ;
    schema:name "Berlin, Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/804192494#Series/artificial_intelligence> # Artificial Intelligence.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/851389426> ; # Nonmonotonic Logic : Context-Dependent Reasoning
    schema:name "Artificial Intelligence." ;
    .

<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/817247> # Artificial intelligence
    a schema:Intangible ;
    schema:name "Artificial intelligence"@en ;
    .

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

<http://viaf.org/viaf/110191969> # V Wiktor Marek
    a schema:Person ;
    schema:familyName "Marek" ;
    schema:givenName "V. Wiktor" ;
    schema:name "V Wiktor Marek" ;
    .

<http://viaf.org/viaf/42516308> # Mirosław Truszczyński
    a schema:Person ;
    schema:familyName "Truszczyński" ;
    schema:givenName "Mirosław" ;
    schema:name "Mirosław Truszczyński" ;
    .

<http://worldcat.org/entity/work/data/804192494#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/851389426> ; # Nonmonotonic Logic : Context-Dependent Reasoning
    .

<http://worldcat.org/isbn/9783662029060>
    a schema:ProductModel ;
    schema:isbn "3662029065" ;
    schema:isbn "9783662029060" ;
    .

<http://worldcat.org/issn/1431-0066> # Artificial Intelligence,
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/851389426> ; # Nonmonotonic Logic : Context-Dependent Reasoning
    schema:issn "1431-0066" ;
    schema:name "Artificial Intelligence," ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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