<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta>
      <issn pub-type="ppub">1613-0073</issn>
    </journal-meta>
    <article-meta>
      <title-group>
        <article-title>problems using the General Environment Description Language</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Nina Bąkowska</string-name>
          <email>bakowskanina1704@gmail.com</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Krzysztof Zatwarnicki</string-name>
          <email>k.zatwarnicki@po.opole.pl</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Workshop</string-name>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Opole University of Technology</institution>
          ,
          <addr-line>Proszkowska 76, 45-758 Opole</addr-line>
          ,
          <country country="PL">Poland</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>The history of automated systems demonstrates their wide-ranging impact on industries. Artificial intelligence has potential for task automation without human oversight, but currently "narrow AI" focuses on specific tasks rather than general intelligence. Versatile systems that can learn autonomously and adapt to various environments are essential for technological progress. This can only be achieved with accurate environment description. The General Environment Description Language (GEDL) emerged as the most promising solution for conceptualizing agent and robot environments. The notation is inspired by human knowledge organization, with an emphasis on learning from errors and improving efficiency. GEDL's definition of conceptual systems, occurrences, and experiences makes it an effective problemsolving tool. The study's focus centers on developing an algorithm with the capability to solve a range of issues for general-purpose systems. A proposed solution takes the form of a universal approach to problem-solving with available resources. The outcome of implementing the algorithm to accomplish a basic task, such as navigating a board, is outlines. A procedure for improving the execution is also analyzed. general purpose systems, environment description language, algorithm, automatic systems, Proceedings ITTAP'2023: 3rd International Workshop on Information Technologies: Theoretical and Applied Problems, November 22-24, Proceedings</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>knowledge representation, conceptual system, problem solving</p>
    </sec>
    <sec id="sec-2">
      <title>1. Introduction</title>
      <p>
        Although it may seem strange, automated systems that can operate without human supervision have
been in existence and in use for over two thousand years. These systems were surprisingly simple in
design, and included items such as water clocks and animal traps [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ]. Autonomous systems have had a
significant impact on technological progress, completely transforming various sectors and enhancing
both efficiency and productivity.
      </p>
      <p>The evolution of robotics represented a significant milestone in the domain of automated systems.
The first industrial robots, capable of performing repetitive tasks with programmed precision, were
introduced during the 1960s and 1970s. Initially, these devices found utility in manufacturing,
particularly within the domain of automotive assembly processes. Over time, robotics technology has
evolved, resulting in the creation of increasingly adaptable and intricate robots designed for various
industries and applications.</p>
      <p>The significant impact that automated systems have had on technological progress is widely
recognized. However, in modern times, attention has shifted towards Artificial Intelligence (AI) as a
solution capable of performing tasks with minimal supervision. AI can be defined as the use of
technology to automate activities that typically require human intelligence. This distinction emphasizes
that AI often focuses on automating particular task categories - those which are commonly considered</p>
      <p>2020 Copyright for this paper by its authors.
CEUR</p>
      <p>ceur-ws.org
to require human intelligence during their execution. The capabilities of AI-driven systems are rapidly
expanding, creating new opportunities for exploration.</p>
      <p>Currently, intricate systems are precisely customized to support specific tasks, serving a restricted
range of utilities. These systems mainly utilize deep learning techniques, resulting in outstanding
achievements like accurate image identification or creating artificial visual and written materials. The
most effective and widespread version is known as narrow AI, which refers to a particular type of AI
that requires developing a learning algorithm to accomplish a single task, and the gained insights are
not inherently practical to other tasks. This indicates that the primary focus in this area is on designing
programs that manifest intelligence in a specialized area. Although "narrow AI" solutions achieve
impressive results within their assigned domains, they demonstrate restricted adaptability to challenges
outside their scope.</p>
      <p>Despite current technological advancements, which have made it possible to create intelligent,
adaptable, and self-guided systems, there has been no significant breakthrough in the past 20 years to
push forward the growth of generalized AI.</p>
      <p>Although progress has been made with systems that are highly specialised for particular domains,
the current focus should be on general-purpose systems that are able to learn about different
environments autonomously and perform tasks in different contexts. The development of
generalpurpose systems is still out of reach because there is no solution that can comprehensively tackle
multifaceted challenges and integrate knowledge from various environments. There is an expectation
that solutions based on "narrow AI" will serve as the foundation for building these systems because of
their ability to accurately interpret accumulated data.</p>
      <p>Developing algorithms that can solve complex problems is essential to making general-purpose
systems efficient and practical. However, the algorithms utilised in current solutions are inadequate for
this undertaking as they possess a limited focus, rendering it difficult to tackle a broad spectrum of tasks
and possibilities.</p>
    </sec>
    <sec id="sec-3">
      <title>2. Related work</title>
      <p>
        The execution of tasks without human oversight extends beyond just general-purpose systems.
Various endeavors have been made to define different types of environments, which can be quite
constrained, in order to enable automation and decision-making. Nonetheless, there is increasing
interest in the development of Artificial General Intelligence (AGI) that can address a broad range of
tasks [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ].
      </p>
      <p>
        The development of narrow AI has not led to significant progress towards the goals of AGI. The
creation of artificial general intelligence involves distinct concepts and methodologies compared to the
development of more specialised, narrow AI systems. Various theoretical frameworks emphasise the
significant distinctions between AGI and narrow AI; however, none of these frameworks have
comprehensive empirical evidence to support them [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ].
      </p>
      <p>
        Along with the new possibilities, it was acknowledged that capturing statistical patterns is
