Matches in SemOpenAlex for { <https://semopenalex.org/work/W2095671644> ?p ?o ?g. }
- W2095671644 endingPage "237" @default.
- W2095671644 startingPage "167" @default.
- W2095671644 abstract "We describe a logic-based AI architecture based on Brooks' subsumption architecture. In this architecture, we axiomatize different layers of control in First-Order Logic (FOL) and use independent theorem provers to derive each layer's outputs given its inputs. We implement the subsumption of lower layers by higher layers using nonmonotonic reasoning principles. In particular, we use circumscription to make default assumptions in lower layers, and nonmonotonically retract those assumptions when higher layers draw new conclusions. We also give formal semantics to our approach. Finally, we describe layers designed for the task of robot control and a system that we have implemented that uses this architecture for the control of a Nomad 200 mobile robot. Our system combines the virtues of using the represent-and-reason paradigm and the behavioral-decomposition paradigm. It allows multiple goals to be serviced simultaneously and reactively. It also allows high-level tasks and is tolerant to different changes and elaborations of its knowledge in runtime. Finally, it allows us to give more commonsense knowledge to robots. We report on several experiments that empirically show the feasibility of using fully expressive FOL theorem provers for robot control with our architecture and the benefits claimed above." @default.
- W2095671644 created "2016-06-24" @default.
- W2095671644 creator A5017507614 @default.
- W2095671644 creator A5066561601 @default.
- W2095671644 date "2004-03-01" @default.
- W2095671644 modified "2023-10-14" @default.
- W2095671644 title "Logic-based subsumption architecture" @default.
- W2095671644 cites W1966089223 @default.
- W2095671644 cites W1980717258 @default.
- W2095671644 cites W1993512664 @default.
- W2095671644 cites W1994226409 @default.
- W2095671644 cites W1998363560 @default.
- W2095671644 cites W2008294142 @default.
- W2095671644 cites W2042965494 @default.
- W2095671644 cites W2045474169 @default.
- W2095671644 cites W2047669821 @default.
- W2095671644 cites W2054628190 @default.
- W2095671644 cites W2059039791 @default.
- W2095671644 cites W2097856935 @default.
- W2095671644 cites W2107923300 @default.
- W2095671644 cites W2133217918 @default.
- W2095671644 cites W2137171066 @default.
- W2095671644 doi "https://doi.org/10.1016/j.artint.2003.07.001" @default.
- W2095671644 hasPublicationYear "2004" @default.
- W2095671644 type Work @default.
- W2095671644 sameAs 2095671644 @default.
- W2095671644 citedByCount "32" @default.
- W2095671644 countsByYear W20956716442012 @default.
- W2095671644 countsByYear W20956716442013 @default.
- W2095671644 countsByYear W20956716442014 @default.
- W2095671644 countsByYear W20956716442015 @default.
- W2095671644 countsByYear W20956716442021 @default.
- W2095671644 countsByYear W20956716442022 @default.
- W2095671644 countsByYear W20956716442023 @default.
- W2095671644 crossrefType "journal-article" @default.
- W2095671644 hasAuthorship W2095671644A5017507614 @default.
- W2095671644 hasAuthorship W2095671644A5066561601 @default.
- W2095671644 hasBestOaLocation W20956716442 @default.
- W2095671644 hasConcept C102993220 @default.
- W2095671644 hasConcept C123657996 @default.
- W2095671644 hasConcept C124681953 @default.
- W2095671644 hasConcept C142362112 @default.
- W2095671644 hasConcept C153349607 @default.
- W2095671644 hasConcept C154945302 @default.
- W2095671644 hasConcept C159032336 @default.
- W2095671644 hasConcept C162324750 @default.
- W2095671644 hasConcept C178790620 @default.
- W2095671644 hasConcept C184337299 @default.
- W2095671644 hasConcept C185592680 @default.
- W2095671644 hasConcept C187736073 @default.
- W2095671644 hasConcept C18903297 @default.
- W2095671644 hasConcept C199360897 @default.
- W2095671644 hasConcept C2775924081 @default.
- W2095671644 hasConcept C2779227376 @default.
- W2095671644 hasConcept C2780451532 @default.
- W2095671644 hasConcept C41008148 @default.
- W2095671644 hasConcept C62360110 @default.
- W2095671644 hasConcept C80444323 @default.
- W2095671644 hasConcept C86803240 @default.
- W2095671644 hasConcept C90509273 @default.
- W2095671644 hasConceptScore W2095671644C102993220 @default.
- W2095671644 hasConceptScore W2095671644C123657996 @default.
- W2095671644 hasConceptScore W2095671644C124681953 @default.
- W2095671644 hasConceptScore W2095671644C142362112 @default.
- W2095671644 hasConceptScore W2095671644C153349607 @default.
- W2095671644 hasConceptScore W2095671644C154945302 @default.
- W2095671644 hasConceptScore W2095671644C159032336 @default.
- W2095671644 hasConceptScore W2095671644C162324750 @default.
- W2095671644 hasConceptScore W2095671644C178790620 @default.
- W2095671644 hasConceptScore W2095671644C184337299 @default.
- W2095671644 hasConceptScore W2095671644C185592680 @default.
- W2095671644 hasConceptScore W2095671644C187736073 @default.
- W2095671644 hasConceptScore W2095671644C18903297 @default.
- W2095671644 hasConceptScore W2095671644C199360897 @default.
- W2095671644 hasConceptScore W2095671644C2775924081 @default.
- W2095671644 hasConceptScore W2095671644C2779227376 @default.
- W2095671644 hasConceptScore W2095671644C2780451532 @default.
- W2095671644 hasConceptScore W2095671644C41008148 @default.
- W2095671644 hasConceptScore W2095671644C62360110 @default.
- W2095671644 hasConceptScore W2095671644C80444323 @default.
- W2095671644 hasConceptScore W2095671644C86803240 @default.
- W2095671644 hasConceptScore W2095671644C90509273 @default.
- W2095671644 hasIssue "1-2" @default.
- W2095671644 hasLocation W20956716441 @default.
- W2095671644 hasLocation W20956716442 @default.
- W2095671644 hasOpenAccess W2095671644 @default.
- W2095671644 hasPrimaryLocation W20956716441 @default.
- W2095671644 hasRelatedWork W120492913 @default.
- W2095671644 hasRelatedWork W1485855639 @default.
- W2095671644 hasRelatedWork W1508481787 @default.
- W2095671644 hasRelatedWork W1517451538 @default.
- W2095671644 hasRelatedWork W2160146772 @default.
- W2095671644 hasRelatedWork W2163857618 @default.
- W2095671644 hasRelatedWork W2376634769 @default.
- W2095671644 hasRelatedWork W3103138019 @default.
- W2095671644 hasRelatedWork W50111213 @default.
- W2095671644 hasRelatedWork W92284009 @default.
- W2095671644 hasVolume "153" @default.