Some perspectives on mathematical aspects of artificial intelligence: Logic versus approximation.
Michael M. RichterPublished in: Ann. Math. Artif. Intell. (2000)
Keyphrases
- artificial intelligence
- human reasoning
- modal logic
- formal logic
- computer science
- computational intelligence
- mathematical theory
- computational logic
- closed form
- computer algebra
- cognitive psychology
- multi valued
- automated reasoning
- cognitive science
- logic programming
- software engineering
- knowledge representation
- neural network
- approximation schemes
- computational systems
- ai technologies
- data mining
- mathematical models
- engineering design
- error bounds
- fuzzy logic
- expert systems
- ai systems
- relative error
- predicate logic
- probability theory
- asynchronous circuits
- error tolerance
- machine learning