IDA Dept. of Computer and Information science, Linköping University

IDA Technical Reports: abstract

Generated: Wed, 21 Mar 2018 09:43:51

Shu, H. (1992). A Preferential Logic for Reasoning with Goals and Intentions. Technical Report LiTH-IDA-R-92-34, Department of Computer and Information Science, Linköping University, Sweden. Accepted to LOGIC & CHANGE workshop at GWAI'92, Bonn september 3th 1992. (bibtex),

Abstract: This paper presents a preferential logic to be used for reasoning with goals and intentions. A preferential-model approach provides a proper framework to integrate both logical and subjective criteria adopted by a rational agent reasoning with incomplete information. However, the subjective criteria considered in the previous non-monotonic logics are rather limited. The intent of this work is the recognition of additional subjective criteria, in particular those relevant to goals and intentions. The preferential logic defined in this paper is based on a frame structure where, apart from three accessibility relations about beliefs, goals and intentions, three preferential relations on the respective accessible models are specified. Three preferential consequence relations are defined, with different degrees of integration of the preferential relations, and thus reflect different levels of subjectivism. The properties of restricted monotonicity provide some formal principles for a reactive planner to improve performance by minimizing plan revision. The development of this logic is an attempt to enrich the formal methods needed to model reasoning activities behind reactive planning.

Goto (at Linköping University): CS Dept TR Overview