Partiality, Modality, and Nonmonotonicity
Seiten
1996
Centre for the Study of Language & Information (Verlag)
978-1-57586-031-2 (ISBN)
Centre for the Study of Language & Information (Verlag)
978-1-57586-031-2 (ISBN)
- Titel ist leider vergriffen;
keine Neuauflage - Artikel merken
State-of-the-art description of research in logic-based approaches to knowledge representation.
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.
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.
Part I. Foundations: 1. How different is partial logic?; 2. Sequent formalizations of three-valued logic; 3. Modalities for reasoning about knowledge and uncertainties; 4. Fundamentals of partial modal logic; Part II. Case Studies: 5. A study in modal embeddings of NML3; 6. A model-based approach to predictive causal reasoning; 7. Partial semantics for truth maintenance; 8. Combining partial and classical semantics: a hybrid approach to belief and awareness; 9. Autoepistemic logic as a basis for automating nonmonotonic reasoning; Name index; Subject index.
| Erscheint lt. Verlag | 28.7.1996 |
|---|---|
| Reihe/Serie | Studies in Logic Language and Information |
| Verlagsort | Stanford |
| Sprache | englisch |
| Maße | 152 x 228 mm |
| Gewicht | 570 g |
| Themenwelt | Geisteswissenschaften ► Philosophie ► Logik |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| ISBN-10 | 1-57586-031-7 / 1575860317 |
| ISBN-13 | 978-1-57586-031-2 / 9781575860312 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
ein Gegenentwurf zum kurzfristigen Denken : so werden wir zu den …
Buch | Hardcover (2023)
REDLINE (Verlag)
CHF 27,90
