In computing, an agent communication language (ACL) is a formal language used by software agents to communicate. Originally, the word computing was synonymous with counting and calculating, and a science that deals with the original sense of computing mathematical calculations. ... In mathematics, logic and computer science, a formal language is a set of finite-length words (i. ... In computer science, a software agent is software that acts as an agent for another as in a relationship of agency. ...
Both rely on speech act theory developed by Searle1960 and enhanced by Winograd and Flores in the 70s and define a set of performatives and their meaning (e.g. ask-one). The content of the performative is not standardized, but varies from system to system. The Foundation for Intelligent Physical Agents (FIPA) produces computer software standards for heterogeneous and interacting agents and agent-based systems. ... Knowledge Query and Manipulation Language or (KQML) is a language and protocol, based on SGML, for exchanging information and knowledge, proposed in 1993. ... John Searle is a philosopher at UC Berkeley. ... Jump to: navigation, search 1960 was a leap year starting on Friday (link will take you to calendar). ... Terry Allen Winograd (born February 24, 1946) is a professor of computer science at Stanford University. ... Carlos Fernando Flores Labra (born January 9, 1943 in Talca) is a former Chilean Cabinet Minister and researcher into artificial intelligence. ...
To make agents understand each other they have to not only speak the same language, but also have a common ontology. An ontology describes what kind of things an agent can deal with and how they are related to each other. It's part of the agent's knowledge base. Jump to: navigation, search In philosophy, ontology (from the Greek ὄν, genitive ὄντος: being (part. ...
Indeed, it is important to note that agent identity is a fundamental component of all agentlanguages and methodologies for interactions.
Shoham's definition of an agent as "an entity whose state is viewed as consisting of mental components such as beliefs, capabilities, choices, and commitments", and the similar BDI descriptions, are of little help in objectively defining agents apart from their specific formalisms.
But we can do even better for agentlanguages: we can specify that they consist of a typed outer language (with specific characteristics such as explicit representations of the the sender and receiver and errors) and an inner content language, and that the communication protocal be peer-to-peer as previously discussed.
For much of the history of linguistics and the philosophy of language, language was viewed primarily as a way of making factual assertions, and the other uses of language tended to be ignored.
Speech act theory was used, for example, to give a semantics to the agentlanguage called AgentCommunicationsLanguage (ACL) developed by the standards body, the Foundation for Intelligent Physical Agents (FIPA) [1].
The FIPA ACL speech act semantics, expressed semi-formally using epistemic modal logic, defines utterances in ACL in terms of the certain beliefs, uncertain beliefs, desires and intentions of the speaker.
Feeds |
Contact