For people who want to have informed opinions on the application of AI to religious studies, here is a list of some of the scholars working on religion, language, logic, and AI - the cohesive package of computer science that goes into AI and religious/Bible study. I've included a couple of titles from each. However, because they are a bit pricey and the interest in Logos, judging by the forums, is small, I have not added them as formal suggestions.
But even if you have no interest in the topic, it is worth your time to read the blurb for each scholar so you know what kind of thinking about AI and religion is happening.
-
Graham Priest: A prominent philosopher known for his work on paraconsistent logic, Priest has explored the application of non-classical logics to various philosophical and religious questions, including the nature of paradoxes in religious texts and the logic of religious belief.
Amazon.com: The Fifth Corner of Four: An Essay on Buddhist Metaphysics and the Catuṣkoṭi: 9780198758716: Priest, Graham: Books
Amazon.com: Beyond the Limits of Thought: 9780199244218: Priest, Graham: Books
-
Johan van Benthem: A leading figure in logic and philosophy of science, van Benthem has investigated the use of modal logic in understanding religious language and reasoning. His work explores how modal logic can be applied to analyze concepts such as necessity, possibility, and belief in religious contexts.
A Manual of Intensional Logic: 2nd Edition (Lecture Notes Book 1) Second, van Benthem, Johan - Amazon.com
Handbook of Logic and Language: Van Benthem, Johan, Meulen, Alice G. B. Ter: 9780262220538: Amazon.com: Books
-
Dov Gabbay: A logician known for his contributions to many areas of logic, including belief revision, Gabbay has examined the logical foundations of religious belief and the application of belief revision theory to religious epistemology.
Amazon.com: Labelled Deductive Systems (Oxford Logic Guides): 9780198538332: Gabbay, Dov M.: Books
Principles of Talmudic Logic (Studies in Talmudic Logic): Abraham, Michael, Gabbay, Augustus de Morgan Professor of Logic Dov M, Schild, Uri: 9781848900936: Amazon.com: Books
-
Joseph Halpern: A computer scientist and logician, Halpern has worked on formal models of belief revision and decision-making under uncertainty. His research has implications for understanding religious reasoning and the dynamics of belief change in religious communities.
Reasoning About Knowledge: Halpern, Joseph Y., Moses, Yoram, Fagin, Ronald: 9780262061629: Amazon.com: Books
Amazon.com: Reasoning about Uncertainty, second edition (Mit Press): 9780262533805: Halpern, Joseph Y.: Books
-
John Horty: A philosopher specializing in formal semantics and logic, Horty has explored the application of non-classical logics to the analysis of religious language and discourse. His work addresses questions about the logic of religious belief and the interpretation of religious texts.
Amazon.com: Agency and Deontic Logic: 9780195134612: Horty, John F.: Books
-
Katie Atkinson: A researcher in computational logic and artificial intelligence, Atkinson has investigated the use of formal argumentation frameworks to model and analyze religious reasoning. Her work applies techniques from formal logic to study the structure and dynamics of religious arguments.
[PDF] 2 Argumentation Frameworks and Argumentation Schemes | Semantic Scholar
core.ac.uk/download/pdf/477904308.pdf
