Symbolic language (engineering)

Last updated

In engineering, a symbolic language is a language that uses standard symbols, marks, and abbreviations to represent concepts such as entities, aspects, attributes, and relationships. [1] [ original research? ]

Contents

Engineering symbolic language may be used for the specification, design, implementation, management, operation, and execution of engineered systems. [2] [ original research? ]

Communication using precise, concise representations of concepts is critical in engineering. [3] The Nuclear Principles in Engineering book begins with a quote on symbolic language from Erich Fromm and its power to express and depict associations. [4] [5] The engineering employs symbolic language in a way that is not purely text-based and not purely image-based to represent and communicate knowledge. [6]

Examples in chemical engineering include the symbolic languages developed for process flow diagrams and for piping and instrumentation diagrams (P&IDs). [7]

In electrical engineering, examples include the symbolic languages developed for network diagrams used in computing. [8] [9]

Ladder logic was originally a written symbolic language for the design and construction of programmable logic control (PLC) operations in mechanical and control engineering. [10]

See also

Related Research Articles

<span class="mw-page-title-main">Chemical engineering</span> Engineering discipline focused on the operation and design of chemical plants

Chemical engineering is an engineering field which deals with the study of the operation and design of chemical plants as well as methods of improving production. Chemical engineers develop economical commercial processes to convert raw materials into useful products. Chemical engineering uses principles of chemistry, physics, mathematics, biology, and economics to efficiently use, produce, design, transport and transform energy and materials. The work of chemical engineers can range from the utilization of nanotechnology and nanomaterials in the laboratory to large-scale industrial processes that convert chemicals, raw materials, living cells, microorganisms, and energy into useful forms and products. Chemical engineers are involved in many aspects of plant design and operation, including safety and hazard assessments, process design and analysis, modeling, control engineering, chemical reaction engineering, nuclear engineering, biological engineering, construction specification, and operating instructions.

<span class="mw-page-title-main">Engineering</span> Applied science and research

Engineering is the practice of using natural science, mathematics, and the engineering design process to solve technical problems, increase efficiency and productivity, and improve systems. Modern engineering comprises many subfields which include designing and improving infrastructure, machinery, vehicles, electronics, materials, and energy systems.

<span class="mw-page-title-main">Finite-state machine</span> Mathematical model of computation

A finite-state machine (FSM) or finite-state automaton, finite automaton, or simply a state machine, is a mathematical model of computation. It is an abstract machine that can be in exactly one of a finite number of states at any given time. The FSM can change from one state to another in response to some inputs; the change from one state to another is called a transition. An FSM is defined by a list of its states, its initial state, and the inputs that trigger each transition. Finite-state machines are of two types—deterministic finite-state machines and non-deterministic finite-state machines. For any non-deterministic finite-state machine, an equivalent deterministic one can be constructed.

<span class="mw-page-title-main">Logic gate</span> Device performing a Boolean function

A logic gate is a device that performs a Boolean function, a logical operation performed on one or more binary inputs that produces a single binary output. Depending on the context, the term may refer to an ideal logic gate, one that has, for instance, zero rise time and unlimited fan-out, or it may refer to a non-ideal physical device.

<span class="mw-page-title-main">Schematic</span> Representation of a system using abstract graphic symbols

A schematic, or schematic diagram, is a designed representation of the elements of a system using abstract, graphic symbols rather than realistic pictures. A schematic usually omits all details that are not relevant to the key information the schematic is intended to convey, and may include oversimplified elements in order to make this essential meaning easier to grasp, as well as additional organization of the information.

In information science, an ontology encompasses a representation, formal naming, and definitions of the categories, properties, and relations between the concepts, data, or entities that pertain to one, many, or all domains of discourse. More simply, an ontology is a way of showing the properties of a subject area and how they are related, by defining a set of terms and relational expressions that represent the entities in that subject area. The field which studies ontologies so conceived is sometimes referred to as applied ontology.

<span class="mw-page-title-main">Fault tree analysis</span> Failure analysis system used in safety engineering and reliability engineering

Fault tree analysis (FTA) is a type of failure analysis in which an undesired state of a system is examined. This analysis method is mainly used in safety engineering and reliability engineering to understand how systems can fail, to identify the best ways to reduce risk and to determine event rates of a safety accident or a particular system level (functional) failure. FTA is used in the aerospace, nuclear power, chemical and process, pharmaceutical, petrochemical and other high-hazard industries; but is also used in fields as diverse as risk factor identification relating to social service system failure. FTA is also used in software engineering for debugging purposes and is closely related to cause-elimination technique used to detect bugs.

<span class="mw-page-title-main">Model checking</span> Computer science field

In computer science, model checking or property checking is a method for checking whether a finite-state model of a system meets a given specification. This is typically associated with hardware or software systems, where the specification contains liveness requirements as well as safety requirements.

A modeling language is any artificial language that can be used to express data, information or knowledge or systems in a structure that is defined by a consistent set of rules. The rules are used for interpretation of the meaning of components in the structure of a programming language.

In mathematical logic, propositional logic and predicate logic, a well-formed formula, abbreviated WFF or wff, often simply formula, is a finite sequence of symbols from a given alphabet that is part of a formal language.

<span class="mw-page-title-main">Flowchart</span> Diagram that represents a workflow or process

A flowchart is a type of diagram that represents a workflow or process. A flowchart can also be defined as a diagrammatic representation of an algorithm, a step-by-step approach to solving a task.

<span class="mw-page-title-main">Circuit diagram</span> Graphical representation of an electrical circuit

