Matches in SemOpenAlex for { <https://semopenalex.org/work/W2042236049> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2042236049 endingPage "105" @default.
- W2042236049 startingPage "65" @default.
- W2042236049 abstract "Knowledge-based proof planning is a new paradigm in automated theorem proving (ATP) which swings the motivational pendulum back to its AI origins in that it employs and further develops many AI principles and techniques such as hierarchical planning, knowledge representation in frames and control-rules, constraint solving, tactical and meta-level reasoning. It differs from traditional search-based techniques in ATP not least with respect to its level of abstraction: the proof of a theorem is planned at an abstract level and an outline of the proof is found. This outline, i.e., the abstract proof plan, can be recursively expanded and it will thus construct a proof within a logical calculus. The plan operators represent mathematical techniques familiar to a working mathematician. While the knowledge of a domain is specific to the mathematical field, the representational techniques and reasoning procedures are general-purpose. The general-purpose planner makes use of this mathematical domain knowledge and of the guidance provided by declaratively represented control-rules which correspond to mathematical intuition about how to prove a theorem in a particular situation. These rules provide a basis for meta-level reasoning and goal-directed behaviour. We demonstrate our approach for the mathematical domain of limit theorems, which was proposed as a challenge to automated theorem proving by the late Woody Bledsoe. Using the proof planner of the Ωmega system we were able to solve all the well known challenge theorems including those that cannot be solved by any of the existing traditional systems." @default.
- W2042236049 created "2016-06-24" @default.
- W2042236049 creator A5044203427 @default.
- W2042236049 creator A5081181060 @default.
- W2042236049 date "1999-11-01" @default.
- W2042236049 modified "2023-09-29" @default.
- W2042236049 title "Knowledge-based proof planning" @default.
- W2042236049 cites W1489232789 @default.
- W2042236049 cites W1510333080 @default.
- W2042236049 cites W1549859189 @default.
- W2042236049 cites W1559515237 @default.
- W2042236049 cites W1871213645 @default.
- W2042236049 cites W1972550579 @default.
- W2042236049 cites W1981627423 @default.
- W2042236049 cites W1982250324 @default.
- W2042236049 cites W1996404651 @default.
- W2042236049 cites W2010405422 @default.
- W2042236049 cites W2010939537 @default.
- W2042236049 cites W2017626051 @default.
- W2042236049 cites W2018221833 @default.
- W2042236049 cites W2022796917 @default.
- W2042236049 cites W2023139438 @default.
- W2042236049 cites W2034500240 @default.
- W2042236049 cites W2035078485 @default.
- W2042236049 cites W2038634728 @default.
- W2042236049 cites W2060498389 @default.
- W2042236049 cites W2063727779 @default.
- W2042236049 cites W2074251133 @default.
- W2042236049 cites W2080104522 @default.
- W2042236049 cites W2084894656 @default.
- W2042236049 cites W2085089824 @default.
- W2042236049 cites W2100738443 @default.
- W2042236049 cites W2180809782 @default.
- W2042236049 cites W2337392266 @default.
- W2042236049 doi "https://doi.org/10.1016/s0004-3702(99)00076-4" @default.
- W2042236049 hasPublicationYear "1999" @default.
- W2042236049 type Work @default.
- W2042236049 sameAs 2042236049 @default.
- W2042236049 citedByCount "74" @default.
- W2042236049 countsByYear W20422360492013 @default.
- W2042236049 countsByYear W20422360492014 @default.
- W2042236049 countsByYear W20422360492015 @default.
- W2042236049 countsByYear W20422360492018 @default.
- W2042236049 countsByYear W20422360492019 @default.
- W2042236049 countsByYear W20422360492020 @default.
- W2042236049 countsByYear W20422360492021 @default.
- W2042236049 countsByYear W20422360492023 @default.
- W2042236049 crossrefType "journal-article" @default.
- W2042236049 hasAuthorship W2042236049A5044203427 @default.
- W2042236049 hasAuthorship W2042236049A5081181060 @default.
- W2042236049 hasConcept C108710211 @default.
- W2042236049 hasConcept C114073186 @default.
- W2042236049 hasConcept C134306372 @default.
- W2042236049 hasConcept C154945302 @default.
- W2042236049 hasConcept C173613240 @default.
- W2042236049 hasConcept C195653647 @default.
- W2042236049 hasConcept C206880738 @default.
- W2042236049 hasConcept C2318724 @default.
- W2042236049 hasConcept C2524010 @default.
- W2042236049 hasConcept C2776999362 @default.
- W2042236049 hasConcept C33923547 @default.
- W2042236049 hasConcept C36503486 @default.
- W2042236049 hasConcept C41008148 @default.
- W2042236049 hasConcept C80444323 @default.
- W2042236049 hasConceptScore W2042236049C108710211 @default.
- W2042236049 hasConceptScore W2042236049C114073186 @default.
- W2042236049 hasConceptScore W2042236049C134306372 @default.
- W2042236049 hasConceptScore W2042236049C154945302 @default.
- W2042236049 hasConceptScore W2042236049C173613240 @default.
- W2042236049 hasConceptScore W2042236049C195653647 @default.
- W2042236049 hasConceptScore W2042236049C206880738 @default.
- W2042236049 hasConceptScore W2042236049C2318724 @default.
- W2042236049 hasConceptScore W2042236049C2524010 @default.
- W2042236049 hasConceptScore W2042236049C2776999362 @default.
- W2042236049 hasConceptScore W2042236049C33923547 @default.
- W2042236049 hasConceptScore W2042236049C36503486 @default.
- W2042236049 hasConceptScore W2042236049C41008148 @default.
- W2042236049 hasConceptScore W2042236049C80444323 @default.
- W2042236049 hasIssue "1" @default.
- W2042236049 hasLocation W20422360491 @default.
- W2042236049 hasOpenAccess W2042236049 @default.
- W2042236049 hasPrimaryLocation W20422360491 @default.
- W2042236049 hasRelatedWork W1490291451 @default.
- W2042236049 hasRelatedWork W1500659951 @default.
- W2042236049 hasRelatedWork W1858809161 @default.
- W2042236049 hasRelatedWork W2042236049 @default.
- W2042236049 hasRelatedWork W2050283601 @default.
- W2042236049 hasRelatedWork W2055920195 @default.
- W2042236049 hasRelatedWork W2099924673 @default.
- W2042236049 hasRelatedWork W3187382182 @default.
- W2042236049 hasRelatedWork W1852954869 @default.
- W2042236049 hasRelatedWork W2611984052 @default.
- W2042236049 hasVolume "115" @default.
- W2042236049 isParatext "false" @default.
- W2042236049 isRetracted "false" @default.
- W2042236049 magId "2042236049" @default.
- W2042236049 workType "article" @default.