Please enable JavaScript.
Coggle requires JavaScript to display documents.
Logical agents (Horn's clauses (Head, Backward chaining, Positive,…
Logical agents
Horn's clauses
Head
Backward chaining
Positive
Data directed
Body
Objective directed
Forward cahining
top ontology
structure
space and time
change
processes
substances
beliefs
Resolution
Unitary
Factorization
Completeness
Conjuntive normal form
Closure
Wumpus's world
Shine
Wind
Matrix
Safety
List of the environment
Smells
Not monotonic logic,
The constituency
default logic
The reasoning by default
schedule of
set of answers
Logic
Syntax
Semantics
Truth value of every possible world
Modeling
Implication
Solid
Complete
Derivation
Denotation
Where's the agent?
Inference
Rules
Modus Ponens
Deletion
Demonstration
Proposition
Backtracking
Anticipated termination
True
False
Pure-symbol heuristics
Symbol which keeps its sing
Unitary clause heuristics
Just one literal
Unitary propagation
Forced assignation
Sentences
Contradictions
Deduction
Satisfactory
Complex
Logical connections
No
And
Or
Implies
Double condition
Atomic
Only one propositional symbol
Assumption of the closed worl
logical program
default information
negative information
Semantics
True
False
Truth boards
true maintenance systems
updates
revisions
categories
semantic networks
descriptive logic
Mind states
chains
beliefs
Satisfaction problems
Restriction
Monotony
Amount of sentences can increase