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.
翻译:堕落的推理研究将感知论者与在AI工作的人联系在一起,部分是因为两者都对感知理性感兴趣。虽然传统上认为它能管理信仰的形成和(同时)持有信仰,但感知理性也可以适用于与我们核心感知性调查做法有关的审问态度,例如好奇、调查和好奇。由于一般来说智能系统应该能够进行理性调查,因此大赦国际研究人员对指导审讯态度的规范自然感兴趣。在它的最近翻番之后,我们使用“Zetic”一词来指与调查能力有关的属性和规范。在本文中,我们争辩说,通过对问题-a.k.a.a.a.erotic Inference-的推断,也可以对与我们核心感知性调查做法,例如疑惑、调查和好奇等有关的质疑态度。由于一般而言,智能系统应该能够进行合理的调查,因此,对指导感知性合理性判断态度的规范具有自然利益。在它的最近出现后,我们使用“Zeticult”一词来指与调查能力相关的特性和规范。在本文中,我们认为,电学规范规范规范规范规范规范规范的规范可以通过不易的推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推,而产生出“抗失败的推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推至推推推推推推推推推推推推推推推推推推推推推至推推推至推至推至推至推至推至到“抗到“不推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推推