Buchumschlag

Epistemic reflections on AI answering our questions: overwatch, erudite, logician, interlocutor

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Hoorn, Johan F., Oosterglorenwoud, Ella-Jenna
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Computers and Society Artificial Intelligence Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Upholding Epistemic Agency: A Brouwerian Assertibility Constraint for Responsible AI
von: Jülich, Michael
Veröffentlicht: (2026)

The Epistemic Asymmetry of Consciousness Self-Reports: A Formal Analysis of AI Consciousness Denial
von: Kim, Chang-Eop
Veröffentlicht: (2024)

A Personalised Formal Verification Framework for Monitoring Activities of Daily Living of Older Adults Living Independently in Their Homes
von: Contreras, Ricardo, et al.
Veröffentlicht: (2025)

Context-aware, Ante-hoc Explanations of Driving Behaviour
von: Grundt, Dominik, et al.
Veröffentlicht: (2025)

Perennial Semantic Data Terms of Use for Decentralized Web
von: Zhao, Rui, et al.
Veröffentlicht: (2024)

Judicial Permission
von: Governatori, Guido, et al.
Veröffentlicht: (2025)

Equitable Access to Justice: Logical LLMs Show Promise
von: Kant, Manuj, et al.
Veröffentlicht: (2024)

Credibility-Limited Revision for Epistemic Spaces
von: Sauerwald, Kai
Veröffentlicht: (2024)

Formal Methods Meet LLMs: Auditing, Monitoring, and Intervention for Compliance of Advanced AI Systems
von: Alamdari, Parand A., et al.
Veröffentlicht: (2026)

Solving Epistemic Logic Programs using Generate-and-Test with Propagation
von: Fandinno, Jorge, et al.
Veröffentlicht: (2024)

Epistemic Skills: Reasoning about Knowledge and Oblivion
von: Liang, Xiaolong, et al.
Veröffentlicht: (2025)

Epistemic Logic Programs: Non-Ground and Counting Complexity
von: Eiter, Thomas, et al.
Veröffentlicht: (2025)

A Path Towards Legal Autonomy: An interoperable and explainable approach to extracting, transforming, loading and computing legal information using large language models, expert systems and Bayesian networks
von: Constant, Axel, et al.
Veröffentlicht: (2024)

Toward Robust Legal Text Formalization into Defeasible Deontic Logic using LLMs
von: Horner, Elias, et al.
Veröffentlicht: (2025)

Pearce's Characterisation in an Epistemic Domain
von: Su, Ezgi Iraz
Veröffentlicht: (2025)

An Epistemic Perspective on Agent Awareness
von: Naumov, Pavel, et al.
Veröffentlicht: (2025)

Evaluating Federated Learning for At-Risk Student Prediction: A Comparative Analysis of Model Complexity and Data Balancing
von: Tertulino, Rodrigo, et al.
Veröffentlicht: (2025)

Privacy-Preserving Personalization in Education: A Federated Recommender System for Student Performance Prediction
von: Tertulino, Rodrigo, et al.
Veröffentlicht: (2025)

Sequential composition of answer set programs
von: Antić, Christian
Veröffentlicht: (2021)

On Probabilistic and Causal Reasoning with Summation Operators
von: Ibeling, Duligur, et al.
Veröffentlicht: (2024)

AI Space Physics: Constitutive boundary semantics for open AI institutions
von: Romanchuk, Oleg, et al.
Veröffentlicht: (2026)

Reasoning in Neurosymbolic AI
von: Tran, Son, et al.
Veröffentlicht: (2025)

On logic and generative AI
von: Gurevich, Yuri, et al.
Veröffentlicht: (2024)

Beyond the Black Box: A Cognitive Architecture for Explainable and Aligned AI
von: Keyi, Hu
Veröffentlicht: (2025)

Neuro-symbolic AI for Predictive Maintenance (PdM) -- review and recommendations
von: Hamilton, Kyle, et al.
Veröffentlicht: (2026)

Neuro-Symbolic Strong-AI Robots with Closed Knowledge Assumption: Learning and Deductions
von: Majkic, Zoran
Veröffentlicht: (2026)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
von: Bloch, Isabelle, et al.
Veröffentlicht: (2025)

Abductive Reasoning in a Paraconsistent Framework
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
von: Joyce, Johnny
Veröffentlicht: (2025)

Dynamic Logic of Trust-Based Beliefs
von: Jiang, Junli, et al.
Veröffentlicht: (2025)

The logic of KM belief update is contained in the logic of AGM belief revision
von: Bonanno, Giacomo
Veröffentlicht: (2026)

Similarity-based analogical proportions
von: Antić, Christian
Veröffentlicht: (2024)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
von: Xu, Yang, et al.
Veröffentlicht: (2025)

An Information-Flow Perspective on Algorithmic Fairness
von: Teuber, Samuel, et al.
Veröffentlicht: (2023)

Runtime Monitoring and Enforcement of Conditional Fairness in Generative AIs
von: Cheng, Chih-Hong, et al.
Veröffentlicht: (2024)

Cloud Kitchen: Using Planning-based Composite AI to Optimize Food Delivery Processes
von: Švancár, Slavomír, et al.
Veröffentlicht: (2024)

Counting Worlds Branching Time Semantics for post-hoc Bias Mitigation in generative AI
von: Buda, Alessandro G., et al.
Veröffentlicht: (2026)

Building Trustworthy AI by Addressing its 16+2 Desiderata with Goal-Directed Commonsense Reasoning
von: Tudor, Alexis R., et al.
Veröffentlicht: (2025)

The STAR-XAI Protocol: A Framework for Inducing and Verifying Agency, Reasoning, and Reliability in AI Agents
von: Guasch, Antoni, et al.
Veröffentlicht: (2025)

Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code
von: Florath, Andreas
Veröffentlicht: (2024)