Incorporating Degree of Belief, Desire and Capability into Propositional Belief Desire and Intention Logic

Please enable javascript in your browser.

Salimi, Babak | 2009

539 Viewed

Type of Document: M.Sc. Thesis
Language: Farsi
Document No: 39366 (02)
University: Sharif University of Technology
Department: Mathematical Sciences
Advisor(s): Ardeshir, Mohammad
Abstract:
Nowadays, BDI architecture is of the most well known agent’s architectures. BDI architecture or the architecture in which the system is viewed as rational agents based on the attitudes of belief, desire and intention represents an abstraction of human deliberation based on a theory of rational action in the human cognition process. BDI logic introduced by Rao and Georgeff have been widely used as the theoretical basis of specification and implementation of rational agents. BDI logic is limited to deal with crisp assertion, while the assertions encountered in real world are not precise and thus cannot be treated simply by using yes or no. Moreover, In order to obtain more human like agents we must show different levels of desire an agent may have toward achiving goals. Nevertheless, we need to incorporate degree of capability in our formalism to show less or more ability or control an agent may have over her capabilities. In this thesis we ameliorate the expressive power of BDI logic, by incorporating degrees of truth, desire and capability by the use of fuzzy propositional modal logic
Keywords:
Agent Architecture ; Human Practical Reasoning ; Belief-Desire-Intention (BDI)Logic ; Fazzy Modal Logic ; Computational Tree Temporal Logic

No TOC