Symbolic logic and mechanical theorem proving /
από: Chang, Chin-Liang, 1937-
Στοιχεία έκδοσης: (1987)
Commonsense reasoning
To endow computers with common sense is one of the major long-term goals of Artificial Intelligence research. One approach to this problem is to formalize commonsense reasoning using mathematical logic. Commonsense Reasoning is a detailed, high-level reference on logic-based commonsense reasoning. I...
| Κύριος συγγραφέας: | Mueller, Erik T. |
|---|---|
| Μορφή: | Ηλεκτρονική πηγή |
| Γλώσσα: | English |
| Στοιχεία έκδοσης: |
Amsterdam ; Boston :
Elsevier Morgan Kaufmann,
c2006.
|
| Θέματα: | |
| Διαθέσιμο Online: |
http://www.sciencedirect.com/science/book/9780123693884 |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|