An Approach to Knowledge-Based Verification of Actions in Planning of Cognitive Agents' Behavior.

Agnieszka Pieczynska Grzegorz Popek

Published in: CIMCA/IAWTIC (2006)

Keyphrases

cognitive agents
agent behavior
complex domains
multi agent systems
mental states
multi agent
open systems
planning problems
plan recognition
stochastic domains
defeasible logic
model checking
expert systems
description logics
mobile robot
domain knowledge
active learning
cooperative