inadequate for interacting with humans. This presents a challenge for automatic systems tasked with
answering questions or engaging in conversation. A multi-agent learning environment was proposed as
a solution, along with corresponding learning techniques that facilitate the emergence of a foundational
compositional language [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ]. This language consists of sequences of abstract discrete symbols
communicated by agents over time, while maintaining a coherent structure characterised by a distinct
vocabulary and syntax.
      </p>
      <p>
        There are numerous requirements for efficient utilisation of AGI, resulting in the creation of
specialised systems designed for specific tasks, such as playing games. The Game Description
Language (GDL) is a comprehensive knowledge representation framework specifically developed to
formalise the rules of any game [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ].
      </p>
      <p>
        However, GDL is not the exclusive solution for describing the essential rules necessary for playing
a game. An illustration of contrasting descriptive terminology is present in the frequently employed
Unity game engine. UnityVGDL is an extended framework of Video Game Description Language
(VGDL) [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ]. The UnityVGDL framework presents fresh opportunities for General Video Game Playing
competitions, research undertakings, and wider game production. It converts VGDL into a tool for game
developers and functions as a research equipment.
      </p>
      <p>
        There are numerous languages, each with a distinct role in defining the characteristics and behaviors
of agents. For example, the JIAC Agent Description Language (JADL) provides a means of describing
an agent's environment by defining its goals and constraints. Its rule framework is straightforward,
consisting of a condition and two associated actions - one executed when the condition becomes true,
and the other when it becomes false [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ]. JADEL (Java Agent Development Framework Language) was
developed to facilitate the construction of systems based on the Java Agent Development Framework
(JADE). Its objective is to aid in the creation of agents, behaviors, and ontologies, with the ultimate aim
of streamlining the integration of agents as essential components within larger systems [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ].
      </p>
      <p>
        The Ludi GDL [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ] is a game description language that furnishes more precise tools for playing,
comprehending and synthesizing names within a scope of GDL. It is anchored in a ludemic
comprehension of games, which alludes to a profound insight and understanding into the mechanics,
dynamics, strategies, and underlying principles of games. The language can independently assess games
for their ability to captivate players, and generate innovative games with outstanding quality. This
showcases a practical methodology for automated game testing.
      </p>
      <p>
        An intriguing method of illustrating general gameplay is through the use of GDL-III - a language
which incorporates imperfect information and introspection [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ]. As a result, it boasts a simpler syntax
for representing actions and knowledge specifically for gaming purposes. GDL-III advances upon GDL,
introducing the ability to incorporate epistemic games governed by rules dependent on the players’
knowledge.
      </p>
      <p>
        The General Environment Description Language (GEDL) [
        <xref ref-type="bibr" rid="ref11">11</xref>
        ] offers a comprehensive solution for
representing environments suitable for robots and agents. GEDL is inspired by the human mind's
knowledge organization to construct a conceptual system and learn from errors. It consists of three
components. Conceptual System, Occurrences, and Experience all have a crucial role in creating a
comprehensive description of the environment.
      </p>
      <p>GEDL's constructed reality encompasses both individuals and objects. Individuals are capable of
acquiring knowledge and recognising objects that have varied features and relationships. The
effectiveness of language in portraying an environment underscores its potential to serve as a basis for
creating intelligent, adaptable general-purpose systems in the future.</p>
      <p>
        Although there are significant differences in how organisms and machines work, it is possible to
find connections and use them to optimize AI-based solutions. General intelligence encompasses the
ability to reason contextually, adopt various perspectives, set objectives, and competently handle
uncertain or ambiguous information [
        <xref ref-type="bibr" rid="ref12">12</xref>
        ]. Exploring new possibilities is closely related to the
problemsolving process, but is difficult to address algorithmically.
      </p>
      <p>
        Creating an artificial human brain is a well-established topic, but it remains challenging. The ability
to store and organize knowledge and to solve previously unknown problems is what artificial general
intelligence aims to achieve. However, there are two significant challenges to overcome in simulating
the human brain. Until recently, humanity lacked the technological capability to construct computers
that could handle thought processes due to insufficient information processing rates. Furthermore,
creating intelligent machines resembling the brain requires understanding specific connectivity patterns
and dynamic parameters necessary for artificial neural circuits to exhibit brain-like behaviour. Given
that the human brain is potentially the most complex system known within the scope of human
understanding, it is unsurprising that little progress has been made in acquiring a deep understanding
of how our brains function [
        <xref ref-type="bibr" rid="ref13">13</xref>
        ].
      </p>
      <p>
        Currently, an increasingly popular use of AI, known as ChatGPT, is gaining traction. This
sophisticated system possesses the ability to comprehend and decipher human language, thereby
allowing users to pose questions and obtain responses. Not only does it offer a novel method to search
for information, but it also seeks to transform many facets of daily existence [
        <xref ref-type="bibr" rid="ref14">14</xref>
        ]. ChatGPT may be
considered a natural language processing system, given the seemingly boundless potential of this tool
[
        <xref ref-type="bibr" rid="ref15">15</xref>
        ]. It is crucial to recognize, however, that ChatGPT is much more than solely this. The latest version
of GPT-4 demonstrates a remarkable level of proficiency and often surpasses previous models. With its
extensive capabilities and impressive competence, it could potentially be considered as an early version
of an artificial general intelligence system [
        <xref ref-type="bibr" rid="ref16">16</xref>
        ].
      </p>
    </sec>
    <sec id="sec-4">
      <title>Motivation</title>
      <p>The aim of the study is to explore the possibility of establishing a universal approach for finding
solutions to problems using available resources. The basis for this attempt is the use of the General
Environment Description Language (GEDL). This notation forms the initial premise for achieving the
set goal. It will be employed to describe the current initial state of the environment, as well as the
projected final state of the environment in light of the existing challenge. With this information, an
individual possessing knowledge is highly likely to develop a series of necessary steps guiding towards
a resolution. This expectation applies to a program written in any programming language.</p>
      <p>Therefore, this paper proposes an algorithm that facilitates the construction of a list of actions
