4. Deductive reasoning agents Flashcards
Deductive reasoning agents have two key problems to solve:
___ problem
___/___ problem
Transduction
Representation/reasoning
Transduction problem:
Translating ___ environment into an accurate, adequate
symbolic ___
Real-world
Description
Representation/reasoning problem:
___ representing information and getting agents to ___ with this information
Symbolically
Reason
Deductive reasoning agents:
.Contains an explicit ___ of the world
.___ given by formulae (predicate logic)
. Make decisions via ___
Symbolic representation
Internal state
Symbolic reasoning
Using Theorem proving, the agent can use ___ to encode a theory stating the best ___ to perform in a given situation
Logic
Action
Logic-based approaches are elegant and have (clean) ___
Logical semantics
Disadvantages of reasoning agents:
1- Inherent ___ of theorem proving
2- Cannot operate effectively in ___ environments
3- The environment cannot ___ while the agent is making a decision
4- Not easy to represent and reason about ___ and ___ environments
1- Computational complexity
2- Time-constrained
3- Change
4- Complex and dynamic