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:
- Africa > Middle East (0.67)
- Asia > Middle East (1.00)
- Europe
- Germany (0.92)
- United Kingdom > England (1.00)
- North America > United States
- California > Los Angeles County (0.27)
- Texas > Travis County
- Austin (0.27)
- Genre:
- Collection (0.92)
- Instructional Material > Course Syllabus & Notes (1.00)
- Overview (1.00)
- Research Report
- Experimental Study (1.00)
- New Finding (0.67)
- Industry:
- Media (1.00)
- Energy > Oil & Gas
- Upstream (1.00)
- Automobiles & Trucks (0.92)
- Government
- Military (1.00)
- Regional Government
- >
- > > > > North America Government (1.00)
- North America Government > United States Government (1.00)
- >
- Materials > Metals & Mining (1.00)
- Health & Medicine
- Pharmaceuticals & Biotechnology (1.00)
- Therapeutic Area
- Infections and Infectious Diseases (1.00)
- Neurology (1.00)
- Oncology (0.67)
- Law (1.00)
- Information Technology (1.00)
- Education > Educational Setting
- Higher Education (0.92)
- Leisure & Entertainment
- Transportation > Ground
- Road (0.92)
- Technology:
- Information Technology
- Artificial Intelligence
- Cognitive Science > Problem Solving (1.00)
- Games (1.00)
- Machine Learning
- Neural Networks (0.92)
- Pattern Recognition (1.00)
- Statistical Learning > Clustering (0.67)
- Natural Language > Grammars & Parsing (0.67)
- Representation & Reasoning
- Planning & Scheduling (1.00)
- Agents (1.00)
- Belief Revision (1.00)
- Object-Oriented Architecture (0.92)
- Uncertainty (1.00)
- Expert Systems (1.03)
- Logic & Formal Reasoning (1.02)
- Rule-Based Reasoning (1.01)
- Optimization (0.67)
- Search (1.00)
- Robots (1.01)
- Systems & Languages > Programming Languages (0.92)
- Vision (1.00)
- Data Science > Data Mining (1.00)
- Hardware > Memory (0.92)
- Knowledge Management > Knowledge Engineering (1.02)
- Sensing and Signal Processing > Image Processing (0.92)
- Software > Programming Languages (1.01)
- Artificial Intelligence
- Information Technology