paper-with-me

홈 › Papers

Propositional Interpretability in Artificial Intelligence

2025-01-27 · David J. Chalmers

Mechanistic interpretability is the program of explaining what AI systems are doing in terms of their internal mechanisms. I analyze some aspects of the program, along with setting out some concrete challenges and assessing progress to date. I argue for the importance of propositional interpretability, which involves interpreting a system's mechanisms and behavior in terms of propositional attitudes: attitudes (such as belief, desire, or subjective probability) to propositions (e.g. the proposition that it is hot outside). Propositional attitudes are the central way that we interpret and explain human beings and they are likely to be central in AI too. A central challenge is what I call thought logging: creating systems that log all of the relevant propositional attitudes in an AI system over time. I examine currently popular methods of interpretability (such as probing, sparse auto-encoders, and chain of thought methods) as well as philosophical methods of interpretation (including those grounded in psychosemantics) to assess their strengths and weaknesses as methods of propositional interpretability.

📄 PDF Abstract BibTeX arXiv:2501.15740

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

Propositional Abduction with Implicit Hitting Sets

2016-04-27 · Alexey Ignatiev, Antonio Morgado, Joao Marques-Silva

Logic-based abduction finds important applications in artificial intelligence and related areas. One application example is in finding explanations for observed phenomena. Propositional abduction is a restriction of abdu…

Encoding Argumentation Frameworks to Propositional Logic Systems

2025-03-10 · Shuai Tang, Jiachao Wu, Ning Zhou

The theory of argumentation frameworks ($AF$s) has been a useful tool for artificial intelligence. The research of the connection between $AF$s and logic is an important branch. This paper generalizes the encoding method…

Abstract Reasoning via Logic-guided Generation

2021-07-22 · Sihyun Yu, Sangwoo Mo, Sungsoo Ahn, Jinwoo Shin

Abstract reasoning, i.e., inferring complicated patterns from given observations, is a central building block of artificial general intelligence. While humans find the answer by either eliminating wrong candidates or fir…

Complexity of Faceted Explanations in Propositional Abduction

2025-07-20 · Johannes Schmidt, Mohamed Maizia, Victor Lagerkvist, Johannes K. Fichte arxiv

Abductive reasoning is a popular non-monotonic paradigm that aims to explain observed symptoms and manifestations. It has many applications, such as diagnosis and planning in artificial intelligence and database updates.…

Beyond Prediction -- Structuring Epistemic Integrity in Artificial Reasoning Systems

2025-06-19 · Craig Steven Wright

This paper develops a comprehensive framework for artificial intelligence systems that operate under strict epistemic constraints, moving beyond stochastic language prediction to support structured reasoning, proposition…

Knowledge Graphs