A Three-valued Logic Approach for Edge Detection Using Cellular Automata

被引:0
|
作者
Cuellar, Manuel P. [1 ]
Rueda, Ramon [1 ]
Ruiz, Luis G. Baca [1 ]
Pegalajar, Maria Del Carmen [1 ]
机构
[1] Univ Granada, Dept Comp Sci & Artificial Intelligence, Granada, Spain
关键词
Cellular automata; edge detection; genetic programming; straight line programs; 3VL;
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
In this paper, we propose a novel method of edge detection in grayscale images using cellular automata. We use genetic programming to train Straight Line Programs that model Well-Formed Formula in a three-valued logic system. These formula are the rules that govern the behaviour of cellular automata. Unlike previous approaches of cellular automata for edge detection, we take advantage of explicit gradient direction information to find the best rule that accomplishes the task. Comparisons with previous works in the experimentation are carried out using the USF benchmark dataset, and show that the proposal overcomes some limitations of state-of-the-art cellular automata methods for edge detection.
引用
收藏
页码:407 / 438
页数:32
相关论文
共 50 条
  • [21] Implicatively Implicit Extensions in Three-Valued Logic
    S. S. Marchenkov
    [J]. Moscow University Computational Mathematics and Cybernetics, 2024, 48 (1) : 7 - 14
  • [22] Correlation immunity of three-valued logic functions
    Sokolov, A., V
    Zhdanov, O. N.
    [J]. JOURNAL OF DISCRETE MATHEMATICAL SCIENCES & CRYPTOGRAPHY, 2022, 25 (06): : 1649 - 1665
  • [23] BOURNE ON FUTURE CONTINGENTS AND THREE-VALUED LOGIC
    Kachi, Daisuke
    [J]. LOGIC AND LOGICAL PHILOSOPHY, 2009, 18 (01) : 33 - 43
  • [24] Three-valued logic in bounded model checking
    Schuele, T
    Schneider, K
    [J]. THIRD ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2005, : 177 - 186
  • [25] A Three-Valued Semantics for Typed Logic Programming
    Barbosa, Joao
    Florido, Mario
    Costa, Vitor Santos
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (306): : 36 - 51
  • [26] Positively closed classes of three-valued logic
    Marchenkov S.S.
    [J]. Marchenkov, S. S. (ssmarchen@yandex.ru), 1600, Izdatel'stvo Nauka (08): : 256 - 266
  • [27] A three-valued temporal logic for future contingents
    Akama, Seiki
    Nagata, Yasunori
    Yamada, Chikatoshi
    [J]. LOGIQUE ET ANALYSE, 2007, (198) : 99 - 111
  • [28] Three-valued logic, indeterminacy and quantum mechanics
    Bigal, T
    [J]. JOURNAL OF PHILOSOPHICAL LOGIC, 2001, 30 (02) : 97 - 119
  • [29] Algebraization of the three-valued BCK-logic
    Olmedo, FMG
    Salas, AJR
    [J]. MATHEMATICAL LOGIC QUARTERLY, 2002, 48 (02) : 163 - 178
  • [30] Erotetic Search Scenarios and Three-Valued Logic
    Dorota Leszczyńska-Jasion
    Paweł Łupkowski
    [J]. Journal of Logic, Language and Information, 2016, 25 : 51 - 76