Logic and Artificial Intelligence: A New Synthesis?
Donald PerlisPublished in: Fundam. Informaticae (1993)
Keyphrases
- artificial intelligence
- logic synthesis
- computer science
- human reasoning
- computational logic
- classical logic
- modal logic
- expert systems
- fuzzy logic
- computational intelligence
- multi valued
- knowledge engineering
- functional programs
- predicate logic
- cognitive science
- natural language processing
- intelligent agents
- automated reasoning
- logic programming
- case based reasoning
- program synthesis
- ai methods
- real time
- neural network
- machine learning
- ai technologies
- proof theory
- knowledge representation
- digital circuits
- logical framework
- texture synthesis
- engineering design
- database