Default logic and specification of nonmonotonic reasoning


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


  • Presentations referencing similar topics