Matches in SemOpenAlex for { <https://semopenalex.org/work/W1993021247> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W1993021247 endingPage "101" @default.
- W1993021247 startingPage "87" @default.
- W1993021247 abstract "We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieved in the TM system through an interaction of the HR machine learning program, the Otter theorem prover and the Mace model generator. Given a non-theorem, Mace is used to generate examples which support the non-theorem, and examples which falsify it. HR then invents concepts which categorise these examples and TM uses these concepts to modify the original non-theorem into specialised theorems which Otter can prove. The methods employed by TM are inspired by the piecemeal exclusion, strategic withdrawal and counterexample barring methods described in Lakatos's philosophy of mathematics. In addition, TM can also determine which modified theorems are likely to be interesting and which are not. We demonstrate the effectiveness of this approach by modifying non-theorems taken from the TPTP library of first order theorems. We show that, for 98 non-theorems, TM produced meaningful modifications for 81 of them. This work forms part of two larger projects. Firstly, we are working towards a full implementation both of the reasoning and the social interaction notions described by Lakatos. Secondly, we are aiming to show that the combination of reasoning systems such as those used in TM will lead to a new generation of more powerful AI systems." @default.
- W1993021247 created "2016-06-24" @default.
- W1993021247 creator A5012487481 @default.
- W1993021247 creator A5040830236 @default.
- W1993021247 date "2005-07-01" @default.
- W1993021247 modified "2023-09-27" @default.
- W1993021247 title "The TM System for Repairing Non-Theorems" @default.
- W1993021247 cites W1490291451 @default.
- W1993021247 cites W1494059412 @default.
- W1993021247 cites W1501858132 @default.
- W1993021247 cites W1503042817 @default.
- W1993021247 cites W1555144148 @default.
- W1993021247 cites W1646117648 @default.
- W1993021247 cites W1826823769 @default.
- W1993021247 cites W1890599079 @default.
- W1993021247 cites W2011043790 @default.
- W1993021247 cites W2127571754 @default.
- W1993021247 cites W2284662111 @default.
- W1993021247 cites W3127702745 @default.
- W1993021247 cites W32204293 @default.
- W1993021247 doi "https://doi.org/10.1016/j.entcs.2004.07.021" @default.
- W1993021247 hasPublicationYear "2005" @default.
- W1993021247 type Work @default.
- W1993021247 sameAs 1993021247 @default.
- W1993021247 citedByCount "18" @default.
- W1993021247 countsByYear W19930212472012 @default.
- W1993021247 countsByYear W19930212472013 @default.
- W1993021247 countsByYear W19930212472014 @default.
- W1993021247 countsByYear W19930212472018 @default.
- W1993021247 countsByYear W19930212472021 @default.
- W1993021247 crossrefType "journal-article" @default.
- W1993021247 hasAuthorship W1993021247A5012487481 @default.
- W1993021247 hasAuthorship W1993021247A5040830236 @default.
- W1993021247 hasBestOaLocation W19930212471 @default.
- W1993021247 hasConcept C118615104 @default.
- W1993021247 hasConcept C121332964 @default.
- W1993021247 hasConcept C162838799 @default.
- W1993021247 hasConcept C163258240 @default.
- W1993021247 hasConcept C195344581 @default.
- W1993021247 hasConcept C199343813 @default.
- W1993021247 hasConcept C199360897 @default.
- W1993021247 hasConcept C206880738 @default.
- W1993021247 hasConcept C2777686260 @default.
- W1993021247 hasConcept C2780992000 @default.
- W1993021247 hasConcept C33923547 @default.
- W1993021247 hasConcept C41008148 @default.
- W1993021247 hasConcept C62520636 @default.
- W1993021247 hasConcept C71924100 @default.
- W1993021247 hasConcept C80444323 @default.
- W1993021247 hasConceptScore W1993021247C118615104 @default.
- W1993021247 hasConceptScore W1993021247C121332964 @default.
- W1993021247 hasConceptScore W1993021247C162838799 @default.
- W1993021247 hasConceptScore W1993021247C163258240 @default.
- W1993021247 hasConceptScore W1993021247C195344581 @default.
- W1993021247 hasConceptScore W1993021247C199343813 @default.
- W1993021247 hasConceptScore W1993021247C199360897 @default.
- W1993021247 hasConceptScore W1993021247C206880738 @default.
- W1993021247 hasConceptScore W1993021247C2777686260 @default.
- W1993021247 hasConceptScore W1993021247C2780992000 @default.
- W1993021247 hasConceptScore W1993021247C33923547 @default.
- W1993021247 hasConceptScore W1993021247C41008148 @default.
- W1993021247 hasConceptScore W1993021247C62520636 @default.
- W1993021247 hasConceptScore W1993021247C71924100 @default.
- W1993021247 hasConceptScore W1993021247C80444323 @default.
- W1993021247 hasIssue "3" @default.
- W1993021247 hasLocation W19930212471 @default.
- W1993021247 hasOpenAccess W1993021247 @default.
- W1993021247 hasPrimaryLocation W19930212471 @default.
- W1993021247 hasRelatedWork W1608891104 @default.
- W1993021247 hasRelatedWork W1844848791 @default.
- W1993021247 hasRelatedWork W2035030296 @default.
- W1993021247 hasRelatedWork W2038464985 @default.
- W1993021247 hasRelatedWork W2181546339 @default.
- W1993021247 hasRelatedWork W2494123147 @default.
- W1993021247 hasRelatedWork W2937242976 @default.
- W1993021247 hasRelatedWork W2991188812 @default.
- W1993021247 hasRelatedWork W3088258979 @default.
- W1993021247 hasRelatedWork W4245884879 @default.
- W1993021247 hasVolume "125" @default.
- W1993021247 isParatext "false" @default.
- W1993021247 isRetracted "false" @default.
- W1993021247 magId "1993021247" @default.
- W1993021247 workType "article" @default.