The Frame Problem, Gödelian Incompleteness, and the Lucas-Penrose Argument: A Structural Analysis of Arguments About Limits of AI, and Its Physical and Metaphysical Consequences.
Yoshihiro MaruyamaPublished in: PT-AI (2017)
Keyphrases
- structural analysis
- argumentation theory
- argumentation frameworks
- argumentation systems
- legal argument
- abstract argumentation
- supreme court
- artificial intelligence
- civil engineering
- turing test
- argumentation semantics
- three dimensional
- image processing
- situation calculus
- legal cases
- defeasible argumentation
- incomplete information
- expert systems
- intelligent systems
- multi agent systems
- abstract argumentation frameworks
- reinforced concrete
- real world
- event calculus
- knowledge representation
- john mccarthy
- argumentation schemes
- logic based argumentation
- reasoning about actions
- hypothetical reasoning
- ai technologies
- computational model
- machine learning
- ai methods
- ai systems
- lecture notes in artificial intelligence
- computer science