API-Calculus: Difference between revisions

Revision as of 01:12, 10 November 2015

Revision as of 01:12, 10 November 2015

Line 1:

Api-calculus introduces three new concepts over ordinary pi-calculus and its extensions, the higher order and polyadic pi-calculi. To represent knowledge inherent in an autonomous agent, the concept of a ''knowledge unit'' is introduced. A knowledge unit is an intelligence entity that can perform inference. Agents have the capability to add/drop facts (i.e. [[Predicate (logic)|predicate]]s or [[Propositional calculus|propositions]]) to/from a knowledge unit and also modify its structure by adding new rules or eliminating existing ones. Each mobile agent is capable of carrying one or more knowledge units and sending and receiving them to/from other agents. However, the concept of knowledge unit only provides an abstraction level with no resources for intelligence modeling. Moreover, api-calculus introduces ''milieu'', a new level of abstraction that is in-between single mobile agents and the system as a whole. And lastly, Api-calculus introduces the notion of ''term''. A term consists of a name, a rule/fact (used to create or modify knowledge units), or a function, where a name can be a channel or a variable.In the standard pi-calculus, names are the only terms.

'''API Calculus''' is a program that solves calculus problems using operating systems within a device that solves calculus problems. In 1989 the PI- Calculus was created by [[Robin Milner]] and was very successful throughout the years. The PI Calculus is an extension of the extension of the [http://theory.stanford.edu/~rvg/process.html process algebra CCS], a tool that has algebraic languages that are specific to processing and formulating statements.<ref>{{Cite web|title = Process Algebra|url = http://theory.stanford.edu/~rvg/process.html|website = theory.stanford.edu|accessdate = 2015-11-09}}</ref> The PI Calculus provides a formal theory for modeling systems and reasoning about their behaviors. <ref name=":4">{{Cite book|title = An Extension to Pi-Calculus for Performance Evaluation|last = Rahimi|first = Shahram|publisher = Scientific Research|year = 2011|isbn = |___location = Illinois|pages = }}</ref> In the PI Calculus their are two specific variables such as name and processes.<ref name=":4" /> But it was not until 2002 when [http://www.cs.siu.edu/research/activities/full-time/rahimi.php Shahram Rahimi] decided to create an upgraded version of the PI- Calculus and call it the API Calculus. Milner claimed the detailed characteristics of the API Calculus to be its' "Communication Ability, Capacity for Cooperation, Capacity for Reasoning and Learning, Adaptive Behavior and Trustworthiness."<ref name=":3">{{Cite journal|url = http://www2.cs.siu.edu/~rahimi/papers/17.pdf|title = ACVisualizer: A Visualization Tool for Api-Calculus|last = Rahimi|first = Shahram|date = 10/20/2015|journal = ACVisualizer: A Visualization Tool for Api-Calculus|doi = |pmid = |access-date = }}</ref> The main purpose of creating this mobile advancement is to better network and communicate with other operators while completing a task. Unfortunately, the API Calculus is not perfect and has faced a problem with its security system. The language has seven features that was created within the device that the [[Π-calculus|PI Calculus]] does not have. Since this program is so advanced by the way the software was created and the different abilities that offered in the program, it is required to be converted to other programming languages so it can be used on various devices and other computing languages. Although the API Calculus is currently being used by various other programming languages, modifications are still being done since the security on the API Calculus is causing problems to users.