required to move from the initial state to the final state. For effective implementation of this concept, a
detailed representation of the accessible objects, their relationships and the executable actions is
essential. The GEDL notation provides an opportunity to accomplish this task through a specific
example.</p>
    </sec>
    <sec id="sec-5">
      <title>3. General Environment Description Language</title>
      <p>General Environment Description Language is a notation capable of describing different
environments in which robots or agents can operate. It also allows to assign meaning to objects in the
environment and to plan tasks based on these objects.</p>
      <p>The concept behind this language is inspired by the way the human mind works and organizes
knowledge. The process of acquiring information involves the creation of a personal conceptual system
in which a collection of ideas and thoughts come together to form a meaningful whole that exceeds the
significance of the individual components. A remarkable aspect is the ability to learn from mistakes,
allowing the correction and adaptation of this conceptual system. In addition, intelligent beings have
the ability to transfer not only ideas but entire concepts to others, with the clear advantage of saving
time and resources that would otherwise be spent on individual learning. All these features have been
used to develop a comprehensive language for describing the environment.
3.1.</p>
    </sec>
    <sec id="sec-6">
      <title>Description</title>
      <p>The description is based on how we, as humans, perceive and interact with the world. To better
understand how the model was created, a simple assumption is made: individuals and objects exist in
an environment and can form relationships.</p>
      <p>The environment is a representation of the physical world or another form of reality and comprises
individuals and objects. Individuals can acquire knowledge through cognitive mechanisms and
recognize objects as elements of the environment. These objects are referred to as instances in the
knowledge of the individual and possess certain features. Features may be organized into feature sets
and assigned to objects of identical instances. In any described world, objects can have relationships
with each other (or an individual who is in fact an object). A proper relationship must follow from
logical premises. A concept of a relationship is also identified.</p>
      <p>Instances have the ability to perform actions independently or in cooperation with other instances.
These actions serve as a means of changing the state of the environment by modifying properties,
relationships, or creating and deleting objects. An action concept refers to a group of actions that modify
objects with the ultimate goal of achieving a comparable state. It is important to note that each action
is considered atomic, meaning that it cannot be further broken down into smaller steps. For example,
the action of placing an object on a shelf is a complete action in itself, as it cannot be further broken
down into smaller movements or gestures.</p>
      <p>Individuals acquire knowledge and develop their own comprehension of reality. The information
obtained through perception of the environment and concepts learned is referred to as individual
knowledge. A systematic set of rules can be developed through observation, deduction, improvement
of previously gathered facts or by obtaining information from other individuals. The latter method
appears promising for increasing the speed of knowledge growth.</p>
      <p>The individual knowledge consist of three different elements: Conceptual System, Occurrences and
Experience, each of which plays an important role in composing a complete environment description.</p>
      <p>A Conceptual System presents an individual's perception of concepts connected to entities,
interactions, and activities. To comprehensively illustrate the system, it is essential to describe five
components: features, feature sets, instance concepts, relationship concepts and action concepts.
Features are defined as a combination of a title and a range of possible values that allow instances to be
categorized. When an instance has the designated attributes and corresponding values that belong in
specific intervals, personal knowledge can infer that this instance is part of the given concept. Attributes
shared among objects of the same instance are included in sets of features. Features are grouped under
a single label to improve understanding and streamline classification. As expected, a relationship
concept defines the correlation that exists between two instances. Connections can develop: some may
end due to environmental changes, while new ones can emerge. Transformations occur through the
execution of actions. In this context, a solitary activity is seen as a transition from the initial state to the
ultimate state. The input description is expected to be provided with any resulting changes caused by
this activity.</p>
      <p>Occurrences can be described as a limited set of instances and the relationships among them. This
set includes only those parts that an individual can identify. In contrast to the conceptual structure,
which provides explanations and interconnections, occurrences have unique attributes with individual
values, and activities can be performed using them.</p>
      <p>Experience is a part of an individual's knowledge that can initiate a search for solutions. When a
problem is viewed in relation to its surrounding environment, an individual can begin to explore
strategies that can lead to the desired outcome. The goal function is essential to facilitate the selection
of the optimal solution. As a consequence, step-by-step guidelines leading to the expected state of the
environment are provided.</p>
      <p>In the GEDL notation a problem is defined as the modification of the environment using available
actions with the aim of moving from the initial state to the final state. Various solutions can be
identified, and the best one is selected based on specific objectives, such as minimizing time or the
number of steps taken.</p>
      <p>Every individual shapes their knowledge and understanding of reality. An individuals’ knowledge
consists of the information derived from observing their surroundings and acquiring concepts. Various
approaches can be used to formulate organized principles, such as making observations, deductions,
refining past discoveries, or acquiring insights from others. The latter approach appears promising for
accelerating the process of expanding knowledge.
3.2.</p>
    </sec>
    <sec id="sec-7">
      <title>Example</title>
      <p>A complete description of all the elements required for storing an individual's knowledge using
GEDL can be written in any notation that fulfills its requirements. In this work, the environment is
defined using JSON notation. This approach enables a universal description that is easily
comprehensible to humans. JSON files are widely used in various systems and can be interpreted by
most programming languages. Graphical and logical representations of collections, nested objects, etc.
are provided to help visualize the dependencies that occur in the described world.</p>
      <p>To improve understanding of GEDL, this paper provides a simple example to illustrate its
