Coverart for item
The Resource Nonmonotonic reasoning, Grigoris Antoniou ; with contributions by Mary-Anne Williams

Nonmonotonic reasoning, Grigoris Antoniou ; with contributions by Mary-Anne Williams

Label
Nonmonotonic reasoning
Title
Nonmonotonic reasoning
Statement of responsibility
Grigoris Antoniou ; with contributions by Mary-Anne Williams
Creator
Contributor
Subject
Genre
Language
eng
Summary
Nonmonotonic reasoning provides formal methods that enable intelligent systems to operate adequately when faced with incomplete or changing information. In particular, it provides rigorous mechanisms for taking back conclusions that, in the presence of new information, turn out to be wrong and for deriving new, alternative conclusions instead. Nonmonotonic reasoning methods provide rigor similar to that of classical reasoning; they form a base for validation and verification and therefore increase confidence in intelligent systems that work with incomplete and changing information. Following a brief introduction to the concepts of predicate logic that are needed in the subsequent chapters, this book presents an in depth treatment of default logic. Other subjects covered include the major approaches of autoepistemic logic and circumscription, belief revision and its relationship to nonmonotonic inference, and briefly, the stable and well-founded semantics of logic programs
Member of
Cataloging source
N$T
http://library.link/vocab/creatorName
Antoniou, G.
Dewey number
511.3
Illustrations
illustrations
Index
index present
Language note
English
LC call number
Q339.2
LC item number
.A58 1997eb
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
Williams, M. A
Series statement
Artificial intelligence
http://library.link/vocab/subjectName
  • Nonmonotonic reasoning
  • MATHEMATICS
  • MATHEMATICS
  • Nonmonotonic reasoning
  • Redeneren
  • Monotonie (wiskunde)
  • Logica
  • Inteligencia artificial
  • Engineering & Applied Sciences
  • Computer Science
Label
Nonmonotonic reasoning, Grigoris Antoniou ; with contributions by Mary-Anne Williams
Instantiates
Publication
Bibliography note
Includes bibliographical references (pages 277-281) and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • 5.
  • Normal Default Theories
  • 6.
  • Semi-normal Default Theories
  • 7.
  • Alternative Approaches
  • 8.
  • Priorities Among Defaults
  • 9.
  • Autoepistemic Logic
  • 1.
  • 10.
  • Computing Expansions of AE-Theories
  • 11.
  • Embedding Default Logic into AE-Logic
  • 12.
  • Circumscription
  • 13.
  • Nonmonotonic Inference Relations
  • 14.
  • Belief Revision
  • Introduction
  • 15.
  • Implementing Belief Revision
  • 16.
  • Interconnections
  • 17.
  • The System Theorist
  • 18.
  • Stable Model Semantics of Logic Programs
  • 19.
  • Well-Founded Semantics
  • 2.
  • 20.
  • Future Directions of Nonmonotonic Reasoning Research
  • Predicate Logic
  • 3.
  • Default Reasoning
  • 4.
  • Operational Semantics of Default Logic
Control code
44961249
Dimensions
unknown
Extent
1 online resource (xii, 285 pages)
Form of item
online
Isbn
9780585037035
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
  • 5040
  • 9780262267199
Specific material designation
remote
System control number
(OCoLC)44961249
Label
Nonmonotonic reasoning, Grigoris Antoniou ; with contributions by Mary-Anne Williams
Publication
Bibliography note
Includes bibliographical references (pages 277-281) and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • 5.
  • Normal Default Theories
  • 6.
  • Semi-normal Default Theories
  • 7.
  • Alternative Approaches
  • 8.
  • Priorities Among Defaults
  • 9.
  • Autoepistemic Logic
  • 1.
  • 10.
  • Computing Expansions of AE-Theories
  • 11.
  • Embedding Default Logic into AE-Logic
  • 12.
  • Circumscription
  • 13.
  • Nonmonotonic Inference Relations
  • 14.
  • Belief Revision
  • Introduction
  • 15.
  • Implementing Belief Revision
  • 16.
  • Interconnections
  • 17.
  • The System Theorist
  • 18.
  • Stable Model Semantics of Logic Programs
  • 19.
  • Well-Founded Semantics
  • 2.
  • 20.
  • Future Directions of Nonmonotonic Reasoning Research
  • Predicate Logic
  • 3.
  • Default Reasoning
  • 4.
  • Operational Semantics of Default Logic
Control code
44961249
Dimensions
unknown
Extent
1 online resource (xii, 285 pages)
Form of item
online
Isbn
9780585037035
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
  • 5040
  • 9780262267199
Specific material designation
remote
System control number
(OCoLC)44961249

Library Locations

    • Thomas Jefferson LibraryBorrow it
      1 University Blvd, St. Louis, MO, 63121, US
      38.710138 -90.311107
Processing Feedback ...