Tootfinder

Charting Ethical Tensions in Multispecies Technology Research through Beneficiary-Epistemology Space
Steve Benford, Clara Mancini, Alan Chamberlain, Eike Schneiders, Simon Castle-Green, Joel Fischer, Ayse Kucukyilmaz, Guido Salimbeni, Victor Ngo, Pepita Barnard, Matt Adams, Nick Tandavanitj, Ju Row Farr
https://arxiv.org/abs/240…

Charting Ethical Tensions in Multispecies Technology Research through Beneficiary-Epistemology Space
While ethical challenges are widely discussed in HCI, far less is reported about the ethical processes that researchers routinely navigate. We reflect on a multispecies project that negotiated an especially complex ethical approval process. Cat Royale was an artist-led exploration of creating an artwork to engage audiences in exploring trust in autonomous systems. The artwork took the form of a robot that played with three cats. Gaining ethical approval required an extensive dialogue with three…

Algorithmic Bayesian Epistemology
Eric Neyman
https://arxiv.org/abs/2403.07949 https://arxiv.org/pdf/2403.07949

Algorithmic Bayesian Epistemology
One aspect of the algorithmic lens in theoretical computer science is a view on other scientific disciplines that focuses on satisfactory solutions that adhere to real-world constraints, as opposed to solutions that would be optimal ignoring such constraints. The algorithmic lens has provided a unique and important perspective on many academic fields, including molecular biology, ecology, neuroscience, quantum physics, economics, and social science. This thesis applies the algorithmic lens to…

This https://arxiv.org/abs/2403.04772 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csAI_…

Representing Pedagogic Content Knowledge Through Rough Sets
A teacher's knowledge base consists of knowledge of mathematics content, knowledge of student epistemology, and pedagogical knowledge. It has severe implications on the understanding of student's knowledge of content, and the learning context in general. The necessity to formalize the different content knowledge in approximate senses is recognized in the education research literature. A related problem is that of coherent formalizability. Existing responsive or smart AI-based software systems d…

Moved my website and Bluesky handle to http://keithwilson.eu, which I decided was more on-brand than .net. 🇪🇺

A Study on Actions for Atomic Logics
Ra\"ul Espejo-Boix
https://arxiv.org/abs/2403.07948 https://arxiv.org/pdf/2403.07948…

A Study on Actions for Atomic Logics
Nowadays there is a large number of non-classical logics, each one best suited for reasoning about some issues in abstract fields, such as linguistics or epistemology, among others. Proving interesting properties for each one of them supposes a big workload for logicians and computer scientists. We want an approach into this problematic that is modular. To adress this issue, the report shows new insights in the construction of Atomic Logics introduced by Guillaume Aucher. Atomic Logics let us r…

Algorithmic Bayesian Epistemology
Eric Neyman
https://arxiv.org/abs/2403.07949 https://arxiv.org/pdf/2403.07949

Algorithmic Bayesian Epistemology
One aspect of the algorithmic lens in theoretical computer science is a view on other scientific disciplines that focuses on satisfactory solutions that adhere to real-world constraints, as opposed to solutions that would be optimal ignoring such constraints. The algorithmic lens has provided a unique and important perspective on many academic fields, including molecular biology, ecology, neuroscience, quantum physics, economics, and social science. This thesis applies the algorithmic lens to…

Synergistic Knowledge
Christian Cachin, David Lehnherr, Thomas Studer
https://arxiv.org/abs/2403.18646 https://arxiv.org/pdf/2403.186…

Synergistic Knowledge
In formal epistemology, group knowledge is often modelled as the knowledge that the group would have, if the agents shared all their individual knowledge. However, this interpretation does not account for relations between agents. In this work, we propose the notion of synergistic knowledge which makes it possible to model those relationships.