construction. The example is positioned in appendix 1 and includes an individual capable of moving
and a board divided into nine equal squares. For simplicity, we consider it a robot that explores the
environment, makes decisions based on its knowledge and gathered information. The individual can
interact with some squares, while others are inaccessible. The task is for the robot to reach a specified
position; to achieve this, it must find a path on the board. We assume the individual can only move in
four directions: up, down, right, or left, without any diagonal movements considered. The solution to
this problem is easy for a human to find, given the small environment. To enable a robot to find the
path, a suitable description is necessary. The example is presented in the Figure 1.</p>
      <p>The Conceptual System consists of features, instance concepts, relationship concepts and action
concepts. There are three defined features:
• available - informs whether it is possible to move to a particular square or not,
• isSquare - informs whether the object is a square,
• isIndividual - informs if the object is the individual moving on the board.</p>
      <p>In this case the value can be either true or false, more advanced examples might include a wider
range.</p>
      <p>In the following part of the Conceptual System, there is a description of instance concepts. Only two
types of instances can be distinguished in this example: c_individual, which refers to an individual
capable of movement, and c_square, which refers to a single square on the board. It is important to note
that there will be multiple instances of that object, but the concept is defined only once. Instances have
assigned features, as described above, but their values may be restricted. For instance, an object of the
c_individual instance must be an individual, so the "isIndividual" property must be set to true. Similarly,
an object of the c_square instance must be a square, though it can be either available or unavailable. To
provide information about interaction with other instances, the concept of relationship is assigned. It is
assumed that individuals cannot leave the board, so they are always placed on one of the squares.
Conversely, a particular square may not always have an individual standing on it. The concept of action
is defined by activities that involve objects of a particular instance interacting and modifying the
existing environment. Certain instances have the ability to perform actions, either alone or with other
objects, whereas others lack this capability.</p>
      <p>In order to accurately describe the dependencies that occur in the environment, five relationship
concepts have been defined. A relationship is posited between two instances, namely “role 1” and “role
2”. However, complex relationships necessitate being broken down into atomic relationships. The
c_isPlacedOn concept signifies that an individual has been placed on a square. Conversely, the
c_adjoinLeft, c_adjoinRight, c_adjoinTop and c_adjoinBottom concepts furnish insights into how the
squares are arranged.</p>
      <p>Providing a complete depiction of the action concept necessitates specifying the most information.
As previously stated, an individual can move in four directions - up, down, left, and right, which is why
four action concepts were introduced. Each action concept comprises an initial state concept and a final
state concept. For instance, let's consider the c_moveRight concept that represents an individual moving
towards the right of the board; the initial state denotes standing on a square immediately adjacent to
another square on the right, while the final state represents standing on the right square. However, the
correct conditions must exist before the action is carried out; in this case, the square to the right must
be available and present on the board.</p>
      <p>Occurrences differ from the Conceptual System as they comprise physical entities existing within
the environment. The representation is based on concepts but now provides explicit values. Out of the
ten examples, nine depict squares. An individual, identified as Me, is located on a square marked as
s_0_0. As a result, the attainable attribute is deemed false because the individual cannot move to this
square.</p>
      <p>To complete the representation of Occurrences, it is crucial to create a comprehensive list of existing
connections. This provides details about the board's layout, which helps the individual to understand
the environment. It should be noted that the description of Occurrences represents an initial state in
which relationships and attributes may change as actions unfold. For example, the concept
c_adjoinRight establishes a relationship between squares s_0_0 and s_1_0, indicating that square s_0_0
is located to the right of square s_1_0. A fragment of Occurrences description, containing description
of two squares is presented in Figure 2.</p>
      <p>{
"name": "s_0_0",
"instanceConcept": "c_square",
"features": [
},
{
},
{
}
},
{
}</p>
      <p>Defining the problem is the final part of the complete description. Similar to the action concept, a
