12 papers · ranked by Valyu relevance
Wolfgang Pietsch
Because large language models (LLMs) are impressively successful in predicting text, it appears that they must have access to a 'world model' representing causal and definitional structure. However, the dominant formalisms of modern causal inference -- Judea Pearl's interventionist approach and the Neyman-Rubin…
Sander Beckers
Over a series of seven papers, Andreas & Günther have introduced seven definitions of actual causation and have classified them as belonging to three different, competing, types of accounts: factual difference-making, counterfactual difference-making, and regularity-based. I show that their most recent - factual…
Boris Konev, Michael Ludwig, Dirk Walther, Frank Wolter
We study a logic-based approach to versioning of ontologies. Under this view, ontologies provide answers to queries about some vocabulary of interest. The difference between two versions of an ontology is given by the set of queries that receive different answers. We investigate this approach for terminologies given in…
Mitchell Plyler, Michael Green, Min Chi
Rationales, snippets of extracted text that explain an inference, have emerged as a popular framework for interpretable natural language processing (NLP). Rationale models typically consist of two cooperating modules: a selector and a classifier with the goal of maximizing the mutual information (MMI) between the…
Barbora Bühnová
With all the opportunities and risks that technology holds in connection to our safe and sustainable future, it is becoming increasingly important to involve a larger portion of our society in becoming active co-creators of our digitalized future—moving from the passenger seat to the driver seat. Yet, despite extensive…
Luis Adrian Urtubey
I aim to promote an alternative agenda for teaching modal logic chiefly inspired by the relationships between modal logic and philosophy. The guiding idea for this proposal is a reappraisal of the interest of modal logic in philosophy, which do not stem mainly from mathematical issues, but which is motivated by central…
Anthony Hunter
Argumentation is a non-monotonic process. This reflects the fact that argumentation involves uncertain information, and so new information can cause a change in the conclusions drawn. However, the base logic does not need to be non-monotonic. Indeed, most proposals for structured argumentation use a monotonic base…
Guido Governatori, Silvano Colombo Tosatto, Antonino Rotolo
This paper presents an extension of Defeasible Deontic Logic to deal with the Pragmatic Oddity problem. The logic applies three general principles: (1) the Pragmatic Oddity problem must be solved within a general logical treatment of CTD reasoning; (2) non-monotonic methods must be adopted to handle CTD reasoning; (3)…
Konstantine Arkoudas
GPT-4 was released in March 2023 to wide acclaim, marking a very substantial improvement across the board over GPT-3.5 (OpenAI's previously best model, which had powered the initial release of ChatGPT). Despite the genuinely impressive improvement, however, there are good reasons to be highly skeptical of GPT-4's…
Tobias Brudermueller, Dennis Shung, Loren Laine, Adrian J. Stanley + 6 more
'Stig Borbjerg Laursen' 'Harry R. Dalton' 'Jeffrey Ngu' 'Michael Schultz' 'Johannes Stegmaier' 'Smita Krishnaswamy'] While neural networks are good at learning unspecified functions from training samples, they cannot be directly implemented in hardware and are often not interpretable or formally verifiable. On the…
Alfredo Roque Freire, Manuel A. Martins
In this paper, we deal with the problem of putting together modal worlds that operate in different logic systems. When evaluating a modal sentence 2ϕ, we argue that it is not sufficient to inspect the truth of ϕ in accessed worlds (possibly in different logics). Instead, ways of transferring more subtle semantic…
Adnan Darwiche, Auguste Hirth
Recent work has shown that some common machine learning classifiers can be compiled into Boolean circuits that have the same input-output behavior. We present a theory for unveiling the reasons behind the decisions made by Boolean classifiers and study some of its theoretical and practical implications. We define…