Genetic Programming and Genetic Algorithms for Propositions
In this paper we propose a mechanism to discover the compound proposition solutions for a given truth table without knowing the compound propositions that lead to the truth table results. The approach is based on two proposed algorithms, the first is called Producing Formula (PF) algorithm which is...
Main Author: | Nabil M. HEWAHI |
---|---|
Format: | Article |
Language: | English |
Published: |
Stefan cel Mare University of Suceava
2012-01-01
|
Series: | Journal of Applied Computer Science & Mathematics |
Subjects: | |
Online Access: | http://jacs.usv.ro/getpdf.php?paperid=13_5 |
Similar Items
-
Interpolation Property on Visser's Formal Propositional Logic
by: Majid Alizadeh, et al.
Published: (2022-09-01) -
The Logic of Khārijī Propositions
by: Asadollah Fallahi
Published: (2023-08-01) -
Alternative modeling schemes for propositional calculus problem
by: Anupama Chanda, et al.
Published: (2016-08-01) -
Propositional Kernels
by: Mirko Polato, et al.
Published: (2021-08-01) -
A Deletion Algorithm for the Marginal Problem in Propositional Logic Based on Boolean Arrays
by: Efraín Díaz-Macías, et al.
Published: (2023-06-01)