Answer set programming is an approach that has recently gained a lot of popularity in solving complex
problems due to its efficient knowledge representation and reasoning. Knowledge is represented as answer
set programs, and reasoning is performed by answer set solvers. Answer set programming enables default
reasoning, which is required in commonsense reasoning. In this paper, we discuss the potential role of
answer set programming (ASP) in the context of approaches to the development of agents especially in the
realm of Computational Logic. So, we focus on the usage of DLV for solving problems in a declarative
manner particularly, in the solution of the game “connect four”. Additionally, we present the solution to
this same problem from Clingo's perspective. We address this challenge with the ASP system clingo and its
grounding and solving components by equipping them with well-defined generic interfaces facilitating the
manifold integration efforts.
MODELLING OF INTELLIGENT AGENTS USING A–PROLOGijaia
Nowadays, research in artificial intelligence has widely grown in areas such as knowledge representation,
goal-directed behaviour and knowledge reusability, all of them directly relevant to improving intelligent
agents in computer games. In a particular way, we focus on the development of a novel algorithm that
allow an agent to combine fundamental theories such as reasoning, learning and simulation. This
algorithm combines a system of logical rules and a simulation mechanism based on learning that makes
our agent has an infallible mechanism for decision-making into the game “connect four”. The logic system
is developed in a modelling language known as Answer Set Programming or A–Prolog. This paradigm is
the integration of two well-known languages, namely Prolog and ASP.
OPENING RANGE BREAKOUT STOCK TRADING ALGORITHMIC MODELIJCI JOURNAL
Stock Trading Algorithmic Model is an important research problem that is dealt with knowledge in
fundamental and technical analysis, combined with the knowledge expertise in programming and computer
science. There have been numerous attempts in predicting stock trends, we aim to predict it with least
amount of computation and to decrease the space complexity. The goal of this paper is to create a hybrid
recommendation system that will inform the trader about the future of a stock trend in order to improve the
profitability of a short term investment. We make use of technical analysis tools to incorporate this
recommendation into our system. In order to understand the results, we implemented a prototype in R
programming language.
MODELLING OF INTELLIGENT AGENTS USING A–PROLOGijaia
Nowadays, research in artificial intelligence has widely grown in areas such as knowledge representation,
goal-directed behaviour and knowledge reusability, all of them directly relevant to improving intelligent
agents in computer games. In a particular way, we focus on the development of a novel algorithm that
allow an agent to combine fundamental theories such as reasoning, learning and simulation. This
algorithm combines a system of logical rules and a simulation mechanism based on learning that makes
our agent has an infallible mechanism for decision-making into the game “connect four”. The logic system
is developed in a modelling language known as Answer Set Programming or A–Prolog. This paradigm is
the integration of two well-known languages, namely Prolog and ASP.
OPENING RANGE BREAKOUT STOCK TRADING ALGORITHMIC MODELIJCI JOURNAL
Stock Trading Algorithmic Model is an important research problem that is dealt with knowledge in
fundamental and technical analysis, combined with the knowledge expertise in programming and computer
science. There have been numerous attempts in predicting stock trends, we aim to predict it with least
amount of computation and to decrease the space complexity. The goal of this paper is to create a hybrid
recommendation system that will inform the trader about the future of a stock trend in order to improve the
profitability of a short term investment. We make use of technical analysis tools to incorporate this
recommendation into our system. In order to understand the results, we implemented a prototype in R
programming language.
Learning of Soccer Player Agents Using a Policy Gradient Method : Coordinatio...Waqas Tariq
As an example of multi-agent learning in soccer games of the RoboCup 2D Soccer Simulation League, we dealt with a learning problem between a kicker and a receiver when a direct free kick is awarded just outside the opponent's penalty area. We propose how to use a heuristic function to evaluate an advantageous target point for safely sending/receiving a pass and scoring. The heuristics include an interaction term between a kicker and a receiver to intensify their coordination. To calculate the interaction term, we let a kicker/receiver agent have a receiver's/kicker's action decision model to predict a receiver's/kicker's action. Parameters in the heuristic function can be learned by a kind of reinforcement learning called the policy gradient method. Our experiments show that if the two agents do not have the same type of heuristics, the interaction term based on prediction of a teammate's decision model leads to learning a master-servant relation between a kicker and a receiver, where a receiver is a master and a kicker is a servant.
Story boarding, Handwritten recognition, Inductive, subductive, abductive met...Faisal Shahzad Khan
This assignments includes
Story boarding,
Handwritten recognition,
Inductive, subductive, abductive methods,
color theory,
eight golden rule of designing
Expert System Lecture Notes Chapter 1,2,3,4,5 - Dr.J.VijiPriyaVijiPriya Jeyamani
Chapter 1 Introduction to AI
Chapter 2 Introduction to Expert Systems
Chapter 3 Knowledge Representation
Chapter 4 Inference Methods and Reasoning
Chapter 5 Expert System Design and Pattern Matching
Intelligent agents in ontology-based applicationsinfopapers
F. Stoica, I. Pah, Intelligent agents in ontology-based applications, Proceedings of the 12th WSEAS International Conference on COMPUTERS, Heraklion, Greece, July 23-25, ISBN: 978-960-6766-85-5, ISSN: 1790-5109, pp. 274-279, 2008
We consider knowledge as a refined kind of information, more general than that found in convention databases. But it may be incomplete or fuzzy as well. We may think of knowledge as a collection of related facts, procedures, models and heuristics that can be used in problem solving or inference systems.[
In this PDF you will find the basics of Turbo Prolog 2.0 with some good program and it's output. Also it's second part is coming in next month or week.
For any query ------------------> sohupatel8828@gmail.com
For programs ----------------> https://github.com/UltraHopeful/Turbo-Prolog-2.0
International Conference on NLP, Artificial Intelligence, Machine Learning an...gerogepatton
International Conference on NLP, Artificial Intelligence, Machine Learning and Applications (NLAIM 2024) offers a premier global platform for exchanging insights and findings in the theory, methodology, and applications of NLP, Artificial Intelligence, Machine Learning, and their applications. The conference seeks substantial contributions across all key domains of NLP, Artificial Intelligence, Machine Learning, and their practical applications, aiming to foster both theoretical advancements and real-world implementations. With a focus on facilitating collaboration between researchers and practitioners from academia and industry, the conference serves as a nexus for sharing the latest developments in the field.
DEEP LEARNING FOR SMART GRID INTRUSION DETECTION: A HYBRID CNN-LSTM-BASED MODELgerogepatton
As digital technology becomes more deeply embedded in power systems, protecting the communication
networks of Smart Grids (SG) has emerged as a critical concern. Distributed Network Protocol 3 (DNP3)
represents a multi-tiered application layer protocol extensively utilized in Supervisory Control and Data
Acquisition (SCADA)-based smart grids to facilitate real-time data gathering and control functionalities.
Robust Intrusion Detection Systems (IDS) are necessary for early threat detection and mitigation because
of the interconnection of these networks, which makes them vulnerable to a variety of cyberattacks. To
solve this issue, this paper develops a hybrid Deep Learning (DL) model specifically designed for intrusion
detection in smart grids. The proposed approach is a combination of the Convolutional Neural Network
(CNN) and the Long-Short-Term Memory algorithms (LSTM). We employed a recent intrusion detection
dataset (DNP3), which focuses on unauthorized commands and Denial of Service (DoS) cyberattacks, to
train and test our model. The results of our experiments show that our CNN-LSTM method is much better
at finding smart grid intrusions than other deep learning algorithms used for classification. In addition,
our proposed approach improves accuracy, precision, recall, and F1 score, achieving a high detection
accuracy rate of 99.50%.
More Related Content
Similar to ANSWER SET PROGRAMMING (DLV – CLINGO):CONNECT 4 SOLVER
Learning of Soccer Player Agents Using a Policy Gradient Method : Coordinatio...Waqas Tariq
As an example of multi-agent learning in soccer games of the RoboCup 2D Soccer Simulation League, we dealt with a learning problem between a kicker and a receiver when a direct free kick is awarded just outside the opponent's penalty area. We propose how to use a heuristic function to evaluate an advantageous target point for safely sending/receiving a pass and scoring. The heuristics include an interaction term between a kicker and a receiver to intensify their coordination. To calculate the interaction term, we let a kicker/receiver agent have a receiver's/kicker's action decision model to predict a receiver's/kicker's action. Parameters in the heuristic function can be learned by a kind of reinforcement learning called the policy gradient method. Our experiments show that if the two agents do not have the same type of heuristics, the interaction term based on prediction of a teammate's decision model leads to learning a master-servant relation between a kicker and a receiver, where a receiver is a master and a kicker is a servant.
Story boarding, Handwritten recognition, Inductive, subductive, abductive met...Faisal Shahzad Khan
This assignments includes
Story boarding,
Handwritten recognition,
Inductive, subductive, abductive methods,
color theory,
eight golden rule of designing
Expert System Lecture Notes Chapter 1,2,3,4,5 - Dr.J.VijiPriyaVijiPriya Jeyamani
Chapter 1 Introduction to AI
Chapter 2 Introduction to Expert Systems
Chapter 3 Knowledge Representation
Chapter 4 Inference Methods and Reasoning
Chapter 5 Expert System Design and Pattern Matching
Intelligent agents in ontology-based applicationsinfopapers
F. Stoica, I. Pah, Intelligent agents in ontology-based applications, Proceedings of the 12th WSEAS International Conference on COMPUTERS, Heraklion, Greece, July 23-25, ISBN: 978-960-6766-85-5, ISSN: 1790-5109, pp. 274-279, 2008
We consider knowledge as a refined kind of information, more general than that found in convention databases. But it may be incomplete or fuzzy as well. We may think of knowledge as a collection of related facts, procedures, models and heuristics that can be used in problem solving or inference systems.[
In this PDF you will find the basics of Turbo Prolog 2.0 with some good program and it's output. Also it's second part is coming in next month or week.
For any query ------------------> sohupatel8828@gmail.com
For programs ----------------> https://github.com/UltraHopeful/Turbo-Prolog-2.0
International Conference on NLP, Artificial Intelligence, Machine Learning an...gerogepatton
International Conference on NLP, Artificial Intelligence, Machine Learning and Applications (NLAIM 2024) offers a premier global platform for exchanging insights and findings in the theory, methodology, and applications of NLP, Artificial Intelligence, Machine Learning, and their applications. The conference seeks substantial contributions across all key domains of NLP, Artificial Intelligence, Machine Learning, and their practical applications, aiming to foster both theoretical advancements and real-world implementations. With a focus on facilitating collaboration between researchers and practitioners from academia and industry, the conference serves as a nexus for sharing the latest developments in the field.
DEEP LEARNING FOR SMART GRID INTRUSION DETECTION: A HYBRID CNN-LSTM-BASED MODELgerogepatton
As digital technology becomes more deeply embedded in power systems, protecting the communication
networks of Smart Grids (SG) has emerged as a critical concern. Distributed Network Protocol 3 (DNP3)
represents a multi-tiered application layer protocol extensively utilized in Supervisory Control and Data
Acquisition (SCADA)-based smart grids to facilitate real-time data gathering and control functionalities.
Robust Intrusion Detection Systems (IDS) are necessary for early threat detection and mitigation because
of the interconnection of these networks, which makes them vulnerable to a variety of cyberattacks. To
solve this issue, this paper develops a hybrid Deep Learning (DL) model specifically designed for intrusion
detection in smart grids. The proposed approach is a combination of the Convolutional Neural Network
(CNN) and the Long-Short-Term Memory algorithms (LSTM). We employed a recent intrusion detection
dataset (DNP3), which focuses on unauthorized commands and Denial of Service (DoS) cyberattacks, to
train and test our model. The results of our experiments show that our CNN-LSTM method is much better
at finding smart grid intrusions than other deep learning algorithms used for classification. In addition,
our proposed approach improves accuracy, precision, recall, and F1 score, achieving a high detection
accuracy rate of 99.50%.
10th International Conference on Artificial Intelligence and Applications (AI...gerogepatton
10th International Conference on Artificial Intelligence and Applications (AI 2024) will provide an excellent international forum for sharing knowledge and results in theory, methodology and applications of Artificial Intelligence and its applications. The Conference looks for significant contributions to all major fields of the Artificial Intelligence, Soft Computing in theoretical and practical aspects. The aim of the Conference is to provide a platform to the researchers and practitioners from both academia as well as industry to meet and share cutting-edge development in the field.
International Journal of Artificial Intelligence & Applications (IJAIA)gerogepatton
The International Journal of Artificial Intelligence & Applications (IJAIA) is a bi monthly open access peer-reviewed journal that publishes articles which contribute new results in all areas of the Artificial Intelligence & Applications (IJAIA). It is an international journal intended for professionals and researchers in all fields of AI for researchers, programmers, and software and hardware manufacturers. The journal also aims to publish new attempts in the form of special issues on emerging areas in Artificial Intelligence and applications.
Immunizing Image Classifiers Against Localized Adversary Attacksgerogepatton
This paper addresses the vulnerability of deep learning models, particularly convolutional neural networks
(CNN)s, to adversarial attacks and presents a proactive training technique designed to counter them. We
introduce a novel volumization algorithm, which transforms 2D images into 3D volumetric representations.
When combined with 3D convolution and deep curriculum learning optimization (CLO), itsignificantly improves
the immunity of models against localized universal attacks by up to 40%. We evaluate our proposed approach
using contemporary CNN architectures and the modified Canadian Institute for Advanced Research (CIFAR-10
and CIFAR-100) and ImageNet Large Scale Visual Recognition Challenge (ILSVRC12) datasets, showcasing
accuracy improvements over previous techniques. The results indicate that the combination of the volumetric
input and curriculum learning holds significant promise for mitigating adversarial attacks without necessitating
adversary training.
May 2024 - Top 10 Read Articles in Artificial Intelligence and Applications (...gerogepatton
The International Journal of Artificial Intelligence & Applications (IJAIA) is a bi monthly open access peer-reviewed journal that publishes articles which contribute new results in all areas of the Artificial Intelligence & Applications (IJAIA). It is an international journal intended for professionals and researchers in all fields of AI for researchers, programmers, and software and hardware manufacturers. The journal also aims to publish new attempts in the form of special issues on emerging areas in Artificial Intelligence and applications.
3rd International Conference on Artificial Intelligence Advances (AIAD 2024)gerogepatton
3rd International Conference on Artificial Intelligence Advances (AIAD 2024) will act as a major forum for the presentation of innovative ideas, approaches, developments, and research projects in the area advanced Artificial Intelligence. It will also serve to facilitate the exchange of information between researchers and industry professionals to discuss the latest issues and advancement in the research area. Core areas of AI and advanced multi-disciplinary and its applications will be covered during the conferences.
International Journal of Artificial Intelligence & Applications (IJAIA)gerogepatton
The International Journal of Artificial Intelligence & Applications (IJAIA) is a bi monthly open access peer-reviewed journal that publishes articles which contribute new results in all areas of the Artificial Intelligence & Applications (IJAIA). It is an international journal intended for professionals and researchers in all fields of AI for researchers, programmers, and software and hardware manufacturers. The journal also aims to publish new attempts in the form of special issues on emerging areas in Artificial Intelligence and applications.
Information Extraction from Product Labels: A Machine Vision Approachgerogepatton
This research tackles the challenge of manual data extraction from product labels by employing a blend of
computer vision and Natural Language Processing (NLP). We introduce an enhanced model that combines
Convolutional Neural Networks (CNN) and Recurrent Neural Networks (RNN) in a Convolutional
Recurrent Neural Network (CRNN) for reliable text recognition. Our model is further refined by
incorporating the Tesseract OCR engine, enhancing its applicability in Optical Character Recognition
(OCR) tasks. The methodology is augmented by NLP techniques and extended through the Open Food
Facts API (Application Programming Interface) for database population and text-only label prediction.
The CRNN model is trained on encoded labels and evaluated for accuracy on a dedicated test set.
Importantly, our approach enables visually impaired individuals to access essential information on
product labels, such as directions and ingredients. Overall, the study highlights the efficacy of deep
learning and OCR in automating label extraction and recognition.
10th International Conference on Artificial Intelligence and Applications (AI...gerogepatton
10th International Conference on Artificial Intelligence and Applications (AI 2024) will provide an excellent international forum for sharing knowledge and results in theory, methodology and applications of Artificial Intelligence and its applications. The Conference looks for significant contributions to all major fields of the Artificial Intelligence, Soft Computing in theoretical and practical aspects. The aim of the Conference is to provide a platform to the researchers and practitioners from both academia as well as industry to meet and share cutting-edge development in the field.
International Journal of Artificial Intelligence & Applications (IJAIA)gerogepatton
The International Journal of Artificial Intelligence & Applications (IJAIA) is a bi monthly open access peer-reviewed journal that publishes articles which contribute new results in all areas of the Artificial Intelligence & Applications (IJAIA). It is an international journal intended for professionals and researchers in all fields of AI for researchers, programmers, and software and hardware manufacturers. The journal also aims to publish new attempts in the form of special issues on emerging areas in Artificial Intelligence and applications.
Research on Fuzzy C- Clustering Recursive Genetic Algorithm based on Cloud Co...gerogepatton
Aiming at the problems of poor local search ability and precocious convergence of fuzzy C-cluster
recursive genetic algorithm (FOLD++), a new fuzzy C-cluster recursive genetic algorithm based on
Bayesian function adaptation search (TS) was proposed by incorporating the idea of Bayesian function
adaptation search into fuzzy C-cluster recursive genetic algorithm. The new algorithm combines the
advantages of FOLD++ and TS. In the early stage of optimization, fuzzy C-cluster recursive genetic
algorithm is used to get a good initial value, and the individual extreme value pbest is put into Bayesian
function adaptation table. In the late stage of optimization, when the searching ability of fuzzy C-cluster
recursive genetic is weakened, the short term memory function of Bayesian function adaptation table in
Bayesian function adaptation search algorithm is utilized. Make it jump out of the local optimal solution,
and allow bad solutions to be accepted during the search. The improved algorithm is applied to function
optimization, and the simulation results show that the calculation accuracy and stability of the algorithm
are improved, and the effectiveness of the improved algorithm is verified
International Journal of Artificial Intelligence & Applications (IJAIA)gerogepatton
The International Journal of Artificial Intelligence & Applications (IJAIA) is a bi monthly open access peer-reviewed journal that publishes articles which contribute new results in all areas of the Artificial Intelligence & Applications (IJAIA). It is an international journal intended for professionals and researchers in all fields of AI for researchers, programmers, and software and hardware manufacturers. The journal also aims to publish new attempts in the form of special issues on emerging areas in Artificial Intelligence and applications.
10th International Conference on Artificial Intelligence and Soft Computing (...gerogepatton
10th International Conference on Artificial Intelligence and Soft Computing (AIS 2024) will
provide an excellent international forum for sharing knowledge and results in theory, methodology, and
applications of Artificial Intelligence, Soft Computing. The Conference looks for significant
contributions to all major fields of the Artificial Intelligence, Soft Computing in theoretical and practical
aspects. The aim of the Conference is to provide a platform to the researchers and practitioners from
both academia as well as industry to meet and share cutting-edge development in the field.
International Journal of Artificial Intelligence & Applications (IJAIA)gerogepatton
Employee attrition refers to the decrease in staff numbers within an organization due to various reasons.
As it has a negative impact on long-term growth objectives and workplace productivity, firms have
recognized it as a significant concern. To address this issue, organizations are increasingly turning to
machine-learning approaches to forecast employee attrition rates. This topic has gained significant
attention from researchers, especially in recent times. Several studies have applied various machinelearning methods to predict employee attrition, producing different resultsdepending on the employed
methods, factors, and datasets. However, there has been no comprehensive comparative review of multiple
studies applying machine-learning models to predict employee attrition to date. Therefore, this study aims
to fill this gap by providing an overview of research conducted on applying machine learning to predict
employee attrition from 2019 to February 2024. A literature review of relevant studies was conducted,
summarized, and classified. Most studies agree on conducting comparative experiments with multiple
predictive models to determine the most effective one.From this literature survey, the RF algorithm and
XGB ensemble method are repeatedly the best-performing, outperforming many other algorithms.
Additionally, the application of deep learning to employee attrition prediction issues also shows promise.
While there are discrepancies in the datasets used in previous studies, it is notable that the dataset
provided by IBM is the most widely utilized. This study serves as a concise review for new researchers,
facilitating their understanding of the primary techniques employed in predicting employee attrition and
highlighting recent research trends in this field. Furthermore, it provides organizations with insight into
the prominent factors affecting employee attrition, as identified by studies, enabling them to implement
solutions aimed at reducing attrition rates.
10th International Conference on Artificial Intelligence and Applications (AI...gerogepatton
10th International Conference on Artificial Intelligence and Applications (AIFU 2024) is a forum for presenting new advances and research results in the fields of Artificial Intelligence. The conference will bring together leading researchers, engineers and scientists in the domain of interest from around the world. The scope of the conference covers all theoretical and practical aspects of the Artificial Intelligence.
International Journal of Artificial Intelligence & Applications (IJAIA)gerogepatton
The International Journal of Artificial Intelligence & Applications (IJAIA) is a bi monthly open access peer-reviewed journal that publishes articles which contribute new results in all areas of the Artificial Intelligence & Applications (IJAIA). It is an international journal intended for professionals and researchers in all fields of AI for researchers, programmers, and software and hardware manufacturers. The journal also aims to publish new attempts in the form of special issues on emerging areas in Artificial Intelligence and applications.
THE TRANSFORMATION RISK-BENEFIT MODEL OF ARTIFICIAL INTELLIGENCE:BALANCING RI...gerogepatton
This paper summarizes the most cogent advantages and risks associated with Artificial Intelligence from an
in-depth review of the literature. Then the authors synthesize the salient risk-related models currently being
used in AI, technology and business-related scenarios. Next, in view of an updated context of AI along with
theories and models reviewed and expanded constructs, the writers propose a new framework called “The
Transformation Risk-Benefit Model of Artificial Intelligence” to address the increasing fears and levels of
AIrisk. Using the model characteristics, the article emphasizes practical and innovative solutions where
benefitsoutweigh risks and three use cases in healthcare, climate change/environment and cyber security to
illustrate unique interplay of principles, dimensions and processes of this powerful AI transformational
model.
13th International Conference on Software Engineering and Applications (SEA 2...gerogepatton
13th International Conference on Software Engineering and Applications (SEA 2024) will provide an excellent international forum for sharing knowledge and results in theory, methodology and applications of Software Engineering and Applications. The goal of this conference is to bring together researchers and practitioners from academia and industry to focus on understanding Modern software engineering concepts and establishing new collaborations in these areas.
International Journal of Artificial Intelligence & Applications (IJAIA)gerogepatton
The International Journal of Artificial Intelligence & Applications (IJAIA) is a bi monthly open access peer-reviewed journal that publishes articles which contribute new results in all areas of the Artificial Intelligence & Applications (IJAIA). It is an international journal intended for professionals and researchers in all fields of AI for researchers, programmers, and software and hardware manufacturers. The journal also aims to publish new attempts in the form of special issues on emerging areas in Artificial Intelligence and applications.
Ever been troubled by the blinking sign and didn’t know what to do?
Here’s a handy guide to dashboard symbols so that you’ll never be confused again!
Save them for later and save the trouble!
Symptoms like intermittent starting and key recognition errors signal potential problems with your Mercedes’ EIS. Use diagnostic steps like error code checks and spare key tests. Professional diagnosis and solutions like EIS replacement ensure safe driving. Consult a qualified technician for accurate diagnosis and repair.
"Trans Failsafe Prog" on your BMW X5 indicates potential transmission issues requiring immediate action. This safety feature activates in response to abnormalities like low fluid levels, leaks, faulty sensors, electrical or mechanical failures, and overheating.
What Does the PARKTRONIC Inoperative, See Owner's Manual Message Mean for You...Autohaus Service and Sales
Learn what "PARKTRONIC Inoperative, See Owner's Manual" means for your Mercedes-Benz. This message indicates a malfunction in the parking assistance system, potentially due to sensor issues or electrical faults. Prompt attention is crucial to ensure safety and functionality. Follow steps outlined for diagnosis and repair in the owner's manual.
Comprehensive program for Agricultural Finance, the Automotive Sector, and Empowerment . We will define the full scope and provide a detailed two-week plan for identifying strategic partners in each area within Limpopo, including target areas.:
1. Agricultural : Supporting Primary and Secondary Agriculture
• Scope: Provide support solutions to enhance agricultural productivity and sustainability.
• Target Areas: Polokwane, Tzaneen, Thohoyandou, Makhado, and Giyani.
2. Automotive Sector: Partnerships with Mechanics and Panel Beater Shops
• Scope: Develop collaborations with automotive service providers to improve service quality and business operations.
• Target Areas: Polokwane, Lephalale, Mokopane, Phalaborwa, and Bela-Bela.
3. Empowerment : Focusing on Women Empowerment
• Scope: Provide business support support and training to women-owned businesses, promoting economic inclusion.
• Target Areas: Polokwane, Thohoyandou, Musina, Burgersfort, and Louis Trichardt.
We will also prioritize Industrial Economic Zone areas and their priorities.
Sign up on https://profilesmes.online/welcome/
To be eligible:
1. You must have a registered business and operate in Limpopo
2. Generate revenue
3. Sectors : Agriculture ( primary and secondary) and Automative
Women and Youth are encouraged to apply even if you don't fall in those sectors.
What Are The Immediate Steps To Take When The VW Temperature Light Starts Fla...Import Motorworks
Learn how to respond when the red temperature light flashes in your VW with this presentation. From checking coolant levels to seeking professional help, follow these steps promptly to prevent engine damage and ensure safety on the road.
The Octavia range embodies the design trend of the Škoda brand: a fusion of
aesthetics, safety and practicality. Whether you see the car as a whole or step
closer and explore its unique features, the Octavia range radiates with the
harmony of functionality and emotion
𝘼𝙣𝙩𝙞𝙦𝙪𝙚 𝙋𝙡𝙖𝙨𝙩𝙞𝙘 𝙏𝙧𝙖𝙙𝙚𝙧𝙨 𝙞𝙨 𝙫𝙚𝙧𝙮 𝙛𝙖𝙢𝙤𝙪𝙨 𝙛𝙤𝙧 𝙢𝙖𝙣𝙪𝙛𝙖𝙘𝙩𝙪𝙧𝙞𝙣𝙜 𝙩𝙝𝙚𝙞𝙧 𝙥𝙧𝙤𝙙𝙪𝙘𝙩𝙨. 𝙒𝙚 𝙝𝙖𝙫𝙚 𝙖𝙡𝙡 𝙩𝙝𝙚 𝙥𝙡𝙖𝙨𝙩𝙞𝙘 𝙜𝙧𝙖𝙣𝙪𝙡𝙚𝙨 𝙪𝙨𝙚𝙙 𝙞𝙣 𝙖𝙪𝙩𝙤𝙢𝙤𝙩𝙞𝙫𝙚 𝙖𝙣𝙙 𝙖𝙪𝙩𝙤 𝙥𝙖𝙧𝙩𝙨 𝙖𝙣𝙙 𝙖𝙡𝙡 𝙩𝙝𝙚 𝙛𝙖𝙢𝙤𝙪𝙨 𝙘𝙤𝙢𝙥𝙖𝙣𝙞𝙚𝙨 𝙗𝙪𝙮 𝙩𝙝𝙚 𝙜𝙧𝙖𝙣𝙪𝙡𝙚𝙨 𝙛𝙧𝙤𝙢 𝙪𝙨.
Over the 10 years, we have gained a strong foothold in the market due to our range's high quality, competitive prices, and time-lined delivery schedules.
5 Warning Signs Your BMW's Intelligent Battery Sensor Needs AttentionBertini's German Motors
IBS monitors and manages your BMW’s battery performance. If it malfunctions, you will have to deal with an array of electrical issues in your vehicle. Recognize warning signs like dimming headlights, frequent battery replacements, and electrical malfunctions to address potential IBS issues promptly.
Why Is Your BMW X3 Hood Not Responding To Release CommandsDart Auto
Experiencing difficulty opening your BMW X3's hood? This guide explores potential issues like mechanical obstruction, hood release mechanism failure, electrical problems, and emergency release malfunctions. Troubleshooting tips include basic checks, clearing obstructions, applying pressure, and using the emergency release.
What Could Cause The Headlights On Your Porsche 911 To Stop WorkingLancer Service
Discover why your Porsche 911 headlights might flicker out unexpectedly. From aging bulbs to electrical gremlins and moisture mishaps, we're delving into the reasons behind the blackout. Stay tuned to illuminate the road ahead and ensure your lights shine bright for safer journeys.
In this presentation, we have discussed a very important feature of BMW X5 cars… the Comfort Access. Things that can significantly limit its functionality. And things that you can try to restore the functionality of such a convenient feature of your vehicle.
ANSWER SET PROGRAMMING (DLV – CLINGO):CONNECT 4 SOLVER
1. International Journal of Artificial Intelligence and Applications (IJAIA), Vol.14, No.4, July 2023
DOI:10.5121/ijaia.2023.14403 31
ANSWER SET PROGRAMMING
(DLV – CLINGO):CONNECT 4 SOLVER
Rosalba Cuapa C.1
and Fernando Zacarias F.2
and Adair Ponce.1
1
Faculty of Architecture, Universidad Autónoma de Puebla, Puebla, México
2
Department of Computer Science, Universidad Autónoma de Puebla, México
ABSTRACT
Answer set programming is an approach that has recently gained a lot of popularity in solving complex
problems due to its efficient knowledge representation and reasoning. Knowledge is represented as answer
set programs, and reasoning is performed by answer set solvers. Answer set programming enables default
reasoning, which is required in commonsense reasoning. In this paper, we discuss the potential role of
answer set programming (ASP) in the context of approaches to the development of agents especially in the
realm of Computational Logic. So, we focus on the usage of DLV for solving problems in a declarative
manner particularly, in the solution of the game “connect four”. Additionally, we present the solution to
this same problem from Clingo's perspective. We address this challenge with the ASP system clingo and its
grounding and solving components by equipping them with well-defined generic interfaces facilitating the
manifold integration efforts.
KEYWORDS
Asnwer Set Programming, Clingo, Dlv, Logic, Agents,
1. INTRODUCTION
Answer Set Programming (ASP, Answer Set (Stable Model) Semantics [1] [2]), is the realization
of much theoretical work on Non-monotonic Reasoning and Artificial Intelligence applications of
Logic Programming. ASP is a novel paradigm of logic programming that has now great
acceptance in the artificial intelligence community. One of the most important reasons for its
acceptance is the existence of efficient software to compute answer sets [3] [4]. ASP provides a
simple, expressive, and efficient language that can be well suited for modelling the agent rational
component into computer science and artificial intelligence. The answer sets for a logic program
can be described as the satisfying interpretations for a set of propositional formulae.
Agent technology is a methodology to realize an autonomous decentralized system with
interactions among agents that model each element of the system. However, that efficiency has
been reached by development of computational logic based on Answer set programming. In
addition, the computational logic has shown to have a clear specification and correctness. Logic
programming and non-monotonic reasoning have shown a growing interest in development of
intelligent agents. Logic programming, by virtue of its nature both in substance and
method, provides a well-defined, general, and rigorous framework for systematically
studying computation, or attending implementations, environments, tools, and standards
[1], [2]. Agent modelling under the logic programming paradigm is done in a simple and
transparent way, regardless of the resolver or tool we use for modelling (DLV or Clingo) [3], [4].
The paper is structured as follows. In Section 2 we briefly introduce answer set programming as
the paradigm for the knowledge interpretation by the agent. In Sections 3 and 4 In 3 and 4 we
2. International Journal of Artificial Intelligence and Applications (IJAIA), Vol.14, No.4, July 2023
32
present the implementation of our agent, in the first instance in dlv and in a second moment using
the clingo paradigm, in which we incorporate a heuristic function. Finally, we give our
conclusions and future work about this proposal.
2. KNOWLEDGE INTERPRETATION BY THE AGENT
An agent whose knowledge base is the theory T believes F if and only if F belongs to every
intuitionistically complete and consistent extension of T by adding only negated literals (here
“belief” could be better interpreted as “coherent” belief). Take for instance: ¬a→b. The agent
knows ¬a→b, ¬b→¬¬a and so on and so forth. The agent does not know however a.
Nevertheless, one believes more than one knows, but a cautious agent must have its beliefs
consistent to its knowledge. This agent will then assume negated literals able to infer more
information. Thus, in our example, our agent will believe ¬a and so he/she can conclude b. It also
makes sense that a cautious agent will believe ¬a or ¬¬a rather than to believe a (recall that a is
not equivalent to ¬¬a in intuitionistic logic). This view seems to agree with a point of view by
Kowalski, namely that “Logic and LP need to be put into place: Logic within the thinking
component of the observation-thought-action cycle of a single agent, and LP within the belief
component of thought” [5], [12].
2.1. Construction of The Reasoning Module of an Agent for Games
In the last years, agent’s paradigm using logic programming has claimed a major role in defining
the trends of modern research, influencing a broad spectrum of disciplines such as Computational
Logic, Philosophy, Logic Programming, Answer Set Programming, among others. The agent
concept has recently increased its influence in the research and development of computational
logic–based systems [6]. For this reason, it is important to consider the modelling of the
reasoning module of an agent for games in general and for zero-sum games. Analyse the
possibilities of a data type so that the agent can participate by applying an appropriate strategy.
To form an effective reasoning module, the following is required:
• Objective:
O The agent has a knowledge base conformed by the following rules.
• Start:
O the 7 columns must be evaluated to decide which has a greater value
• The middle:
o The agent must have a strategy with well-defined priorities.
o The agent's main goal is to win the game.
o The agent develops in a medium formed by a board where another independent
player (an opponent) moves in turns.
o Each player has a different kind of chip.
o There may be time constraints to choose the next move.
o The agent can perceive the game state through the board before making each
move.
3. International Journal of Artificial Intelligence and Applications (IJAIA), Vol.14, No.4, July 2023
33
• Actions:
o The agent can propose a valid move of the game.
• Knowledge
o The agent needs a strategy that allows him to propose a valid move according to
the rules.
o The agent needs to prioritize his moves to win the game.
Win
Block in case the opponent has three continuous chips.
Build the game based on the strategy defined by the agent (applying
heuristics).
Define the start of the game by choosing the middle row.
Considering the above points, an intelligent agent is a computer program placed in an
environment and it is able to act in an autonomous way in this environment with the main
objective of win. The agent must show reasoning actions in such way that it can reach the main
objective. For this, the agent uses a set of rules that allow him to decide in every moment which
is the best move, so, in this way reach partial objectives that leads to the main objective.
For this reason, the proposed agent must consider the following:1) Objectives; 2) Environment;
3) Perceptions; 4) Actions and 5) its Knowledge. All these necessary and relevant characteristics
for the proper functioning of our agent can be summarized as follows:
1. Objectives. The objective of the agent is win the game.
2. The Environment. The player moves in an environment compound by a board where
another independent player (an opponent - the user) moves by turns. Each player has one
different chip placement. Time limitations may exist to choose the next move.
3. Perceptions. We assume that the agent is capable of to perceive the current state of the
game (thought a DLV or Clingo file) before performing every move.
4. Actions. The player can propose valid movements for the game.
5. Knowledge. The player needs a strategy, that allow him to propose a valid movement
following the game rules. The capacity to reach the objective will depend of the physical
limitations (for example, the calculus time) in DLV or Clingo the calculus is efficient. A
basic case could be limited to give one valid movement, maybe selected randomly. The
capacity of the game may improve if we have knowledge to evaluate the board positions
(We have it in DLV or Clingo), and more on, we can perform a more effective search. In
the last case the calculus of a movement can take many resources, so is usual for the
player has limited quantity of time to execute the ideal search of a move.
3. IMPLEMENTATION OF THE AGENT IN DLV
Our agent has a knowledge base it contains several rules such as: Winning shot, tree alignment
block shot, two alignment block shot, building a tree alignment, building a two alignment and
first bottom shot. Besides, also, our agent has another file that allow him to maintain a general
environment about the development of the game [7], [12].
Next, we present some of the rules implemented for the agent are:
1. Strategy: Set of rules for a basic level game some of the employed rules in the strategy are:
4. International Journal of Artificial Intelligence and Applications (IJAIA), Vol.14, No.4, July 2023
34
g(X,Y,r):-cell(X,Y,v), vertical win move cell(X,Z,r),
Y=Z+1,cell(X,W,r), Y=W+2, cell(X,R,r), Y=R+3. t(X,Y,r):-
cell(X,Y,v), horizontal left alignment cell(Z,Y,r),
Z=X+1,cell(W,Y,r), W=X+2.
2. Complex strategy: Set of rules for an expert level game b(X,Y,r):-cell(X,Y,v), cell(Z,Y,a),
Z=X+1, cell(W,Y,a), W=X+2, cell(R,Y,a), R=X+3.
3. Available cells: File with information about available cells: Set of available cells in every
moment. cell(0,3,v). cell(1,4,v). cell(3,2,v). cell(4,1,v). cell(5,1,v). cell(6,0,v).
4. Busy cell: File with a set of unavailable cells that may contain black or white chips.
cell(0,1,r). cell(0,2,a). cell(1,0,r). cell(1,1,r). cell(1,2,r).
cell(1,3,a). cell(2,0,a). cell(2,1,a). cell(2,2,a). cell(2,3,r).
cell(2,4,r). cell(2,5,r). cell(3,0,a). cell(3,1,a). cell(4,0,a).
5. Tokens to move: Set of chips that can be moved by the answer sets calculus provided by Dlv.
{b(6,0,a), c(1,4,r), s(6,0,r)}
Tokens to move correspond to the group of answer sets calculated by Dlv. This set allows our
agent to execute the best action. The structure is described as follow:
F(X,Y,e):- cell(X,Y,v),
...,
...,
...,
Is derived the consequent F(X,Y,e) if the exposed conditions in the predecessor are satisfied.
F can be:
1. g(X,Y,r): if it is a winning play.
2. b(X,Y,r): if it is a blockade to a line of 3.
3. c(X,Y,r): if it is a blockade to a line of 2.
4. t(X,Y,r): if it is to advance one it lines from 2 to 3.
5. s(X,Y,r): if it is to advance one it lines from 1 to 2.
6. p(X,0,r): if it is to make a play in the first line.
The exposed conditions determinate if the empty cells make vertical, horizontal or diagonal lines
with the taken cells, such way that can serve us to block our opponent, move forward or win the
game.
For example:
g(X,Y,r):-cell(X,Y,v), cell(X,Z,r), Y=Z+1, cell(X,W,r), Y=W+2, cell(X,R,r), Y=R+3.
It indicates the following:
We deduce g(X,Y,r) if the cells cell(X,Y,v) exist and cell(X,Z,r), cell(X,W,r), cell(X,R,r) exists
too, and are taken by black chips and form a vertical line that lead us win the game, Y=Z+1,
Y=W+2, Y=R+3.
5. International Journal of Artificial Intelligence and Applications (IJAIA), Vol.14, No.4, July 2023
35
Figure 1. Connect four winner in Dlv
In this way, we describe the rest of sentences to win, but considering horizontal and diagonal
lines. The sentence to block and move forward are derived for the sentence to win. For example,
the sentences for block an alignment of tree are the same statement to win, the difference is that
we ask for the white ones, not the black. The sentence to move forward in two chips alignment to
a tree chips alignment is ask for two of the predecessor cells of an empty one. The sentence to
make a move on the first line only check the existence of the cell with Y equals to zero and if is
empty.
As can be seen, choosing the paradigm based on answer set programming gives us a simple,
clear, and adequate opportunity to model complex problems in a transparent way. As shown in
the solution presented in dlv, the way in which this type of complex problem is modeled is simple
and clear [11].
4. IMPLEMENTATION OF THE AGENT IN CLINGO
Based on the abstraction of logic programming, Answer Set Programming has become an
established paradigm for knowledge representation and reasoning, particularly when it comes to
solving complex problems. At this point, we return to the game previously presented and
implemented in Dlv called "connect 4", however, from this moment we make use of a logic
program solver called "Clingo", also based on answer set programming. Clingo has an easy and
expressive way to model these problems. using constraints to find solutions that satisfy the
constraints of the game.
In Clingo [9], unlike Dlv, the evaluation of all possible movements is done through the minimax
heuristic. The heuristic called minimax [8] is used to evaluate positions by recursively examining
all possible future moves to a certain depth and returning the best evaluated move. To find out
which is the best move among all the possible options, the heuristic function evaluates the
horizontal, vertical, and diagonal positions by looking for a specific number of consecutive pieces
of the same type in a row. If a win is found, the score is added by 100 for player 1 or subtracted
by 100 for player 2. If no win is found, the score is set to 0.
4.1. Mini Max Algorithm
The Minimax algorithm (Schiffel & Thielscher 2009) is a method used in artificial intelligence to
make optimal decisions in two-player game situations with perfect information, such as chess,
checkers, Connect 4, among others. The algorithm works by generating a search tree that
represents all possible moves and responses to those moves, from the current state of the game to
a final state. The algorithm determines the best move a player can make at each level of the
search tree, assuming the opponent is also playing optimally. At the top level of the tree, the
6. International Journal of Artificial Intelligence and Applications (IJAIA), Vol.14, No.4, July 2023
36
algorithm considers all possible moves by the current player and simulates the opponent's optimal
response to each move. It then evaluates each of these possible outcomes to determine which is
the best option for the current player, using a heuristic evaluation function. This process is
repeated recursively for all levels of the search tree, alternating between the current player and
the opponent, until an endgame state is reached. The Minimax algorithm then returns the best
move that the current player can make at the top level of the search tree out of all possible moves
that will be evaluated.
The Connect Four game is considered a zero-sum game because each player competes to reach
the goal of connecting four tiles of the same colour in a row, column, or diagonal. If one player
manages to connect four tiles, they win the game, while the other player loses. Thus, one player's
profit comes at the other player's expense, and the sum total of wins and losses will always be
zero. It is important to note that although the game is zero-sum, this does not necessarily mean
that it is a zero-sum game, that is, that there are no external benefits or secondary effects for the
players or third parties.
4.2. Alpha-Beta Pruning to Optimize.
Minimax works exploring all possible moves and game states, building a search tree. Each tree
node represents a game state, and each arc represents a possible move. The score at each leaf
node is the final score of the game. Scoring is assigned so that MAX players try to maximize and
MIN players try to minimize. The depth search technique is used to explore all possible moves.
However, the number of nodes in the search tree grows exponentially with the depth of the tree,
making full exploration impossible for complex games.
To solve this problem, the alpha-beta pruning technique is used, which reduces the number of
explored nodes. The alpha-beta pruning algorithm maintains two values at each tree node: alpha
and beta. Alpha represents the minimum score that MAX can achieve when exploring the left
subtree of the node, while beta represents the maximum score that MIN can achieve when
exploring the right subtree of the node.
Alpha-beta pruning works by removing subtrees that do not need to be explored. If the value of
beta at one node is less than or equal to the value of alpha at another sibling node, then the entire
right subtree of the first node can be deleted, since MIN would never choose that branch, since
MAX has a better option available. Similarly, if the value of alpha at one node is greater than or
equal to the value of beta at another sibling node, the entire left subtree of the first node can be
removed, since MAX would never choose that branch, since MIN has a better branch. option
available.
The implementation in CLingo is based on the ASP paradigm, where we must create lines of code
made up of a preposition followed by the conditions that will allow it to be fulfilled. In order to
start a connect four game we must declare the essential parts of the game, which are a board, the
players, the tiles and the cells where it is possible to shoot. In connect four we have a board that is
a 7x6 matrix where the pieces will be placed with respect to a position defined by an ordered pair
X, Y. Our board will be created with a predicate named cell that allows us to know where the
pieces can be moved. chips according to the dimensions specified above.
cell(1..7, 1..6).
Game board definition connect 4 in clingo
The next step is to give the player a turn, which will change each time a player move is made.
7. International Journal of Artificial Intelligence and Applications (IJAIA), Vol.14, No.4, July 2023
37
We use currentPlayer(_) to indicate if the current player is the one making the move, if this
condition is met it will be given a boolean value of True and otherwise it will be False. Each
player will be recognized by chips, “X” in the case of the human player and “O” in the case of
artificial intelligence, and they will only be able to shoot in those cells evaluated as empty. To
recognize empty cells, a predicate with two conditions is used: empty(X, Y) will be true only
when there is no value within said cell and it is a cell within the range (X,Y).
empty(X, Y) :- cell(X, Y), not value(X, Y, _).
Figure 2. Connect four winner in Clingo
Once the bases of the game have been defined, we must define the actions that can be carried out
on them. The movements are the most vital part of a connect four game, because depending on
the movement that our opponent makes, we can make a movement that can bring us closer to
victory or block the opponent. The actions that we carry out before a movement is to think of
several possible movements, evaluate which of these is the best and once decided which one to
carry out, then we proceed to carry it out. For each of these actions, a predicate is created with its
respective conditions, starting with the possible movements. Instead of making a movement over
the entire matrix, we will make it over a vector which will only move between the columns of the
X axis, leaving the axis stable. movement on one of the six rows of the Y axis, that is, an X value
will be chosen under two conditions.
This code defines the game state and implements a minimax algorithm with a heuristic function
to evaluate the position. The game state is represented by a cell(X,Y) predicate that defines the
position of each cell on the board, and the value(X,Y,P) and empty(X,Y) predicates that define
the value(color part) of a cell and if it is empty, respectively. The current player is represented by
the predicate currentPlayer(P). Possible moves are generated by the move(X) predicate, which
looks for empty cells in the bottom row and top row of any existing pieces. The predicate
evaluates the score of a position score(X, Score), which first checks if the current player can win
with move X and assigns a score of 100 or -100 accordingly. If there is no immediate win, the
algorithm calls minimax to recursively evaluate the position with a lower depth. The position
score is the maximum or minimum of the scores of the possible moves, depending on the player.
Finally, the makeMove(X) predicate updates the game state by placing a piece of the current
player in cell X. The undoMove(X) predicate undoes the move by removing the piece from cell
X. The heuristic function is defined by the heuristic(Score) predicate ), which checks for
8. International Journal of Artificial Intelligence and Applications (IJAIA), Vol.14, No.4, July 2023
38
horizontal, vertical, and diagonal gains and assigns a score of 100 or -100 accordingly. If there is
no win, the score is 0.
4.3. Next, we Show Part of the Code in Clingo
% Evaluate a position using minimax algorithm
minimax(Depth, Score) :- Depth = 0, heuristic(Score).
% Evaluate a position using a heuristic function
heuristic(Score) :- horizontalScore(Score); verticalScore(Score); diagonalScore(Score).
% Evaluate a position based on the number of consecutive pieces in a row
% Check for horizontal win horizontalScore(Score) :- currentPlayer(true), value(X, Y, "X"),
value(X+1, Y, "X"), value(X+2, Y, "X"), value(X+3, Y, "X"), Score = 100.
horizontalScore(Score) :- currentPlayer(false), value(X, Y, "O"), value(X+1, Y, "O"), value(X+2,
Y, "O"), value(X+3, Y, "O"), Score = -100.
horizontalScore(Score) :- Score = 0.
5. CONCLUSIONS AND FUTURE WORK
A Computational logic and particularly Answer set programming proved to be a successful
approach to several aspects of agent systems design. Knowledge and reasoning are important for
artificial agents and form the cornerstone of successful behaviour. In this work, we have
presented an interesting example called connect four, but it is also presented in two paradigms
based on answer set programming such as Dlv and Clingo. The two grounders performed perfect
on both samples. All tested solvers had no problems solving disjunction-free encodings
(admissible, stable, grounded and complete) and it would be possible to even go further. When it
comes to disjunctive encodings (semi-stable and preferred) only dlv and clingo were able to solve
all. Finally, we can mention that by incorporating the minimax algorithm and alpha-beta pruning
to optimize we have managed to obtain an infallible solution, that is, the version of the game
connects four developed in clingo guarantees to win if the machine starts the game. In addition,
we have shown how both proposals complement each other naturally with front-end languages,
i.e., java and python with dlv and clingo respectively.
In this presentation, two proposals for solutions to a complex problem such as connect four have
been shown.A future line of research will be to implement in both tools (Dlv and Clingo) a
problem that allows us to measure which one performs better in the model’s calculation. Finally,
we can comment that both tools allow connectivity with front ends. In our proposal, in the case of
dlv, we use java as the front-end to interact with the end user. While in the case of Clingo we use
python as the front-end part that allows interaction with the end user,
ACKNOWLEDGEMENTS
We thank the anonymous referees for their useful suggestions. The academic group of
combinatorial algorithms and learning supports this work.