Cover Image

Computational Dualism and Objective Superintelligence

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Bennett, Michael Timothy
Format:	Preprint
Published:	2023
Subjects:	Artificial Intelligence Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The Optimal Choice of Hypothesis Is the Weakest, Not the Shortest
by: Bennett, Michael Timothy
Published: (2023)

Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning
by: Schön, Oliver, et al.
Published: (2026)

System ASPMT2SMT:Computing ASPMT Theories by SMT Solvers
by: Bartholomew, Michael, et al.
Published: (2025)

Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives
by: Balakrishnan, Anand, et al.
Published: (2022)

Compression is all you need: Modeling Mathematics
by: Aksenov, Vitaly, et al.
Published: (2026)

Computing unsatisfiable cores for LTLf specifications
by: Roveri, Marco, et al.
Published: (2022)

Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives
by: Belly, Marius, et al.
Published: (2024)

Dual Computational Horizons: Incompleteness and Unpredictability in Intelligent Systems
by: Ganguly, Abhisek
Published: (2025)

A Computationally Grounded Framework for Cognitive Attitudes (extended version)
by: de Lima, Tiago, et al.
Published: (2024)

Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives
by: Defresne, Marianne, et al.
Published: (2025)

Approximating Pareto Frontiers in Stochastic Multi-Objective Optimization via Hashing and Randomization
by: Li, Jinzhao, et al.
Published: (2026)

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

Abductive Reasoning in a Paraconsistent Framework
by: Bienvenu, Meghyn, et al.
Published: (2024)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
by: Joyce, Johnny
Published: (2025)

Dynamic Logic of Trust-Based Beliefs
by: Jiang, Junli, et al.
Published: (2025)

The logic of KM belief update is contained in the logic of AGM belief revision
by: Bonanno, Giacomo
Published: (2026)

Similarity-based analogical proportions
by: Antić, Christian
Published: (2024)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
by: Xu, Yang, et al.
Published: (2025)

Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System
by: D'Asaro, Fabio Aurelio, et al.
Published: (2022)

Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives
by: Ho, Qi Heng, et al.
Published: (2024)

The logic behind desirable sets of things, and its filter representation
by: de Cooman, Gert, et al.
Published: (2023)

Towards an Inferentialist Account of Information Through Proof-theoretic Semantics
by: Collinson, Matthew, et al.
Published: (2026)

On SCC-recursiveness in Quantitative Argumentation
by: Wang, Zongshun, et al.
Published: (2020)

A Simplified and Improved Free-Variable Framework for Hilbert's epsilon as an Operator of Indefinite Committed Choice
by: Wirth, Claus-Peter
Published: (2011)

Comparing Dialectical Systems: Contradiction and Counterexample in Belief Change (Extended Version)
by: Andrews, Uri, et al.
Published: (2025)

The Theory of the Unique Latent Pattern: A Formal Epistemic Framework for Structural Singularity in Complex Systems
by: Bouke, Mohamed Aly
Published: (2025)

Axiomatizing Rumsfeld Ignorance
by: Fan, Jie
Published: (2025)

The Axiom-Based Atlas: A Structural Mapping of Theorems via Foundational Proof Vectors
by: Yoo, Harim
Published: (2025)

Complexity in finitary argumentation (extended version)
by: Andrews, Uri, et al.
Published: (2025)

C-Causal Blindness
by: de Carvalho, Gonçalo Hora
Published: (2022)

Rethinking Explanations: Formalizing Contrast in Description Logics
by: Mahmood, Yasir, et al.
Published: (2026)

Queries With Exact Truth Values in Paraconsistent Description Logics
by: Bienvenu, Meghyn, et al.
Published: (2024)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
by: Lyon, Tim S., et al.
Published: (2024)

ScenicRules: An Autonomous Driving Benchmark with Multi-Objective Specifications and Abstract Scenarios
by: Chang, Kevin Kai-Chun, et al.
Published: (2026)

Artificial Intelligence and the Structure of Mathematics
by: Barkeshli, Maissam, et al.
Published: (2026)

When Agda met Vampire
by: Šinkarovs, Artjoms, et al.
Published: (2026)

Superposition with Delayed Unification
by: Bhayat, Ahmed, et al.
Published: (2024)

Analysing Temporal Reasoning in Description Logics Using Formal Grammars
by: Bourgaux, Camille, et al.
Published: (2025)

Lemmas: Generation, Selection, Application
by: Rawson, Michael, et al.
Published: (2023)

On Probabilistic and Causal Reasoning with Summation Operators
by: Ibeling, Duligur, et al.
Published: (2024)