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
|