problem represents a type of change that is expected to occur, hence the need for a starting and an
ending state. Based on this foundation, finding a solution should be initiated by recognizing the
difference between these two states. In the example provided, an individual is located on square s_0_0
when the environment is in the initial state and on square s_2_2 when it is in the final state. The
individual’s knowledge includes occurrences that exist in the environment and can be used to perceive
a solution. Problem description is provided in Figure 3.
"problem": {
"name": "Move to position",
"individualKnowledgeFragment": {
"instances": [
"Me",
"s_0_0", "s_1_0",
"s_2_0", "s_0_1",
"s_1_1", "s_2_1",
"s_0_2", "s_1_2",
"s_2_2"
},
"initialStateConcept": {
"instanceConceptVariables": [
{
},
{
}
},
{
}
}
Figure 3 Problem description
"name": "Me",
"instanceConcept": "c_individual",
"features": {}
"name": "s_0_0",
"instanceConcept": "c_square",
"features": {}
"name": "Me",
"instanceConcept": "c_individual",
"features": {}
"name": "s_2_2",
"instanceConcept": "c_square",
"features": {}</p>
      <p>The example aims to illustrate the level of detail required to create an appropriate description of an
environment. Despite the example's simplicity, data on adjacent squares, their availability, and their
correlation to the individual is deemed crucial in achieving a thorough comprehension.</p>
    </sec>
    <sec id="sec-8">
      <title>4. Algorithm description</title>
      <p>As emphasized in the preceding section of the document, the algorithm responsible for finding a
solution to any problem described in GEDL notation is essential to make general-purpose systems
practical. A solution is a sequence of actions that ultimately leads to the desired result - the outcome
that represents the problem's final state - when carried out in the prescribed order. The algorithm needs
to recognize the existence of various possible outcomes; however, since the goal function is absent in
the given example, and there is no way to select the ideal one, the algorithm chooses the first among
them as the ultimate response.</p>
      <p>As reaching the final state of a problem is necessary for finding a solution, the initial approach to
dealing with this challenge was to begin the process from that point. The idea behind this concept was
to examine the final state and evaluate the results of all possible actions. If a particular action was
discovered to produce the desired result, the search would restart, this time looking for another action
that had the potential to enable the previously identified action. However, this idea was abandoned as
it became increasingly complex to deal with more complicated examples. It had the potential to
overlook the instances involved in the problem-solving process since the final state of a problem only
shows the outcome. In this situation, it was reasonable to select a defective device (if one was available)
to execute an action as it was impossible to differentiate between working and non-working machines.
Moreover, tracing from the final state to the initial state to solve problems created a variety of
possibilities, making the decision-making process difficult. In specific situations, several actions may
require to be executed before a new opportunity arises; reversing this process retrospectively made the
task inefficient and vulnerable to errors.</p>
      <p>Instead, a new approach was proposed. The effective solution follows the parallel of the
problemsolving process in the human brain, as shown in Figure 4.</p>
      <p>In Phase 1, the algorithm examines the current state of the environment, including initial positions,
attributes, conditions, and interrelationships among objects in the setting. Based on the gathered
information, a simulated reality is created to carry out problem-solving.</p>
      <p>In Phase 2, we pursue an actionable step that is feasible within the current state. It is worth noting
that this methodology allows for identifying the instance that carries out an action at any given moment.
After identifying the action, it is executed, bringing about changes in the environmental state. This
could include the displacement of objects, changes in their properties, or the establishment of new
relationships within the environment.</p>
      <p>During Phase 3, the algorithm assesses whether the desired goal has been reached. If successful, the
sequence of actions is considered a possible solution. If the goal has not been reached, the algorithm
restarts the process, starting from the updated state of the environment. This involves finding the next
available action and carrying it out, causing further modifications to the environment. This process
continues in a loop until the final solution is achieved or there are no more available actions. Figure 5
provides a visual representation of the complete procedure.</p>
      <p>The proposed solution is based on the idea of creating different courses of action and identifying a
specific approach for each. When multiple options are available, a copy of the current environmental
state is created and then modified using the appropriate action. If the modification hinders progress
while the objective is still unmet, the specific course of action is abandoned. It is plausible that several
courses of action may result in the same exact environmental state. For example, adding detergent
before putting clothes in the washing machine produces the same result as doing these tasks in the
reverse order.</p>
      <p>The algorithm comprises three crucial components. In the first phase, the current environmental state
is examined to determine whether it aligns with the final state of the problem. If the answer is positive,
it implies that either a solution has been discovered or the problem has already been resolved. To
determine whether further action is required, the attribute values of the respective instances and existing
connections are compared. Upon identifying discrepancies, an investigation is initiated to explore
feasible modifications. To prevent insignificant comparisons when the available resources are
insufficient to provide a solution, a procedure to determine the practicality of executing an action is
introduced.</p>
      <p>This aspect of the algorithm determines the actions that are practicable to execute in the current
environmental condition. This evaluation is carried out by comparing the attributes and links of existing
instances with the initial state of the proposed action. When a match is identified, a new alternative is
recognized, leading to the creation of a new path. Lastly, the environment is adjusted to simulate the
execution of the selected action, with values overwriting in agreement with the end-state specifications.</p>
      <p>It is appropriate to presume that the process of determining the feasibility of an action prevents
situations where a transition from the starting point to the end point is impractical. This process occurs
across all paths at the same time. Each outcome is called a 'modified problem' because taking effective
action creates a new problem that needs to be addressed. If the problem persists, and progress is not
possible, the path is closed and can no longer be explored further.
4.1.</p>
    </sec>
    <sec id="sec-9">
      <title>Results and improvements</title>
      <p>The solution was implemented using the Python programming language. The first step involves
extracting environmental details from JSON files. In order to enable the algorithm to work with objects
efficiently, the Conceptual System, Occurrences, and Experience descriptions are converted into
classes, ensuring easy access to the key data.</p>
      <p>Within the context of moving on a board, the initial accurate response was located after 10 iterations.
The proposed solution asserted that an individual could move upwards twice and rightwards twice to
arrive at the destination. Even though alternate solutions exist, like moving rightwards and then upwards
twice, the algorithms terminated after detecting the initial precise response.</p>
      <p>The solution was discovered reasonably promptly and without obstacles, although this may not
always be the case. It transpired that the leading cause of slowing down the algorithm execution is its
inclination to conduct repetitive iterations, even though it lacks sound reasoning based on human
intelligence principles. For instance, it is quite apparent that opening a door allows the option to shut it
immediately afterwards, and vice versa. The current iteration of the algorithm becomes trapped in a
loop when it detects that two actions can be executed in immediate succession. Initially, the concept to
resolve this matter was to disallow repeating a specific action. However, this method is not entirely
correct, as many circumstances require the same action to be repeated. The algorithm was revised by
including regulations that are specifically tailored to optimization. In the context of the given algorithm,
optimization defines a factor that can eliminate specific opportunities that do not lead to the required
solution.</p>
      <p>Regarding the previously mentioned problem, a condition that must be fulfilled in order to avoid
loops and to add a new possibility does not allow the complementary actions to be performed one after
the other. As a result, there are fewer iterations and the solution is found more quickly.</p>
      <p>Another difficulty present in the current version of the algorithm pertains to multi-criteria decision
making. Assessment of the discovered solution typically entails selecting from various alternatives or
options, thereby rendering the decision-making process quite intricate. Furthermore, every possibility
examined is saved in a graph format. That means it necessitates the creation and storage of an
environment every time a modification is made, resulting in storage difficulties due to the solution's
rapidly increasing size. Additionally, examining a structure as intricate as one that can be generated
whilst tackling more advanced problems demands a substantial amount of time.</p>
      <p>Determining whether a potential solution constitutes a definitive one is a significant challenge. The
algorithm must be run until either all options have been explored or there is confidence that any
remaining possibilities would not surpass the current optimal solution. While examining each
possibility may prove impractical due to the vastness of the environment, identifying whether the best
outcome has been reached necessitates running a high level of analysis.</p>
    </sec>
    <sec id="sec-10">
      <title>5. Summary</title>
      <p>The history of the development of automated systems illustrates their impact on various industries.
Advancements in computer technology and the emergence of control engineering have additionally
contributed to the automation of processes. Furthermore, artificial intelligence has the potential to
transform the accomplishment of different tasks without human supervision. Nevertheless, the current
method is 'narrow AI' that concentrates on particular tasks instead of general intelligence. It is crucial
to have versatile systems capable of learning autonomously and adapting to diverse environments to
facilitate further progress. Developing general-purpose systems necessitates an algorithm that can find
solutions to any problem, which is also the focal point of this study.</p>
      <p>The General Environment Description Language offers a means of describing the different
environments where robots or agents function. The inspiration for this language is drawn from how the
human mind organizes knowledge, including the ability to learn from mistakes, transfer concepts to
others, and save time and resources. With its ability to provide precise definitions of conceptual systems,
occurrences, and experience, GEDL is capable of solving a wide range of problems. Successfully, a
description of an environment that involves a washing machine, a manipulator, and a basket of clothes
was created to solve the problem of doing laundry.</p>
      <p>The algorithm is the critical component of the study, enabling the resolution of problems described
in the GEDL notation environment. The solution was found in both evaluated tests, demonstrating that
the algorithm is universally applicable and capable of functioning correctly under diverse conditions.
The research entailed certain challenges that had to be addressed to ensure the outcome was general
and unrestricted. Nevertheless, no constraints render it relatively easy for the program to enter loops, as
each condition introduced may limit some possibilities. Accelerators were introduced in an attempt to
speed up the process of solving the problem. They have been adapted to the examples mentioned in the
paper, but it is possible to make them more universally applicable in further development.</p>
    </sec>
    <sec id="sec-11">
      <title>6. References</title>
      <p>7. Appendix 1
7.1. Conceptual System
"ConceptualSystem": {
"features": [
{
"name": "available",
"set": [true, false]
"name": "isSquare",
"set": [true, false]
"name": "isIndividual",
"set": [true, false]
},
{
},
{
}
"instanceConcepts": [
{
}
}
},
{
},
{
},
{
}
"name": "c_individual",
"features": [
{
"name": "isIndividual",
"set": [true]
],
"relationshipConcepts": [
{</p>
      <p>"name": "c_isPlacedOn"
],
"actionConcepts": [
{
"name": "c_moveRight"
"name": "c_moveLeft"
"name": "c_moveTop"
"name": "c_moveBottom"
},
{
Appendix contains Conceptual System, Occurence and Experience description.
},
{
}
"name": "available",
"set": [true, false]
"name": "isSquare",
"set": [true]
],
"relationshipConcepts": [],
"actionConcepts": []
]</p>
      <p>}
}
],
"relationshipConcepts": [
{
},
{
},
{
},
{
},
{
},
"finalStateConcept": {
"instanceConceptVariables": [
{
}
"name": "squareAdjoinRight",
"instanceConcept": "c_square",
"features": [
{
}
"name": "squareAdjoinLeft",
"instanceConcept": "c_square",
"features": [
{
"relationships": [
{
"concept": "c_adjoinLeft",
"role1": "squareOn",
"role2": "squareAdjoinLeft"
},
"finalStateConcept": {
"instanceConceptVariables": [
{
},
{
},
{
]</p>
      <p>}
}
]</p>
      <p>}
},
{
}
},
{
]
}
],
"relationships": [
{
},
{
},
{
"name": "squareOn",
"instanceConcept": "c_square",
"features": [
{
"name": "squareAdjoinBottom",
"instanceConcept": "c_square",
"features": [
{
},
{
}</p>
      <p>]
"name": "c_moveBottom",
"initialStateConcept": {
"instanceConceptVariables": [
{
"concept": "c_adjoinBottom",
"role1": "squareOn",
"role2": "squareAdjoinBottom"
"name": "isSquare",
"value": [true]
7.2. Occurrence
},
{
},
{
},
{
},
{
},
{
}
"name": "isSquare",
},
{
},
{
},
{
},
{
},
{
}
"name": "s_0_2",
"instanceConcept": "c_square",
"features": [
{
},
{
"relationshipConcept":"c_adjoinRight",
"role1": "s_1_0",
"role2": "s_2_0"
},
{
"relationshipConcept":"c_adjoinRight",
"role1": "s_0_1",
"role2": "s_1_1"
},
{
"relationshipConcept":"c_adjoinRight",
"role1": "s_1_1",
"role2": "s_2_1"
},
{
"relationshipConcept":"c_adjoinRight",
"role1": "s_0_2",
"role2": "s_1_2"
},
{
"relationshipConcept":"c_adjoinRight",
"role1": "s_1_2",
"role2": "s_2_2"
},
{
"relationshipConcept":"c_adjoinLeft",
"role1": "s_2_0",
"role2": "s_1_0"
},
{
"relationshipConcept":"c_adjoinLeft",
"role1": "s_1_0",
"role2": "s_0_0"
},
{
"relationshipConcept":"c_adjoinLeft",
"role1": "s_2_1",
"role2": "s_1_1"
},
{
"relationshipConcept":"c_adjoinLeft",
"role1": "s_1_1",
"role2": "s_0_1"
},
{
"relationshipConcept":"c_adjoinLeft",
"role1": "s_2_2",
"role2": "s_1_2"
},
{
"relationshipConcept":"c_adjoinLeft",
"role1": "s_1_2",
"role2": "s_0_2"
{
},
},
{
"relationshipConcept":"c_adjoinTop",
"role1": "s_0_0",
"role2": "s_0_1"
},
{
},
{
},
{
7.3. Experience
{
},
{
"relationshipConcept":"c_isPlacedOn",
"role1": "Me",
"role2": "s_0_0"
}
}
},
"finalStateConcept": {
"instanceConceptVariables": [
{
"c_individual",</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <given-names>S.</given-names>
            <surname>Bennett</surname>
          </string-name>
          ,
          <article-title>A brief history of automatic control</article-title>
          ,
          <source>in IEEE Control Systems Magazine</source>
          , vol.
          <volume>16</volume>
          , no.
          <issue>3</issue>
          , pp.
          <fpage>17</fpage>
          -
          <lpage>25</lpage>
          ,
          <year>June 1996</year>
          , doi: 10.1109/37.506394.
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>B.</given-names>
            <surname>Goertzel</surname>
          </string-name>
          ,
          <string-name>
            <surname>I. Matthew</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Wigmore</surname>
          </string-name>
          ,
          <article-title>The Architecture of Human-Like General Intelligence</article-title>
          ,
          <source>In: Theoretical Foundations of Artificial General Intelligence</source>
          ,
          <source>Atlantis Thinking Machines</source>
          , vol
          <volume>4</volume>
          . Atlantis Press, Paris, doi: 10.2991/
          <fpage>978</fpage>
          -94-91216-62-
          <issue>6</issue>
          _
          <fpage>8</fpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>B.</given-names>
            <surname>Goertzel</surname>
          </string-name>
          , Artificial General Intelligence: Concept,
          <article-title>State of the Art, and Future Prospects</article-title>
          ,
          <source>Journal of Artificial General Intelligence</source>
          , vol.
          <volume>5</volume>
          , no.
          <issue>1</issue>
          ,
          <issue>3914</issue>
          , pp.
          <fpage>1</fpage>
          -
          <lpage>48</lpage>
          .
          <year>2014</year>
          , doi: 10.2478/jagi-2014- 0001.
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>I.</given-names>
            <surname>Mordatch</surname>
          </string-name>
          ,
          <string-name>
            <given-names>P.</given-names>
            <surname>Abbeel</surname>
          </string-name>
          ,
          <article-title>Emergence of Grounded Compositional Language in Multi-Agent Populations</article-title>
          ,
          <source>Proceedings of the AAAI Conference on Artificial Intelligence</source>
          ,
          <volume>32</volume>
          , 1,
          <string-name>
            <surname>April</surname>
          </string-name>
          <year>2018</year>
          , doi: 10.1609/aaai.v32i1.
          <fpage>11492</fpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>M.</given-names>
            <surname>Thielscher</surname>
          </string-name>
          ,
          <article-title>A general game description language for incomplete information games</article-title>
          .
          <source>In: Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI'10)</source>
          , AAAI Press,
          <fpage>994</fpage>
          -
          <lpage>999</lpage>
          ,
          <year>July 2010</year>
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>M.</given-names>
            <surname>Johansen</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Pichlmair</surname>
          </string-name>
          and
          <string-name>
            <given-names>S.</given-names>
            <surname>Risi</surname>
          </string-name>
          ,
          <source>Video Game Description Language Environment for Unity Machine Learning Agents, 2019 IEEE Conference on Games (CoG)</source>
          , London, UK,
          <year>2019</year>
          , pp.
          <fpage>1</fpage>
          -
          <lpage>8</lpage>
          , doi: 10.1109/CIG.
          <year>2019</year>
          .
          <volume>8848072</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [7]
          <string-name>
            <given-names>T.</given-names>
            <surname>Konnerth</surname>
          </string-name>
          ,
          <string-name>
            <given-names>B.</given-names>
            <surname>Hirsch</surname>
          </string-name>
          , S. Albayrak,
          <string-name>
            <surname>JADL -</surname>
          </string-name>
          <article-title>An Agent Description Language for Smart Agents</article-title>
          . In: Baldoni,
          <string-name>
            <given-names>M.</given-names>
            ,
            <surname>Endriss</surname>
          </string-name>
          ,
          <string-name>
            <surname>U</surname>
          </string-name>
          . (eds) Declarative
          <source>Agent Languages and Technologies IV. DALT 2006. Lecture Notes in Computer Science</source>
          , vol
          <volume>4327</volume>
          . Springer, Berlin, Heidelberg. doi:
          <volume>10</volume>
          .1007/11961536_
          <fpage>10</fpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [8]
          <string-name>
            <given-names>F.</given-names>
            <surname>Bergenti</surname>
          </string-name>
          ,
          <string-name>
            <given-names>E.</given-names>
            <surname>Iotti</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Monica</surname>
          </string-name>
          <string-name>
            <given-names>A.</given-names>
            <surname>Poggi</surname>
          </string-name>
          ,
          <article-title>Agent-Oriented Model-Driven Development for JADE with the JADEL Programming Language</article-title>
          .
          <source>Computer Languages, Systems &amp; Structures</source>
          , June 2017, doi: 50.
          <fpage>10</fpage>
          .1016/j.cl.
          <year>2017</year>
          .
          <volume>06</volume>
          .001.
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          [9]
          <string-name>
            <given-names>C.</given-names>
            <surname>Browne</surname>
          </string-name>
          and
          <string-name>
            <given-names>F.</given-names>
            <surname>Maire</surname>
          </string-name>
          , Evolutionary Game Design,
          <source>in IEEE Transactions on Computational Intelligence and AI in Games</source>
          , vol.
          <volume>2</volume>
          , no.
          <issue>1</issue>
          , pp.
          <fpage>1</fpage>
          -
          <lpage>16</lpage>
          ,
          <year>March 2010</year>
          , doi: 10.1109/TCIAIG.
          <year>2010</year>
          .
          <volume>2041928</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [10]
          <string-name>
            <given-names>M.</given-names>
            <surname>Thielscher</surname>
          </string-name>
          ,
          <article-title>GDL-III: A Description Language for Epistemic General Game Playing</article-title>
          .
          <source>Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence</source>
          ,
          <fpage>1276</fpage>
          -
          <lpage>1282</lpage>
          ,
          <year>August 2017</year>
          , doi: 10.24963/ijcai.
          <year>2017</year>
          /177.
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          [11]
          <string-name>
            <given-names>K.</given-names>
            <surname>Zatwarnicki</surname>
          </string-name>
          ,
          <string-name>
            <given-names>W.</given-names>
            <surname>Pokuta</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Bryniarska</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Zatwarnicka</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Metelski</surname>
          </string-name>
          ,
          <string-name>
            <given-names>E.</given-names>
            <surname>Piotrowska</surname>
          </string-name>
          , General Environment Description Language,
          <source>Applied Sciences. January</source>
          <year>2021</year>
          ;
          <volume>11</volume>
          (
          <issue>2</issue>
          ):
          <fpage>740</fpage>
          . Dou:
          <volume>10</volume>
          .3390/app11020740.
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          [12]
          <string-name>
            <given-names>A.</given-names>
            <surname>Roli</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Jaeger</surname>
          </string-name>
          , S. Kauffman, How Organisms Come to Know
          <source>the World: Fundamental Limits on Artificial General Intelligence</source>
          ,
          <source>Frontiers in Ecology and Evolution. January</source>
          <year>2022</year>
          , doi: 10.3389/fevo.
          <year>2021</year>
          .
          <volume>806283</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          [13]
          <string-name>
            <surname>H. de GARIS</surname>
            , S. Chen,
            <given-names>B.</given-names>
          </string-name>
          <string-name>
            <surname>Goertzel</surname>
            ,
            <given-names>L.</given-names>
          </string-name>
          <string-name>
            <surname>Ruiting</surname>
          </string-name>
          ,
          <article-title>A world survey of artificial brain projects, Part I Large-scale brain simulations</article-title>
          .
          <source>Neurocomputing</source>
          .
          <volume>74</volume>
          .
          <fpage>3</fpage>
          -
          <issue>29</issue>
          ,
          <year>December 2010</year>
          , doi: 10.1016/j.neucom.
          <year>2010</year>
          .
          <volume>08</volume>
          .004.
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          [14]
          <string-name>
            <surname>J.-J. Zhu</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          <string-name>
            <surname>Jiang</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          <string-name>
            <surname>Yang</surname>
            , and
            <given-names>Z. J.</given-names>
          </string-name>
          <string-name>
            <surname>Ren</surname>
          </string-name>
          , ChatGPT and Environmental Research Environmental Science &amp; Technology
          <string-name>
            <surname>Article</surname>
            <given-names>ASAP</given-names>
          </string-name>
          , doi: 10.1021/acs.est.3c01818.
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          [15]
          <string-name>
            <given-names>J.</given-names>
            <surname>Deng</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Y.</given-names>
            <surname>Lin</surname>
          </string-name>
          ,
          <article-title>The Benefits and Challenges of ChatGPT: An Overview</article-title>
          ,
          <source>Frontiers in Computing and Intelligent Systems</source>
          .
          <volume>2</volume>
          ,
          <fpage>81</fpage>
          -
          <lpage>83</lpage>
          ,
          <year>January 2023</year>
          , doi: 10.54097/fcis.v2i2.
          <fpage>4465</fpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          [16]
          <string-name>
            <given-names>S.</given-names>
            <surname>Bubeck</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V.</given-names>
            <surname>Chandrasekaran</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Eldan</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Gehrke</surname>
          </string-name>
          ,
          <string-name>
            <given-names>E.</given-names>
            <surname>Horvitz</surname>
          </string-name>
          , E. Kamar,
          <string-name>
            <given-names>P.</given-names>
            <surname>Lee</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Y. T.</given-names>
            <surname>Lee</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Y.</given-names>
            <surname>Li</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Lundberg</surname>
          </string-name>
          ,
          <string-name>
            <given-names>H.</given-names>
            <surname>Nori</surname>
          </string-name>
          ,
          <string-name>
            <given-names>H.</given-names>
            <surname>Palangi</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M. T.</given-names>
            <surname>Ribeiro</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Y.</given-names>
            <surname>Zhang</surname>
          </string-name>
          ,
          <source>Sparks of Artificial General Intelligence: Early experiments with GPT-4</source>
          ,
          <year>2023</year>
          , url: https://arxiv.org/abs/2303.12712, doi: 10.48550/arXiv.2303.12712.
        </mixed-citation>
      </ref>
      <ref id="ref17">
        <mixed-citation>
          <article-title>"name": "available", "value": [true] "name": "available", "value": [false] "name": "available", "value": [true] }, { "relationshipConcept":"c_adjoinBottom", "role1": "s_0_1", "role2": "s_0_0" }, { "relationshipConcept":"c_adjoinBottom", "role1": "s_1_2", "role2": "s_1_1" }, { "relationshipConcept":"c_adjoinBottom", "role1": "s_1_1", "role2": "s_1_0" }, { "relationshipConcept":"c_adjoinBottom", "role1": "s_2_2", "role2": "s_2_1" }, { "relationshipConcept":"c_adjoinBottom", "role1": "s_2_1", "role2": "s_2_0"</article-title>
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>