# ART

> LISP-based knowledge engineering language designed to be an integrated toolkit for building knowledge based systems

**Wikidata**: [Q101148723](https://www.wikidata.org/wiki/Q101148723)  
**Source**: https://4ort.xyz/entity/art-q101148723

## Summary
ART (Advanced Reasoning Tool) is a LISP-based knowledge engineering language designed to function as an integrated toolkit for building knowledge-based systems. Classified as both a programming language and a programming tool, it provides the necessary structure to implement logic and rule-based reasoning within computer systems.

## Key Facts
- **Also Known As**: Advanced Reasoning Tool.
- **Base Language**: Built upon LISP.
- **Primary Use**: Construction of knowledge-based systems.
- **Classification**: Identified as an instance of both a **programming language** and a **programming tool**.
- **Domain**: Artificial Intelligence and Knowledge Engineering.
- **Source References**: Cited in the *Catalogue of Artificial Intelligence Tools* (1986) and *The International Dictionary of Artificial Intelligence* (1999).

## FAQs
### Q: What is the primary function of ART?
A: ART serves as an integrated toolkit specifically designed for building knowledge-based systems, allowing developers to encode logic and expert knowledge into a machine-readable format.

### Q: What programming paradigm does ART utilize?
A: As a LISP-based language, ART operates within the functional and logic-based programming paradigms, utilizing the syntax and execution models associated with the LISP family of languages.

### Q: How is ART classified within software development?
A: It is dual-classified as both a **programming language** (a formal language for communicating instructions to a machine) and a **programming tool** (a utility to aid in the creation of software).

## Why It Matters
ART represents a specialized class of software tools essential to the field of artificial intelligence known as knowledge engineering. By providing a dedicated LISP-based environment, it bridges the gap between abstract human logic and machine execution. It facilitates the creation of systems that require complex reasoning capabilities, ensuring that expert knowledge can be formalized, manipulated, and executed by computers to solve specific problems.

## Notable For
- Being a specialized **knowledge engineering language** distinct from general-purpose languages.
- Functioning as an **integrated toolkit**, combining various utilities required for system development.
- Deriving its power and syntax from **LISP**, a foundational language in AI research.
- Enabling the development of **knowledge-based systems**, which rely on encoded facts and rules to simulate expert decision-making.

## Body
### Definition and Core Purpose
ART, or the Advanced Reasoning Tool, is a knowledge engineering language. It is designed to serve as an integrated toolkit for developers building knowledge-based systems. Its core purpose is to facilitate the communication of instructions to a machine, specifically for artificial intelligence applications where logic and data processing are paramount.

### Architecture and Language Structure
As a **programming language**, ART shares fundamental components common to all formal computer languages, including syntax, semantics, and an execution model.
- **LISP-Based Foundation**: The language is built upon LISP, a prominent language in AI development known for its effective handling of symbolic information and complex data structures.
- **Paradigms**: While rooted in LISP, which supports functional programming, ART functions within the broader scope of logic-based and imperative programming necessary for knowledge systems.
- **Components**: Like standard programming languages, it possesses a type system and standard library tailored to its specific use case of reasoning and knowledge manipulation.

### Classification and Context
ART is technically classified as an **instance of a programming tool** and a **programming language**.
- **Programming Tool**: Referenced in the *Catalogue of Artificial Intelligence Tools* (1986), it is recognized as a utility for software construction.
- **Programming Language**: Referenced in *The International Dictionary of Artificial Intelligence* (1999), it is defined as a formal language for machine instruction.
- **Knowledge-Based Systems**: The ultimate output of ART is a knowledge-based system—a computer system that uses logic to solve complex problems that would otherwise require human expertise.

### Theoretical Background
As a programming language, ART is part of the broader domain of computer science and programming language theory. It serves as an intermediary between human intent (expert reasoning) and machine execution. It is distinct from domain-specific mini-languages or concurrent languages, focusing instead on the specific architectural needs of encoding knowledge.

## References

1. [Catalogue of artificial intelligence tools. 1986](https://archive.org/details/catalogueofartif0000bund/page/22/mode/2up?q=Zetalisp)
2. [The international dictionary of artificial intelligence. 1999](https://archive.org/details/internationaldic0000rayn/page/6/mode/2up?q=Advanced+Reasoning+Tool)