Please enable JavaScript.
Coggle requires JavaScript to display documents.
Logic Agents (Propositional logic (Agents (Agents based on inference…
Logic Agents
Propositional logic
Propositional symbols
Set of possible models
Finite
Backtracking
Local Search
Logical connective
Inference rules
Find demonstrations
Resolution rule
Horn clauses
Chaining forward
Chaining back
Agents
Agents based on inference
Inference algorithms
Save the world path
Deduct hidden properties
Circuit-based agents
Proposals in registers
Knowledge based agents
Knowledge base
Sentences about the world
Inference mechanism
Infer new sentences
Decide what action to take
Algorithms
Solids
sentences involved
Complete
all sentences
Inteligent agents
Knowledge about the world
Right decisions
Sentences
Language of representation of knowledge
Knowledge base
Sintaxis
Sentences structure
Implication relationship
Valitidy
Unsatisfactoriness
Semantics
Truth value