Matchmaking uppstår när utbud och efterfrågan möts på en elektronisk marknad, eller när agenter söker efter en webbtjänst för att utföra någon uppgift, eller till och med när rekryteringsbyråer matchar läroplaner och jobbprofiler. I sådana öppna miljöer är syftet med en matchmaking process att upptäcka bästa tillgängliga erbjudanden till en given begäran. Vi tar upp problemet med matchmaking ur ett kunskapsrepresentationsperspektiv, med en formalisering baserad på Beskrivning Logik. Vi utformar Concept Abduction och Concept Contraction som icke-monotoniska slutsatser i Beskrivning Logik lämplig för modellering av matchmaking i en logisk ram, och bevisa några relaterade komplexa resultat. Vi presenterar också rimliga algoritmer för semantisk matchmaking baserat på de utarbetade slutledningarna, och bevisar att de lyder vissa allmängiltiga egenskaper. Slutligen rapporterar vi om genomförandet av den föreslagna ramen för matchmaking, som har använts både som medlare på e-marknadsplatser och för upptäckt av semantiska webbtjänster.
Formaliseringen av begreppet sammandragning och koncept bortförande som icke-monotoniska resonemang uppgifter för semantisk matchmaking har förlagts i REF.
Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach
{'venue': 'Journal Of Artificial Intelligence Research, Volume 29, pages 269-307, 2007', 'journal': None, 'mag_field_of_study': ['Computer Science']}