UUM Repository | Universiti Utara Malaysian Institutional Repository
FAQs | Feedback | Search Tips | Sitemap

Formal Specifications and Analysis of an Agent-Based Model for Cognitive Aspects of Fear of Crime

Ab. Aziz, Azizi and Mohd Shabli, Ahmad Hanis and Ghanimi, Hayder M. A. (2017) Formal Specifications and Analysis of an Agent-Based Model for Cognitive Aspects of Fear of Crime. In: International Workshop on Multi-disciplinary Trends in Artificial Intelligence.

Full text not available from this repository. (Request a copy)


This paper presents a cognitive agent model of fear of crime. The proposed model takes personality, environment, and perception of several events as input and calculates internal factors related to cognitive fear of crime, such as the belief about safety, community trust and likelihood of crime activities, and how they affect individual fear of crime. Simulation results suggest that community level of fear of crime and trust may emerge as the outcome of individuals’ reaction towards perception of crime activities related to their exogenous properties. In addition, a formal approach is put forward to evaluate the behaviours of the proposed model by means of formal techniques namely; mathematical analysis, parameter evaluation, and automated logical verification. The first and second approaches analyse the equilibria conditions and follow by automatically checking a number of expected properties as depicted in the literature. One of the major contributions of this model is the possibility that an analytical engine could be further developed to support community wellbeing.

Item Type: Conference or Workshop Item (Paper)
Uncontrolled Keywords: Agent-based modeling Cognitive analysis of fear of crime Crime analytics Decision support systems
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions: School of Computing
Depositing User: Mrs. Norazmilah Yaakub
Date Deposited: 22 Jan 2019 07:02
Last Modified: 22 Jan 2019 07:02
URI: http://repo.uum.edu.my/id/eprint/25464

Actions (login required)

View Item View Item