Matches in SemOpenAlex for { <https://semopenalex.org/work/W1560278889> ?p ?o ?g. }
- W1560278889 endingPage "173" @default.
- W1560278889 startingPage "149" @default.
- W1560278889 abstract "One current direction in AI research is to focus on combining different reasoning styles such as deduction, induction, abduction, analogical reasoning, non-monotonic reasoning, vague and uncertain reasoning. The philosopher Imre Lakatos produced one such theory of how people with different reasoning styles collaborate to develop mathematical ideas. Lakatos argued that mathematics is a quasi-empirical, flexible, fallible, human endeavour, involving negotiations, mistakes, vague concept definitions and disagreements, and he outlined a heuristic approach towards the subject. In this chapter we apply these heuristics to the AI domains of evolving requirement specifications, planning and constraint satisfaction problems. In drawing analogies between Lakatos’s theory and these three domains we identify areas of work which correspond to each heuristic, and suggest extensions and further ways in which Lakatos’s philosophy can inform AI problem solving. Thus, we show how we might begin to produce a philosophically-inspired AI theory of combined reasoning." @default.
- W1560278889 created "2016-06-24" @default.
- W1560278889 creator A5012487481 @default.
- W1560278889 creator A5022329872 @default.
- W1560278889 creator A5037102800 @default.
- W1560278889 creator A5040830236 @default.
- W1560278889 creator A5050492907 @default.
- W1560278889 creator A5064955560 @default.
- W1560278889 creator A5077910506 @default.
- W1560278889 creator A5084953724 @default.
- W1560278889 date "2010-01-01" @default.
- W1560278889 modified "2023-09-25" @default.
- W1560278889 title "Applying Lakatos-Style Reasoning to AI Domains" @default.
- W1560278889 cites W12175793 @default.
- W1560278889 cites W1488786857 @default.
- W1560278889 cites W1492160417 @default.
- W1560278889 cites W1495433690 @default.
- W1560278889 cites W1511287081 @default.
- W1560278889 cites W1513012150 @default.
- W1560278889 cites W1527952596 @default.
- W1560278889 cites W1545811375 @default.
- W1560278889 cites W1555144148 @default.
- W1560278889 cites W1752007346 @default.
- W1560278889 cites W1756713414 @default.
- W1560278889 cites W1826823769 @default.
- W1560278889 cites W1944542258 @default.
- W1560278889 cites W1966379407 @default.
- W1560278889 cites W1971486022 @default.
- W1560278889 cites W1980510330 @default.
- W1560278889 cites W1993021247 @default.
- W1560278889 cites W2004063149 @default.
- W1560278889 cites W2031111226 @default.
- W1560278889 cites W2043193943 @default.
- W1560278889 cites W2054240114 @default.
- W1560278889 cites W2072405721 @default.
- W1560278889 cites W2087730581 @default.
- W1560278889 cites W2087964658 @default.
- W1560278889 cites W2094110556 @default.
- W1560278889 cites W2111039950 @default.
- W1560278889 cites W2116313279 @default.
- W1560278889 cites W2119831128 @default.
- W1560278889 cites W2120203610 @default.
- W1560278889 cites W2126237658 @default.
- W1560278889 cites W2147639553 @default.
- W1560278889 cites W2164457256 @default.
- W1560278889 cites W2326972230 @default.
- W1560278889 cites W2332128459 @default.
- W1560278889 cites W2569549435 @default.
- W1560278889 cites W2797875826 @default.
- W1560278889 cites W2802416870 @default.
- W1560278889 cites W2912160962 @default.
- W1560278889 cites W47175538 @default.
- W1560278889 cites W659055392 @default.
- W1560278889 cites W80684329 @default.
- W1560278889 doi "https://doi.org/10.4018/978-1-61692-014-2.ch010" @default.
- W1560278889 hasPublicationYear "2010" @default.
- W1560278889 type Work @default.
- W1560278889 sameAs 1560278889 @default.
- W1560278889 citedByCount "5" @default.
- W1560278889 countsByYear W15602788892013 @default.
- W1560278889 countsByYear W15602788892014 @default.
- W1560278889 countsByYear W15602788892017 @default.
- W1560278889 crossrefType "book-chapter" @default.
- W1560278889 hasAuthorship W1560278889A5012487481 @default.
- W1560278889 hasAuthorship W1560278889A5022329872 @default.
- W1560278889 hasAuthorship W1560278889A5037102800 @default.
- W1560278889 hasAuthorship W1560278889A5040830236 @default.
- W1560278889 hasAuthorship W1560278889A5050492907 @default.
- W1560278889 hasAuthorship W1560278889A5064955560 @default.
- W1560278889 hasAuthorship W1560278889A5077910506 @default.
- W1560278889 hasAuthorship W1560278889A5084953724 @default.
- W1560278889 hasConcept C103057564 @default.
- W1560278889 hasConcept C111472728 @default.
- W1560278889 hasConcept C111919701 @default.
- W1560278889 hasConcept C120665830 @default.
- W1560278889 hasConcept C121332964 @default.
- W1560278889 hasConcept C127705205 @default.
- W1560278889 hasConcept C138885662 @default.
- W1560278889 hasConcept C154945302 @default.
- W1560278889 hasConcept C166957645 @default.
- W1560278889 hasConcept C173801870 @default.
- W1560278889 hasConcept C192209626 @default.
- W1560278889 hasConcept C2524010 @default.
- W1560278889 hasConcept C2776036281 @default.
- W1560278889 hasConcept C2776445246 @default.
- W1560278889 hasConcept C33923547 @default.
- W1560278889 hasConcept C41008148 @default.
- W1560278889 hasConcept C95457728 @default.
- W1560278889 hasConcept C97364631 @default.
- W1560278889 hasConceptScore W1560278889C103057564 @default.
- W1560278889 hasConceptScore W1560278889C111472728 @default.
- W1560278889 hasConceptScore W1560278889C111919701 @default.
- W1560278889 hasConceptScore W1560278889C120665830 @default.
- W1560278889 hasConceptScore W1560278889C121332964 @default.
- W1560278889 hasConceptScore W1560278889C127705205 @default.
- W1560278889 hasConceptScore W1560278889C138885662 @default.
- W1560278889 hasConceptScore W1560278889C154945302 @default.
- W1560278889 hasConceptScore W1560278889C166957645 @default.