Rigor Mortis: A Response to Nilsson's "Logic and Artificial Intelligence".
Lawrence BirnbaumPublished in: Artif. Intell. (1991)
Keyphrases
- artificial intelligence
- computational logic
- human reasoning
- expert systems
- logic programming
- intelligent systems
- multi valued
- computational intelligence
- classical logic
- cognitive psychology
- scientific discovery
- modal logic
- knowledge representation
- computer science
- predicate logic
- software engineering
- engineering design
- ai systems
- knowledge representation and reasoning
- computational properties
- design science
- ai methods
- ai technologies
- decision theory
- computational linguistics
- probability theory
- machine intelligence
- real time
- ambient intelligence
- intelligent agents
- knowledge based systems
- artificial neural networks
- machine learning