Nonmonotonic Logics Basic Concepts, Results, and Techniques / by Karl Schlechta.

Nonmonotonic logics were created as an abstraction of some types of common sense reasoning, analogous to the way classical logic serves to formalize ideal reasoning about mathematical objects. These logics are nonmonotonic in the sense that enlarging the set of axioms does not necessarily imply an e...

Full description

Saved in:
Bibliographic Details
Main Author: Schlechta, Karl (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997.
Edition:1st ed. 1997.
Series:Lecture Notes in Artificial Intelligence ; 1187
Springer eBook Collection.
Subjects:
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.

MARC

LEADER 00000nam a22000005i 4500
001 b3228516
003 MWH
005 20191028091433.0
007 cr nn 008mamaa
008 121227s1997 gw | s |||| 0|eng d
020 |a 9783540497363 
024 7 |a 10.1007/BFb0021104  |2 doi 
035 |a (DE-He213)978-3-540-49736-3 
050 4 |a E-Book 
072 7 |a UYQ  |2 bicssc 
072 7 |a COM004000  |2 bisacsh 
072 7 |a UYQ  |2 thema 
100 1 |a Schlechta, Karl.  |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
245 1 0 |a Nonmonotonic Logics  |h [electronic resource] :  |b Basic Concepts, Results, and Techniques /  |c by Karl Schlechta. 
250 |a 1st ed. 1997. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 1997. 
300 |a IX, 246 p.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Lecture Notes in Artificial Intelligence ;  |v 1187 
490 1 |a Springer eBook Collection 
505 0 |a Preferential structures and related logics -- Defaults as generalized quantifiers -- Logic and analysis -- Theory revision and probability -- Structured reasoning. 
520 |a Nonmonotonic logics were created as an abstraction of some types of common sense reasoning, analogous to the way classical logic serves to formalize ideal reasoning about mathematical objects. These logics are nonmonotonic in the sense that enlarging the set of axioms does not necessarily imply an enlargement of the set of formulas deducible from these axioms. Such situations arise naturally, for example, in the use of information of different degrees of reliability. This book emphasizes basic concepts by outlining connections between different formalisms of nonmonotonic logic, and gives a coherent presentation of recent research results and reasoning techniques. It provides a self-contained state-of-the-art survey of the area addressing researchers in AI lo. 
590 |a Loaded electronically. 
590 |a Electronic access restricted to members of the Holy Cross Community. 
650 0 |a Artificial intelligence. 
650 0 |a Mathematical logic. 
690 |a Electronic resources (E-books) 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
830 0 |a Lecture Notes in Artificial Intelligence ;  |v 1187 
830 0 |a Springer eBook Collection. 
856 4 0 |u https://holycross.idm.oclc.org/login?auth=cas&url=https://doi.org/10.1007/BFb0021104  |3 Click to view e-book  |t 0 
907 |a .b32285164  |b 04-18-22  |c 02-26-20 
998 |a he  |b 02-26-20  |c m  |d @   |e -  |f eng  |g gw   |h 0  |i 1 
912 |a ZDB-2-SCS 
912 |a ZDB-2-LNC 
912 |a ZDB-2-BAE 
950 |a Computer Science (Springer-11645) 
902 |a springer purchased ebooks 
903 |a SEB-COLL 
945 |f  - -   |g 1  |h 0  |j  - -   |k  - -   |l he   |o -  |p $0.00  |q -  |r -  |s b   |t 38  |u 0  |v 0  |w 0  |x 0  |y .i21416813  |z 02-26-20 
999 f f |i 99b5f529-6a64-5765-af7c-30afdac82ce2  |s 001f793a-af10-50d0-ab46-0db58d393b1a  |t 0 
952 f f |p Online  |a College of the Holy Cross  |b Main Campus  |c E-Resources  |d Online  |t 0  |e E-Book  |h Library of Congress classification  |i Elec File