An Introduction to Default Logic

Focusing on the formalization of human reasoning, this book targets the Artificial Intelligence community, including students and researchers, while also appealing to those in cognitive psychology. It emphasizes default logic as a critical framework for common sense reasoning, which is essential for knowledge representation. By addressing the shortcomings of previous reasoning systems in real-world scenarios, it aims to provide a theoretical foundation for evaluating and improving these systems, fostering further advancements in default logic.