Z.til
–AI Classics/files/AI/classics/Machine_Intelligence_10/Machine_Intelligence_v10.pdf
This paper describes some work on automatically generating finite counterexamples in topology, and the use of counterexamples to speed up proof discovery in intermediate analysis, and gives some examples theorems where human provers are aided in proof discovery by the use of examples.
Jan-25-2015, 22:18:33 GMT
- Country:
- Asia > Middle East (1.00)
- Africa > Middle East (0.67)
- North America > United States
- California > Los Angeles County (0.27)
- Texas > Travis County
- Austin (0.27)
- Europe
- United Kingdom > England (1.00)
- Germany (0.92)
- Genre:
- Overview (1.00)
- Instructional Material > Course Syllabus & Notes (1.00)
- Collection (0.92)
- Research Report
- Experimental Study (1.00)
- New Finding (0.67)
- Industry:
- Law (1.00)
- Materials > Metals & Mining (1.00)
- Information Technology (1.00)
- Media (1.00)
- Automobiles & Trucks (0.92)
- Transportation > Ground
- Road (0.92)
- Leisure & Entertainment
- Education > Educational Setting
- Higher Education (0.92)
- Health & Medicine
- Pharmaceuticals & Biotechnology (1.00)
- Therapeutic Area
- Neurology (1.00)
- Infections and Infectious Diseases (1.00)
- Oncology (0.67)
- Government
- Military (1.00)
- Regional Government
- North America Government > United States Government (1.00)
- >
- > > > > North America Government (1.00)
- Energy > Oil & Gas
- Upstream (1.00)
- Technology:
- Information Technology
- Knowledge Management > Knowledge Engineering (1.02)
- Software > Programming Languages (1.01)
- Data Science > Data Mining (1.00)
- Sensing and Signal Processing > Image Processing (0.92)
- Hardware > Memory (0.92)
- Artificial Intelligence
- Robots (1.01)
- Cognitive Science > Problem Solving (1.00)
- Vision (1.00)
- Games (1.00)
- Systems & Languages > Programming Languages (0.92)
- Natural Language > Grammars & Parsing (0.67)
- Representation & Reasoning
- Expert Systems (1.03)
- Logic & Formal Reasoning (1.02)
- Rule-Based Reasoning (1.01)
- Search (1.00)
- Planning & Scheduling (1.00)
- Agents (1.00)
- Belief Revision (1.00)
- Uncertainty (1.00)
- Object-Oriented Architecture (0.92)
- Optimization (0.67)
- Machine Learning
- Pattern Recognition (1.00)
- Neural Networks (0.92)
- Statistical Learning > Clustering (0.67)
- Information Technology