Default logic and specification of nonmonotonic reasoning

Abstract

In this paper constructions leading to the formation of belief sets by agents are studied. The focus is on the situation when possible belief sets are built incrementally in stages. An in® nite sequence of theories that represents such a process is called a reasoning trace. A set of reasoning traces describing all possible reasoning scenarios for the agent… (More)
DOI: 10.1080/09528130117278

Topics

  • Presentations referencing similar topics