|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 |
Partiality, Modality and Nonmonotonicity
CSLI, 1996 eISBN: 978-1-68400-006-7 | Cloth: 978-1-57586-031-2 | Paper: 978-1-57586-030-5 Library of Congress Classification QA9.46.P37 1996 Dewey Decimal Classification 006.33
ABOUT THIS BOOK | TOC
ABOUT THIS BOOK
This edited volume of articles provides a state-of-the-art description of research in logic-based approaches to knowledge representation which combines approaches to reasoning with incomplete information that include partial, modal, and nonmonotonic logics. The collection contains two parts: foundations and case studies. The foundations section provides a general overview of partiality, multi-valued logics, use of modal logic to model partiality and resource-limited inference, and an integration of partial and modal logics. The case studies section provides specific studies of issues raised in the foundations section. Several of the case studies integrate modal and partial modal logics with nonmonotonic logics. Both theoretical and practical aspects of such integration are considered. Knowledge representation issues such as default reasoning, theories of action and change, reason maintenance, awareness, and automation of nonmonotonic reasoning are covered. See other books on: Artificial Intelligence | Expert Systems | Formal languages | Modality | Modality (Logic) See other titles from CSLI |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Nearby on shelf for Mathematics / General:
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Partiality, Modality and Nonmonotonicity
ABOUT THIS BOOK | TOC
CSLI, 1996
eISBN: 978-1-68400-006-7
Cloth: 978-1-57586-031-2
Paper: 978-1-57586-030-5
eISBN: 978-1-68400-006-7
Cloth: 978-1-57586-031-2
Paper: 978-1-57586-030-5
This edited volume of articles provides a state-of-the-art description of research in logic-based approaches to knowledge representation which combines approaches to reasoning with incomplete information that include partial, modal, and nonmonotonic logics. The collection contains two parts: foundations and case studies. The foundations section provides a general overview of partiality, multi-valued logics, use of modal logic to model partiality and resource-limited inference, and an integration of partial and modal logics. The case studies section provides specific studies of issues raised in the foundations section. Several of the case studies integrate modal and partial modal logics with nonmonotonic logics. Both theoretical and practical aspects of such integration are considered. Knowledge representation issues such as default reasoning, theories of action and change, reason maintenance, awareness, and automation of nonmonotonic reasoning are covered.
ABOUT THIS BOOK | TOC
