Logic: Difference between revisions
Mr. MacKenty (talk | contribs) No edit summary |
Mr. MacKenty (talk | contribs) No edit summary |
||
| (One intermediate revision by the same user not shown) | |||
| Line 6: | Line 6: | ||
# knowledge base | # knowledge base | ||
# inference engine (to make inferences from the knowledge base | # inference engine (to make inferences from the knowledge base) | ||
* '''Soundness:''' Only valid conclusions can be proven | * '''Soundness:''' Only valid conclusions can be proven | ||
* '''Completeness:''' All valid conclusions can be proven | * '''Completeness:''' All valid conclusions can be proven | ||
* '''Predicate''' A function that maps arguments to true or false values | |||
== References == | == References == | ||
<references /> | <references /> | ||
Latest revision as of 20:46, 20 March 2018
Artificial Intelligence[1]
Logic is a formal language that allows us to make assertions about the world in a very precise way[2]
A logic-based AI has 2 parts:
- knowledge base
- inference engine (to make inferences from the knowledge base)
- Soundness: Only valid conclusions can be proven
- Completeness: All valid conclusions can be proven
- Predicate A function that maps arguments to true or false values
References
- ↑ http://www.flaticon.com/
- ↑ Ashok Goel