Planning, Natural Language Processing and Multi-Agent Systems
Natural Language Processing: Parsing, Semantic Analysis and Pragmatics
| Level | What it establishes |
|---|---|
| Syntactic (parsing) | Grammatical structure alone — 'Colourless green ideas sleep furiously' is syntactically valid (a well-formed sentence) despite being semantically nonsensical, which is exactly why syntax and semantics must be treated as separate levels. |
| Semantic analysis | Literal, context-independent meaning of the sentence's words and structure combined. |
| Pragmatics | Meaning as it depends on CONTEXT beyond the sentence itself — 'Can you pass the salt?' is syntactically a yes/no question about ability, but pragmatically almost always a request for action, and only real-world/conversational context resolves which reading is intended. |
Multi-Agent Systems: Agents Versus Objects and Expert Systems
A multi-agent system consists of multiple autonomous agents that must coordinate, negotiate or compete within a shared environment, unlike a single-agent system where the only relevant dynamics are the agent's interaction with a passive environment. The AGENTS-VERSUS-OBJECTS distinction is worth holding precisely: a plain object exposes methods that are called by whoever holds a reference and simply executes them; an AGENT decides for itself whether and how to respond to a request, based on its own goals and state — autonomy is the defining difference, not merely 'having more code'. Comparing agents to EXPERT SYSTEMS is similarly precise: an expert system is typically a single, largely passive reasoner queried by a human; an agent is proactive (can initiate action on its own) and situated in an environment it continuously perceives and acts on, without necessarily waiting to be asked.
Semantic Web, Agent Communication and Development Tools
- Semantic Web: extends the ordinary web with machine-processable metadata (via ontologies, covered in the previous chapter) so that AGENTS, not just human readers, can meaningfully interpret and act on web content — a page marked up with structured data about 'this is a restaurant, this is its opening hours' can be reasoned about automatically, unlike plain HTML meant only for human eyes.
- Agent communication needs a shared PROTOCOL and shared VOCABULARY, exactly as human conversation does: an Agent Communication Language (ACL) defines the message-passing protocol (performatives like 'inform', 'request', 'query' — what KIND of speech act a message is), and a shared ONTOLOGY (again, the previous chapter's topic) supplies the vocabulary so both agents mean the same thing by a term — KNOWLEDGE SHARING USING ONTOLOGIES is precisely this: agreeing on vocabulary before agreeing on content.
- Agent development tools: frameworks (e.g. JADE) that provide ready-made ACL messaging, agent lifecycle management and directory/lookup services (finding which other agents offer a needed capability) — the standard infrastructure so a developer builds the agent's own reasoning logic rather than reimplementing message transport and agent discovery from scratch.
Key takeaways
- STRIPS represents each action by preconditions and add/delete effects, making automated planning tractable; goal stack planning can fail on interacting sub-goals.
- Hierarchical planning decomposes across abstraction levels; partial-order planning commits to an ordering only when genuinely forced to, avoiding wasted backtracking.
- Syntax, semantic analysis and pragmatics are three distinct levels — syntax alone cannot resolve ambiguity that requires world knowledge or context.
- An agent is defined by autonomy (deciding for itself whether/how to respond) — distinct from a plain object (executes what is called) and an expert system (largely passive, queried by a human).
- Agent communication needs both a shared protocol (an ACL's performatives) and a shared vocabulary (an ontology) — the same two ingredients human conversation needs.
Practice questions (8)
Attempt each one before opening the answer. Every explanation names the tempting wrong option as well as the right one, because that is where marks are lost.
In STRIPS, an action's effects are split into:
Show answer
Answer: A — An add list and a delete list
The add list states facts the action makes true, the delete list facts it makes false — together with preconditions, this compact representation is what makes mechanical state updates and hence automated planning possible.Partial-order planning's 'least commitment' strategy means:
Show answer
Answer: A — Two steps are ordered relative to each other only when one genuinely depends on the other
By avoiding unnecessary ordering commitments, a partial-order planner sidesteps the wasted backtracking a totally-ordered planner suffers when it guesses a constraint it did not actually need.'Colourless green ideas sleep furiously' is often cited to show that:
Show answer
Answer: A — A sentence can be syntactically valid while being semantically nonsensical
The sentence follows English grammar rules perfectly (a valid parse tree exists) while conveying no coherent meaning, which is exactly the demonstration that syntactic validity and semantic sensibility must be treated as separate properties.The ambiguity in 'I saw the man with the telescope' can be resolved only by:
Show answer
Answer: A — World knowledge or discourse context, since grammar alone permits both readings
Both parse trees are grammatically valid, so only semantic/pragmatic reasoning beyond pure syntax can settle which reading (the seeing done with a telescope, or the man having one) was actually intended.The key property that distinguishes an agent from a plain object is:
Show answer
Answer: A — Autonomy — the agent decides for itself whether and how to respond, based on its own goals and state
A plain object simply executes whatever method is called on it; an agent's defining feature is that it can decide, based on its own state and goals, whether and how to act — autonomy, not code volume.Which of the following are needed for effective agent-to-agent communication? (More than one option may be correct.)
Show answer
Answer: A — A shared communication protocol (an Agent Communication Language); B — A shared ontology/vocabulary so both agents mean the same thing by a term; D — Agreement on vocabulary before agreement on content
A shared protocol and a shared vocabulary are the two named ingredients, and knowledge sharing using ontologies is precisely the practice of settling vocabulary before content — complete isolation is the opposite of communication.Name the classic goal-stack planning failure, where satisfying one sub-goal undoes progress already made on another interacting sub-goal.
Numerical answer — type the value.
Show answer
Answer: Sussman anomaly
The Sussman anomaly is the standard textbook example (a three-block-stacking problem) showing that simple, non-interleaved goal stack planning can fail on goals whose sub-goals genuinely interact.Agent development frameworks such as JADE chiefly provide:
Show answer
Answer: A — Ready-made ACL messaging, lifecycle management and agent-discovery services
These frameworks supply the standard infrastructure (messaging, lifecycle, directory services) so a developer can focus on building the agent's own reasoning logic rather than reimplementing transport and discovery from scratch.