Please enable JavaScript.
Coggle requires JavaScript to display documents.
Cap7: Logical agents (Horns clauses (Forward cahining, Body, Positive,…
Cap7: Logical agents
Horns clauses
Forward cahining
Body
Positive
Head
Data directed
Objective directed
Resolution
Closure
Completeness
Unitary
Factorization
Conjuntive normal form
Top ontology
Substances
Change
Structure
Space and time
Processes
Sentences
Contradictions
Atomic
One proposicional symbol
Deduction
Complex Logical Connections
Or
No
And
Double condition
Implies
Not monotic logic
Default logic
Schedule: set of answers
The constituency
The reasoning by default
Inference
Rules
Deletion
Demonstration
Proposition
Backtracking
Pure-symbols heuristics
Unitary clause heuristics
One literal
Anticipated termination
True
False
Unitary propagation
Wumpu's world
Shine
Wind
Matrix
List of the environment
Safety
Smells
Logic
Syntax
Truth value of every possible world
Implication
Semantics
Denotation
Semantics
Truth boards
True
False
Assumption of the closed world
Negative information
Logical program
Default information
Mind states
Chains
Beliefs