Formal Specifications and Analysis of an Agent-Based Model for Cognitive Aspects of Fear of Crime
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 acti...
| Principais autores: | , , |
|---|---|
| Outros Autores: | |
| Formato: | Conference or Workshop Item |
| Publicado em: |
Springer, Cham
2017
|
| Assuntos: |
| _version_ | 1825805292919586816 |
|---|---|
| author | Ab. Aziz, Azizi Mohd Shabli, Ahmad Hanis Ghanimi, Hayder M. A. |
| author2 | Amnuaisuk, Somnuk Phon |
| author_facet | Amnuaisuk, Somnuk Phon Ab. Aziz, Azizi Mohd Shabli, Ahmad Hanis Ghanimi, Hayder M. A. |
| author_sort | Ab. Aziz, Azizi |
| collection | UUM |
| description | 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. |
| first_indexed | 2024-07-04T06:29:54Z |
| format | Conference or Workshop Item |
| id | uum-25464 |
| institution | Universiti Utara Malaysia |
| last_indexed | 2024-07-04T06:29:54Z |
| publishDate | 2017 |
| publisher | Springer, Cham |
| record_format | eprints |
| spelling | uum-254642019-01-22T07:02:51Z https://repo.uum.edu.my/id/eprint/25464/ Formal Specifications and Analysis of an Agent-Based Model for Cognitive Aspects of Fear of Crime Ab. Aziz, Azizi Mohd Shabli, Ahmad Hanis Ghanimi, Hayder M. A. QA75 Electronic computers. Computer science 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. Springer, Cham Amnuaisuk, Somnuk Phon Soo, Swee-Peng Ang Lee, Young 2017 Conference or Workshop Item PeerReviewed 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. http://doi.org/10.1007/978-3-319-69456-6_28 doi:10.1007/978-3-319-69456-6_28 doi:10.1007/978-3-319-69456-6_28 |
| spellingShingle | QA75 Electronic computers. Computer science Ab. Aziz, Azizi Mohd Shabli, Ahmad Hanis Ghanimi, Hayder M. A. Formal Specifications and Analysis of an Agent-Based Model for Cognitive Aspects of Fear of Crime |
| title | Formal Specifications and Analysis of an Agent-Based Model for Cognitive Aspects of Fear of Crime |
| title_full | Formal Specifications and Analysis of an Agent-Based Model for Cognitive Aspects of Fear of Crime |
| title_fullStr | Formal Specifications and Analysis of an Agent-Based Model for Cognitive Aspects of Fear of Crime |
| title_full_unstemmed | Formal Specifications and Analysis of an Agent-Based Model for Cognitive Aspects of Fear of Crime |
| title_short | Formal Specifications and Analysis of an Agent-Based Model for Cognitive Aspects of Fear of Crime |
| title_sort | formal specifications and analysis of an agent based model for cognitive aspects of fear of crime |
| topic | QA75 Electronic computers. Computer science |
| work_keys_str_mv | AT abazizazizi formalspecificationsandanalysisofanagentbasedmodelforcognitiveaspectsoffearofcrime AT mohdshabliahmadhanis formalspecificationsandanalysisofanagentbasedmodelforcognitiveaspectsoffearofcrime AT ghanimihayderma formalspecificationsandanalysisofanagentbasedmodelforcognitiveaspectsoffearofcrime |