Home
Forms Library
The Act Formalism - SRI's Artificial Intelligence Center - SRI

Get the up-to-date The Act Formalism - SRI's Artificial Intelligence Center - SRI 2025 now

The Act Formalism - SRI's Artificial Intelligence Center - SRI Preview on Page 1

Show details

4 out of 5

35 votes

The document outlines Version 2.2 of SRI International's Act formalism, a domain-independent language designed for representing task networks that interact with both an external environment and an internal database. It serves as an interchange language to facilitate information sharing among various action-related technologies. The document details the structure, syntax, and semantics of the Act formalism, including its metapredicates, environment conditions, and plot representations. It also discusses the use of the Act-Editor tool for creating and managing Acts.

Here's how it works

01. Edit your form online

Type text, add images, blackout confidential details, add comments, highlights and more.

02. Sign it in a few clicks

Draw your signature, type it, upload its image, or use your mobile device as a signature pad.

03. Share your form with others

Send it via email, link, or fax. You can also download it, export it or print it out.

How to quickly redact The Act Formalism - SRI's Artificial Intelligence Center - SRI online

Ease of Setup

DocHub User Ratings on G2

Ease of Use

DocHub User Ratings on G2

Dochub is the best editor for modifying your forms online. Adhere to this simple instruction to redact The Act Formalism - SRI's Artificial Intelligence Center - SRI in PDF format online at no cost:

Register and sign in. Create a free account, set a secure password, and go through email verification to start managing your templates.
Add a document. Click on New Document and select the form importing option: add The Act Formalism - SRI's Artificial Intelligence Center - SRI from your device, the cloud, or a secure link.
Make changes to the sample. Utilize the top and left panel tools to redact The Act Formalism - SRI's Artificial Intelligence Center - SRI. Insert and customize text, images, and fillable areas, whiteout unnecessary details, highlight the important ones, and provide comments on your updates.
Get your documentation done. Send the sample to other individuals via email, create a link for faster file sharing, export the sample to the cloud, or save it on your device in the current version or with Audit Trail included.

Explore all the benefits of our editor right now!

Try more PDF tools