A circuit diagram is a graphical representation of an electrical circuit. A pictorial circuit diagram uses simple images of components, while a schematic diagram shows the components and interconnections of the circuit using standardized symbolic representations. The presentation of the interconnections between circuit components in the schematic diagram does not necessarily correspond to the physical arrangements in the finished device.

Process engineering is the understanding and application of the fundamental principles and laws of nature that allow humans to transform raw material and energy into products that are useful to society, at an industrial level. By taking advantage of the driving forces of nature such as pressure, temperature and concentration gradients, as well as the law of conservation of mass, process engineers can develop methods to synthesize and purify large quantities of desired chemical products. Process engineering focuses on the design, operation, control, optimization and intensification of chemical, physical, and biological processes. Process engineering encompasses a vast range of industries, such as agriculture, automotive, biotechnical, chemical, food, material development, mining, nuclear, petrochemical, pharmaceutical, and software development. The application of systematic computer-based methods to process engineering is "process systems engineering".

The term conceptual model refers to any model that is formed after a conceptualization or generalization process. Conceptual models are often abstractions of things in the real world, whether physical or social. Semantic studies are relevant to various stages of concept formation. Semantics is fundamentally a study of concepts, the meaning that thinking beings give to various elements of their experience.

The Latin term characteristica universalis, commonly interpreted as universal characteristic, or universal character in English, is a universal and formal language imagined by Gottfried Leibniz able to express mathematical, scientific, and metaphysical concepts. Leibniz thus hoped to create a language usable within the framework of a universal logical calculation or calculus ratiocinator.

<span class="mw-page-title-main">Message sequence chart</span> Interaction diagram from the SDL family

A message sequence chart is an interaction diagram from the SDL family standardized by the International Telecommunication Union.

A process flow diagram (PFD) is a diagram commonly used in chemical and process engineering to indicate the general flow of plant processes and equipment. The PFD displays the relationship between major equipment of a plant facility and does not show minor details such as piping details and designations. Another commonly used term for a PFD is processflowsheet. It is the key document in process design.

PGF/Ti<i>k</i>Z Graphics languages

PGF/TikZ is a pair of languages for producing vector graphics from a geometric/algebraic description, with standard features including the drawing of points, lines, arrows, paths, circles, ellipses and polygons. PGF is a lower-level language, while TikZ is a set of higher-level macros that use PGF. The top-level PGF and TikZ commands are invoked as TeX macros, but in contrast with PSTricks, the PGF/TikZ graphics themselves are described in a language that resembles MetaPost. Till Tantau is the designer of the PGF and TikZ languages. He is also the main developer of the only known interpreter for PGF and TikZ, which is written in TeX. PGF is an acronym for "Portable Graphics Format". TikZ was introduced in version 0.95 of PGF, and it is a recursive acronym for "TikZ ist kein Zeichenprogramm".

<span class="mw-page-title-main">Function model</span>

In systems engineering, software engineering, and computer science, a function model or functional model is a structured representation of the functions within the modeled system or subject area.

Neuro-symbolic AI is a type of artificial intelligence that integrates neural and symbolic AI architectures to address the weaknesses of each, providing a robust AI capable of reasoning, learning, and cognitive modeling. As argued by Leslie Valiant and others, the effective construction of rich computational cognitive models demands the combination of symbolic reasoning and efficient machine learning. Gary Marcus argued, "We cannot construct rich cognitive models in an adequate, automated way without the triumvirate of hybrid architecture, rich prior knowledge, and sophisticated techniques for reasoning." Further, "To build a robust, knowledge-driven approach to AI we must have the machinery of symbol manipulation in our toolkit. Too much useful knowledge is abstract to proceed without tools that represent and manipulate abstraction, and to date, the only known machinery that can manipulate such abstract knowledge reliably is the apparatus of symbol manipulation."

References

  1. "P&ID Diagram Basics - Part 1 - Purpose, Owner and Contents". instrumentationandcontrol.net. Retrieved 2019-03-24.
  2. Provost, Office of the. "Advanced Engineering Language, Symbols, and Visualizations for Complex and Increasingly Autonomous SystemsCenter for Social Complexity" . Retrieved 2019-03-24.
  3. DIXON, JOHN R. (1962). "Symbols in Engineering Education". ETC: A Review of General Semantics. 19 (3): 269–272. ISSN   0014-164X. JSTOR   42573965.
  4. OpenLibrary.org. "The forgotten language | Open Library". Open Library. Retrieved 2019-06-29.
  5. Jevremovic, Tatjana (2008-12-15). Nuclear Principles in Engineering. Springer Science & Business Media. ISBN   9780387856070.
  6. Gaševic, Dragan; Djuric, Dragan; Devedžic, Vladan (2009-06-12). Model Driven Engineering and Ontology Development. Springer Science & Business Media. ISBN   9783642002823.
  7. "Chemical and Process Engineering, Engineer Drawing Symbols, Design elements, Dimensioning and Tolerancing". ConceptDraw . Retrieved 2019-06-29.
  8. Waldring, Ségio (2009-05-01). "Standard Network Diagramming Language and Corresponding Meta-Model". Georgia Southern University.
  9. Jespers, P.; Sequin, C. H.; Wiele, F. van de, eds. (1982). Design Methodologies for VLSI Circuits. Nato Science Series E. Springer Netherlands. ISBN   9789028627819.
  10. Kutz, Myer (2013-06-10). Handbook of Farm, Dairy and Food Machinery Engineering. Academic Press. ISBN   9780123858825.