ScholarLens Back to search
2005•Microelectronics & ComputerRequires access

The Semantics of Temporal Agent Programming Language TAOPLID Based on Situation Calculus

Jian Liu

Open publisher page 0 citations

Abstract

In this paper, the classical situation calculus is extended to the temporal situation calculus so as to enable a treatment of actions with explicit time. Then, a temporal extension of an agent-oriented programming language with intention driver which is called AOPLID, is given so as to represent and process concurrent actions with the time arguments. Based on situation calculus, off-line temporal AOPLID program semantics is presented. An example program of temporal AOPLID is given.

About this research paper

What this paper is about

In this paper, the classical situation calculus is extended to the temporal situation calculus so as to enable a treatment of actions with explicit time. Then, a temporal extension of an agent-oriented programming language with intention driver which is called AOPLID, is given so as to represent and process concurrent actions with the time arguments. Based on situation calculus, off-line temporal AOPLID program semantics is presented. An example program of temporal AOPLID is given.

Why it matters

A significance statement is not available in the OpenAlex record.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

In this paper, the classical situation calculus is extended to the temporal situation calculus so as to enable a treatment of actions with explicit time. Then, a temporal extension of an agent-oriented programming language with intention driver which is called AOPLID, is given so as to represent and process concurrent actions with the time arguments. Based on situation calculus, off-line temporal AOPLID program semantics is presented. An example program of temporal AOPLID is given.

Key concepts: Computer science, Situation calculus, Semantics (computer science), Programming language, Process calculus, Extension (predicate logic), Calculus (dental), Medicine

Related papers

Related paper 1Related paper 2Related paper 3
Back to paper searchBrowse research topicsOriginal source
The Semantics of Temporal Agent Programming Language TAOPLID Based on Situation Calculus — Research Paper | ScholarLens