Using semantics allows to reason on values which is not only based on type reasoning it furthermore allows subsumption reasoning . This means that the service matching is very powerful as not only a service name matching is performed .

u6b64u5916uff0cu4ed6u7528u8bedu4e49u8fd8u5141u8bb8 u6267u884c u5305u542bu63a8u7406uff0cu8fd9u610fu5473u7740u670du670du52a1u5339u914d u8fc7u7a0bu4e0du518du662fu4eeau5c40u9650u4e8eu670du52a1u540du79f0u7684u5339u914du3002

Meanwhile in the process of services composition planning we concern the matching problem considering the hidden semantic subsumption relation among the service interface parameters in order to offer more flexibility .

u540cu65f6uff0cu5728u7ec4u5408u670du52a1u89c4u5212u8fc7u7a0bu4e2duff0cu8003u8651u4e86u670du52a1u63a5u53e3u53c2u6570u7684u8bedu4e49 u5305u542bu5173u7cfbu4e0au7684u5339u914du4ee5u63d0u4f9bu66f4u5927u7684u7075u6d3bu6027u3002

Using effective reasoning capability of description logic especially its effective judgment to concept subsumption the combination of description logic and service reasoning in multi-agent systems is studied .

u8be5u6587u5229u7528u63cfu8ff0u903bu8f91u6709u6548u7684u63a8u7406u529fu80fduff0cu7279u522bu662fu5b83u5bf9u6982u5ff5 u5305u542b u5173u7cfbu7684u6709u6548u5224u65aduff0cu628au5b83u4e0eu591au4e3bu4f53u7cfbu7edfu7684u670du52a1u63a8u7406u7ed3u5408u8d77u6765u3002

A primary process in language learning is subsumption in which new language knowledge is linked with relevant concepts in the existing cognitive structures .

u8bedu8a00u5b66u4e60u7684u4e00u4e2au91cdu8981u8fc7u7a0bu5c31u662fu5c06u65b0u7684u8bedu8a00u77e5u8bc6 u6574u5408 u5230u5b66u4e60u8005u539fu6709u7684u8ba4u77e5u7ed3u6784u4e2duff0c u5efau7acbu65b0u7684 u56feu5f0f u548c u5f62u6210u610fu4e49u5efau6784u3002

This is what you get out of a subsumption architecture : complex seemingly purposeful behavior out of a set of simple layered behaviors .

u8fd9u5c31u662f u5305u5bb9u4f53u7cfbu7ed3u6784 u80fdu591f u53d6u5f97 u7684 u6548u679cuff1au7528u4e00u7ec4u7b80u5355u7684u5c42u6b21u5316u7684u884cu4e3a u6784u6210u590du6742u7684u770bu4f3cu6709u76eeu7684u7684u884cu4e3au3002

Then it introduces the Simbad toolkit and shows how to implement a subsumption architecture within Simbad .

u7136u540eu4ecbu7ecdSimbadu5de5u5177u7bb1u5e76u6f14u793au5982u4f55u5728Simbadu4e2du5b9eu73b0 u5305u5bb9u4f53u7cfbu7ed3u6784u3002

As a philosophical proposition Human freedom and comprehensive development refers to people living in this world through their own activities to subsumption human development fruits and comprehensive generated object relationship .

u4ebau7684u81eau7531u800cu5168u9762u53d1u5c55u4f5cu4e3au4e00u4e2au54f2u5b66u547du9898uff0cu662fu6307u4ebau5728u751fu6d3bu4e16u754cu4e2du901au8fc7u81eau5df1u7684u6d3bu52a8u53bb u6db5 u6444u4ebau7c7bu53d1u5c55u7684 u6240u6709u6210u679cu4ee5u53cau4ebau7684u5bf9u8c61 u6027u5173u7cfbu7684u5168u9762u751fu6210u3002

Implementing a subsumption architecture in Simbad

u5728Simbadu4e2du5b9eu73b0 u5305u5bb9u4f53u7cfbu7ed3u6784

That is towns organized by this subsumption architecture can build educate rule and prosper far more than they could individually .

u4e5fu5c31u662fu8bf4uff0cu4ee5u8fd9u79cd u5305u5bb9u67b6u6784u6240u7ec4u7ec7u8d77u6765u7684u4e61u9547uff0cu5728u5f00u5c55u5efau8bbeu3001u5b9eu65bdu6559u80b2u3001 u6267u884cu7ba1u7406u3001u7e41u8363u7ecfu6d4eu65b9u9762uff0cu90fdu53efu4ee5u505au5f97u6bd4u72ecu81ea u8fd0u4f5cu65f6 u597d u8bb8u591au3002

Application and Research of Subsumption in XML Types

u5b50 u5305u542b u6a21u5f0fu5728XMLu6570u636eu7c7bu578bu4e2du7684u5e94u7528u7814u7a76

Based on the simulation platform the autonomous navigation strategy was investigated which took wheel-track-leg compound mobile robot as an example . The navigation algorithm of ATAV using subsumption architecture was proposed .

