About this book series
Perspectives in Formal Induction, Revision and Evolution is a book series focusing on the logics used in computer science and artificial intelligence, including but not limited to formal induction, revision and evolution. It covers the fields of formal representation, deduction, and theories or meta-theories of induction, revision and evolution, where the induction is of the first level, the revision is of the second level, and the evolution is of the third level, since the induction is at the formula stratum, the revision is at the theory stratum, and the evolution is at the logic stratum.
In his book “The Logic of Scientific Discovery”, Karl Popper argues that a scientific discovery consists of conjecture, theory, refutation, and revision. Some scientific philosophers do not believe that a reasonable conjecture can come from induction. Hence, induction, revision and evolution have become a new territory for formal exploration. Focusing on this challenge, the perspective of this book series differs from that of traditional logics, which concerns concepts and deduction.
The series welcomes proposals for textbooks, research monographs, and edited volumes, and will be useful for all researchers, graduate students, and professionals interested in the field.
- Electronic ISSN
- 2731-3697
- Print ISSN
- 2731-3689
- Editor-in-Chief
-
- Wei Li
- Series Editor
-
- Jie Luo,
- Yuefei Sui
Book titles in this series
-
-
R-Calculus, V: Description Logics
- Authors:
-
- Wei Li
- Yuefei Sui
- Copyright: 2024
Available Renditions
- Hard cover
- eBook
-
R-Calculus, III: Post Three-Valued Logic
- Authors:
-
- Wei Li
- Yuefei Sui
- Copyright: 2022
Available Renditions
- Hard cover
- Soft cover
- eBook
-
R-Calculus, II: Many-Valued Logics
- Authors:
-
- Wei Li
- Yuefei Sui
- Copyright: 2022
Available Renditions
- Hard cover
- Soft cover
- eBook
-
R-CALCULUS: A Logic of Belief Revision
- Authors:
-
- Wei Li
- Yuefei Sui
- Copyright: 2021
Available Renditions
- Hard cover
- Soft cover
- eBook