Action Programming Languages

Front Cover
Morgan & Claypool Publishers, 2008 - Computers - 91 pages
0 Reviews
Artificial systems that think and behave intelligently are one of the most exciting and challenging goals of Artificial Intelligence. Action Programming is the art and science of devising high-level control strategies for autonomous systems which employ a mental model of their environment and which reason about their actions as a means to achieve their goals. Applications of this programming paradigm include autonomous software agents, mobile robots with high-level reasoning capabilities, and General Game Playing. These lecture notes give an in-depth introduction to the current state-of-the-art in action programming. The main topics are knowledge representation for actions, procedural action programming, planning, agent logic programs, and reactive, behavior-based agents. The only prerequisite for understanding the material in these lecture notes is some general programming experience and basic knowledge of classical first-order logic.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Selected pages

Contents

Introduction
1
Mathematical Preliminaries
3
22 LOGIC PROGRAMMING
4
Procedural Action Programs
7
32 GOLOG PROGRAMS
10
33 ACTION CALCULI
13
332 Signatures with Functional Fluents
18
GOLOG SEMANTICS
20
52 ALP SEMANTICS
53
522 Operational Semantics
56
53 AN ALP INTERPRETER
58
54 AGENT LOGIC PROGRAMS WITH SENSING
62
55 EXERCISES
67
Reactive Action Programs
69
62 AGENTSPEAK
71
621 Syntax
72

35 A GOLOG INTERPRETER
22
CONCURRENCY AND INTERRUPTS
25
362 Semantics
28
37 ACTION PROGRAMS WITH SENSING
30
38 EXERCISES
33
Action Programs and Planning
37
42 PLANNING WITH PRUNING
42
43 PLANNING WITH PREFERENCES
45
44 EXERCISES
49
Declarative Action Programs
51
622 Operational Semantics
74
63 AN AGENTSPEAK INTERPRETER
78
64 SPARK
80
642 Operational Semantics
82
65 EXERCISES
86
Suggested Further Reading
87
References
89
Author Biography
91
Copyright

Other editions - View all

Common terms and phrases

Popular passages

Page 4 - A logic program is a finite set of clauses of the form p(t) \- Li, . . . , Ln, where p(t) is an atom and LI, . . . , Ln are literals, that is, atoms or negated atoms.
Page 89 - Reactive reasoning and planning," in Proceedings of the AAAI National Conference on Artificial Intelligence, Seattle, pp.

Bibliographic information