• Shuffle
    Toggle On
    Toggle Off
  • Alphabetize
    Toggle On
    Toggle Off
  • Front First
    Toggle On
    Toggle Off
  • Both Sides
    Toggle On
    Toggle Off
  • Read
    Toggle On
    Toggle Off
Reading...
Front

Card Range To Study

through

image

Play button

image

Play button

image

Progress

1/18

Click to flip

Use LEFT and RIGHT arrow keys to navigate between flashcards;

Use UP and DOWN arrow keys to flip the card;

H to show hint;

A reads text to speech;

18 Cards in this Set

  • Front
  • Back
symbolic AI
na
symbolic representation
na
logical specification
A logical description of the desirable properties of a system - temporal logic is a commonly used logical specification language.
executable specification
The idea of directly executing a formal specification of an agent's behaviour, an idea embodied in languages such as Concurrent MetateM.
deliberate agents
An agent that decides what to do via logical / symbolic reasoning.
belief database
A set of statements, typically expressed in logic, capturing the information that an agent has about its environment (beliefs may be incorrect, which distinguishes them from knowledge)
deduction rules
In logic, a deduction rule is a rule of inference.
domain predicates
na
calculative rationality
An agent enjoys the property of calculative rationality if it chooses the action to perform that is optimal under the assumption that the world has remained unchanged since it observed it.
agent-oriented programming
The idea of developing distributed systems as collections of interacting (semi-)autonomous, rational software agents - Yoav Shoham's AGENT0 language was the first instance of this concept, and was the first paper to make this idea explicit.
AGENT0 language
An agent-oriented programming language, developed by Yoav Shoham in the late 1980s/early 1990s: the language took seriously the idea of programming agents as rational entities, with beliefs about how the world is, and commitments about how the agents wanted the world to be - an AGENT0 agent acts rationally to achieve its commitments on the basis of its beliefs about how the enironment is.
commitment rules
In the AGENT0 programming language, commitment rules define how an agent should update its commitments based on the messages received and beliefs about the world.
message condition
In commitment rules in the AGENT0 programming language, the message condition part of a rule is a condition on the messages received by an agent.
mental condition
In commitment rules in the AGENT0 programming language, the mental condition part of a rule is a condition on the current beliefs of an agent.
private action
An action that is 'internal' to an agent - think of the agent executing a subroutine, for example.
concurrent MetateM
A programming language for multi-agent systems in which agents are programmed by giving them temporal logic formulae, which are directly executed in order to generate behaviour.
temporal logic
An extension of classical logic intended for reasoning about how the truth of propositions change over time.
program rules
na