In social interactions, it is common for one party to possess more or better knowledge about a specific transaction than others. In this situation, parties who are more knowledgeable might perform opportunistic behavior to others, which is against others’ interest thus leading to relationship deterioration. In this study, we propose a formal model of opportunism based on situation calculus. Spe...

In this paper, we address the problem of specifying and generating preferred plans using rich, qualitative user preferences. We propose a logical language for specifying non-Markovian preferences over the evolution of states and actions associated with a plan. The semantics for our first-order preference language is defined in the situation calculus. Unlike other recent temporal preference lang...

it is now more than four decades from providing and execution of iran’s first comprehensive urban plan. evaluation of this plan shows that the process of execution has not been successful. considering the literature review, field study as well as comparing the plan’s documents, it is thought that lack of coordination between the urban planning organizations, the manner of providing and executio...

In this paper, we address the problem of generating preferred plans by combining the procedural control knowledge specified by Hierarchical Task Networks (HTNs) with rich qualitative user preferences. The outcome of our work is a language for specifying user preferences, tailored to HTN planning, together with a provably optimal preference-based planner, HTNPLAN, that is implemented as an exten...

introduction: nowadays students’ opinion is considered as a necessary factor to evaluate quality in universities. this study was performed to evaluate the nursing students’ satisfaction about their field of study. methods: the research population in this study consists of all the students of nursing studying at the second to fourth year of university (72 students). the data were collected from ...