u5e76u4ee5u8f6e-u5c65u5e26-u817fu5f0fu590du5408u578bu79fbu52a8u673au5668u4ebau4e3au4f8buff0cu5728u8054u5408u4effu771fu5e73u53f0u4e0au5bf9ATAVu81eau4e3bu5bfcu822au63a7u5236u7b56u7565u8fdbu884cu4effu771fu7814u7a76uff0cu63d0u51fau4e86u57fau4e8e u5305u5bb9u7ed3u6784u7684 ATAVu81eau4e3bu5bfcu822au63a7u5236u7b97u6cd5u3002

This article starts with a brief overview of robotics and explains the subsumption architecture concept .

u672cu6587u9996u5148u7b80u8981u6982u8ff0u673au5668u4ebau5b66u5e76u89e3u91ca u5305u5bb9u4f53u7cfbu7ed3u6784u6982u5ff5u3002

Deletion strategy using weak subsumption relation for modal resolution

u6a21u6001u5f52u7ed3u5f31 u5305u542bu5220u9664u7b56u7565

At last we give a sound and complete method to problem of subsumption .

u6700u540eu7ed9u51fa u672fu8bedu5305u542b u6027 u7684 u68c0u9a8cu65b9u6cd5uff0cu5e76 u8bc1u660eu4e86 u8fd9u79cdu65b9u6cd5u7684u5408u7406u6027u4e0e u5b8cu5907u6027u3002

The algorithms for RDF-based query subsumption inference and query rewriting are also introduced .

u5e76u7ed9u51fau4e86u4e00u4e2aRDFu8bedu4e49u67e5u8be2 u5305u542bu7b97u6cd5u548cu67e5u8be2u91cdu5199u7b97u6cd5u3002

In tradition subsumption is the most important technique in law applying especially in the view of law positivism .

u4f20u7edfu4e0auff0cu7279u522bu662fu5728u6cd5u5f8bu5b9eu8bc1u4e3bu4e49 u90a3u91ccuff0c u903bu8f91 u6db5 u6444u5728u6cd5u5f8bu9002u7528u4e2du662fu5176u6838u5fc3u6280u672fu3002

Study on Naive Ontology Model and Subsumption Checking Overview of Ontology

u7b80u5355u672cu4f53u7684 u5f62u5f0f u5316u6a21u578bu53ca u5305u542b u6027u68c0u9a8cOntologyu7814u7a76u7efcu8ff0

However using subsumption programming makes the code a lot cleaner more modular and easier to understand even in a robot as simple as this .

u4f46u662fuff0cu5373u4f7fu5bf9u4e8eu8fd9u4e48u7b80u5355u7684u673au5668u4ebauff0cu4f7fu7528 u5305u5bb9u7f16u7a0bu4e5fu4f1au4f7fu4ee3u7801u66f4u52a0u6e05u6670uff0cu66f4u6a21u5757u5316uff0cu66f4u5bb9u6613u7406u89e3u3002

Second based on the Open World Assumption a proof on the equivalence between the problem of answering RDF-based semantic queries using semantic view and the problem of RDF-based semantic query subsumption inference is presented .

u5e76u7cfbu7edfu7684u7814u7a76u4e86u5728u5f00u653eu5f0fu4e16u754cu5047u8bbeu4e0buff0cu57fau4e8eu8bedu4e49u89c6u56feu7684Webu8bedu4e49u67e5u8be2u95eeu7b54u4e0eu8bedu4e49u67e5u8be2u91cdu5199uff1bu8bc1u660eu4e86u57fau4e8eu89c6u56feu7684u8bedu4e49u67e5u8be2u95eeu7b54u95eeu9898u4e0eRDFu8bedu4e49u67e5u8be2u7684 u5305u542bu63a8u7406u95eeu9898u4e4bu95f4u7684u7b49u4ef7u6027uff1b

This paper makes systematical analysis and subsumption for each error connection of main transformer 's differential protection and puts forward corresponding methods for correction .

u5bf9u53d8u538bu5668u5deeu52a8u4fddu62a4u7684u5404u79cdu9519u8befu63a5u7ebfu65b9u5f0fu8fdbu884cu4e86u7cfbu7edfu7684u5206u6790u548c u5f52u7c7buff0cu5e76u63d0u51fau4e86u7ea0u6b63u7684u65b9u6cd5u3002

Based on combination method of similarity measure model and subsumption reasoning asemantic matching and service discovery algorism has been proposed .

u63d0u51fau4e86u57fau4e8eu7a7au95f4u8bedu4e49u76f8u4f3cu6027u5ea6u91cfu6a21u578bu7684 u5305u542b u6027u63a8u7406u673au5236uff0cu5efau7acbu4e86u6df7u5408u6a21u5f0fu7684u670du52a1u8bedu4e49u5339u914du4e0eu53d1u73b0u7b97u6cd5uff0cu63d0u9ad8u4e86u670du52a1u53d1u73b0u7684u6548u7387u3002