A Defeasible Calculus for Zetetic Agents

10/11/2020
by   Jared Millson, et al.
0

The study of defeasible reasoning unites epistemologists with those working in AI, in part, because both are interested in epistemic rationality. While it is traditionally thought to govern the formation and (with)holding of beliefs, epistemic rationality may also apply to the interrogative attitudes associated with our core epistemic practice of inquiry, such as wondering, investigating, and curiosity. Since generally intelligent systems should be capable of rational inquiry, AI researchers have a natural interest in the norms that govern interrogative attitudes. Following its recent coinage, we use the term "zetetic" to refer to the properties and norms associated with the capacity to inquire. In this paper, we argue that zetetic norms can be modeled via defeasible inferences to and from questions—a.k.a erotetic inferences—in a manner similar to the way norms of epistemic rationality are represented by defeasible inference rules. We offer a sequent calculus that accommodates the unique features of "erotetic defeat" and that exhibits the computational properties needed to inform the design of zetetic agents. The calculus presented here is an improved version of the one presented in Millson (2019), extended to cover a new class of defeasible erotetic inferences.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/29/2022

A calculus for epistemic interactions

It plays a central role in intelligent agent systems to model agent's ep...
research
09/26/2013

On the Complexity of Strong and Epistemic Credal Networks

Credal networks are graph-based statistical models whose parameters take...
research
11/05/2022

A Filtering-based General Approach to Learning Rational Constraints of Epistemic Graphs

Epistemic graphs generalize the epistemic approach to probabilistic argu...
research
01/20/2022

Learning Norms via Natural Language Teachings

To interact with humans, artificial intelligence (AI) systems must under...
research
05/12/2021

Probabilistic modelling of rational communication with conditionals

While a large body of work has scrutinized the meaning of conditional se...
research
03/27/2013

Uncertainty and Incompleteness

Two major difficulties in using default logics are their intractability ...
research
02/06/2021

The Arc of the Data Scientific Universe

In this paper I explore the scaffolding of normative assumptions that su...

Please sign up or login with your details

Forgot password? Click here to reset