Problems of Constructing Intelligent Systems. Intelligent Modeling

Meytus, Volodymyr Yu.

doi:10.1007/s10559-021-00376-4

Cited by 3 publications

(2 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The formula ◇ reads and interprets as “it is Possible that Diamond”. These symbols relate with equivalence ☐ ≡ ¬ ◇¬ , and theoretically predicate further [ 4 ].…”

Section: Introductionmentioning

confidence: 99%

“… This study looked at a classical truth logic of multi-propositions that is new in some ways: [ 1 ] Alethic modalities were mixed with logical consistency and incompatibility in a single plate form, i.e., necessary consistency (NC), possible consistency (PC)/ possible incompatibility (PI) and impossible incompatibility (IPI); [ 2 ] multi-propositions were judged by individuals as either NC, PC/PI, or IPI; [ 3 ] Four quantifiers; All (∀), No (∼∀), Some (∃), and Some Not (∼∃) of four propositional modes and three shapes ( , ▱ and ) are used to evaluate predictions; and [ 4 ] it inspired by multi-propositional of dual-process theories (DPTs) of deduction and modal syllogistic of multi-propositions, from which logicians have derived general hypotheses. HP 1- Individuals will more likely to endorse inferences as PC/PI rather than NC.…”

mentioning

confidence: 99%

See 1 more Smart Citation

An experimental study of classical truth logic on multi-propositions consistent and incompatible: Dual-process theories and modal syllogistic of deduction

Waheed,

Habib

2024

PLoS ONE

View full text Add to dashboard Cite

This study looked at a classical truth logic of multi-propositions that is new in some ways: [1] Alethic modalities were mixed with logical consistency and incompatibility in a single plate form, i.e., necessary consistency (NC), possible consistency (PC)/ possible incompatibility (PI) and impossible incompatibility (IPI); [2] multi-propositions were judged by individuals as either NC, PC/PI, or IPI; [3] Four quantifiers; All (∀), No (∼∀), Some (∃), and Some Not (∼∃) of four propositional modes and three shapes (, ▱ and ) are used to evaluate predictions; and [4] it inspired by multi-propositional of dual-process theories (DPTs) of deduction and modal syllogistic of multi-propositions, from which logicians have derived general hypotheses. HP 1- Individuals will more likely to endorse inferences as PC/PI rather than NC. HP 2: It’s easier to calculate that inference has PC/ PI if it has also NC. Generally, logicians predict more endorsing PC for NC than for PI proposition. HP 3: It’s easier to calculate that inference is not NC if it is also not PC. Generally, logicians predict more PI than IPI proposition endorses as NC. A modal syllogistic as a classical truth logic is presented by multi-propositions (two premises and one inference), each one from four modes has quantifiers such as universal quantifiers and existential quantifier; ∀, ∼∀, ∃, and ∼ ∃. They were evaluated by a single-mental model (Experiment I) and a multi-mental model (Experiment II). Logicians applied the immediate inference task (IIT), evaluation task (ET), and production task (PT) to evaluate three experiments. The results of the experiments suggested that students mostly endorsed PC/PI inferences over NC inferences. Even when logicians divided PC/PI separately as PC and PI, individuals endorsed PC most likely as compared to NC, and PI than IPI. Logicians also highlighted fallacies that were continuously resisted and endorsed when students were asked to judge multi-propositions that had NC. The purpose of this experimental study is to present a glimpse of students’ endorsement of multi-propositions and explain that each individual has a different working memory and intelligence.

show abstract

“…The formula ◇ reads and interprets as “it is Possible that Diamond”. These symbols relate with equivalence ☐ ≡ ¬ ◇¬ , and theoretically predicate further [ 4 ].…”

Section: Introductionmentioning

confidence: 99%

mentioning

confidence: 99%

An experimental study of classical truth logic on multi-propositions consistent and incompatible: Dual-process theories and modal syllogistic of deduction

Waheed,

Habib

2024

PLoS ONE

View full text Add to dashboard Cite

show abstract

Intelligent Decision-Support System for Epidemiological Diagnostics. II. Information Technologies Development*, **

et al. 2022

View full text Add to dashboard Cite

The article projects the components of the intelligent decision support system for epidemiological diagnostics and investigates their interaction with the user. The system includes a bank of models and machine learning methods, a bank of population dynamics models, visualization and reporting tools, and management decision-making unit. The concept of information technology to ensure biosafety of the population is provided. A model of specified information technology use cases is developed and a sequence diagram is constructed. A model of information technology components and ways of their deployment on a server are proposed.

show abstract

Functional Programming of Intelligent Systems

Meitus,

De Blas

2023

Wseas Transactions on Information Science and Applications

View full text Add to dashboard Cite

An intelligent system is a system that uses intelligence to shape its behavior in its environment. This intelligence depends on the following main factors: the first is the ability of the system to model the environment with which the system interacts. The second factor: using this model to successfully plan and solve problems that determine the behavior of the system in the environment in order to achieve the goals set for the system. Modeling of the environment is based on the use of knowledge about the environment and its components, which the system collects using its sensors and organs, as well as the knowledge base, which stores information previously collected or incorporated during the development of the system. This information in the form of knowledge uses various forms of mathematical structures that form the basis of the model, logic and ontology that are part of the knowledge representation. Problem solving applies either previous experience, or uses a logical conclusion, based on the logic embedded in the system during its development, or ontological description, included in the representation of knowledge and relationships between elements. When developing an intelligent system, you can apply the methods and tools of functional programming as a way to represent the development of a particular system, and analyze its capabilities and efficiency at the computational level.

show abstract

Problems of Constructing Intelligent Systems. Intelligent Modeling

Cited by 3 publications

References 12 publications

An experimental study of classical truth logic on multi-propositions consistent and incompatible: Dual-process theories and modal syllogistic of deduction

An experimental study of classical truth logic on multi-propositions consistent and incompatible: Dual-process theories and modal syllogistic of deduction

Intelligent Decision-Support System for Epidemiological Diagnostics. II. Information Technologies Development*, **

Functional Programming of Intelligent Systems

Contact Info

Product

Resources

About