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

The Act Formalism - SRI's Artificial Intelligence Center - SRI 2025

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!

be ready to get more

Complete this form in 5 minutes or less

Get form

Got questions?

We have answers to the most popular questions from our customers. If you can't find an answer to your question, please contact us.

How can I sign my [KEY] without printing?

Electronic signatures are a great replacement for traditional signing, as they save time, effort, and money people spend on printing, scanning, and paper delivery. You can eSign your [KEY] utilizing a trustworthy and powerful online document processing services like DocHub. It complies with main eSignature regulations (ESIGN and UETA), so all forms approved there are legally binding and have the same validity as physically signed ones.

Can I sign my [KEY] while I edit it?

When you edit your [KEY] with DocHub, you will not need to look for other software or solutions to eSign it. An electronic signature is a component of DocHub’s comprehensive editing toolset, which allows you to apply changes in your form without jumping between websites. Simply complete your form, double-check the correctness of your information and place your electronic signature at the end to make it submission-ready within a few minutes.