Przemysław Więch sustained his PhD thesis


Przemysław Więch

On November 29, 2011: Przemysław Więch sustained his PhD thesis: "Distributed Default Reasoning in the Semantic Web", supervised by Professor Henryk Rybiński.

The dissertation presents a novel approach to distributed reasoning in a multi-agent system, in which the agents' knowledge bases are expressed in the language of description logic with defaults. In the Semantic Web environment, knowledge is distributed among many independent entities. An agent in such a multi-agent system may need to gather information from several remote sources in order to provide an answer to a query. Default logic can be embedded into description logic in order to handle incomplete knowledge, where it should be possible to retract inferences, which are proved to be incorrect. The thesis proposes a formalism of default transformations, which can be used to derive answers to queries in the form of defaults. Such new defaults can then be treated as intermediate results in the reasoning process. It is shown that passing messages containing transformed defaults is more informative than strict statements and avoids reaching conclusions too early. Furthermore, the model of a multi-agent system, which utilizes the proposed algorithms is proposed. Finally, the work describes the implementation and evaluation of a prototype system, which combines all of the introduced algorithms.

Last modified: Monday, June 18, 2012 - 11:43:49 AM, Wacław Struk

x x News (7) - by publication date

‹‹ December 2011 ››
Mon Tue Wed Thu Fri Sat Sun
      1 2 3 4
5 6 7 8 9 10 11
12 13 14 15 16 17 18
19 20 21 22 23 24 25
26 27 28 29 30 31  

absolwenci ankieta badania BigData dydaktyka IBM instytut Instytut Lotnictwa ISI kandydaci konkurs konkurs FINESCE orientacja praca praktyki prezentacja programowanie projekty przedmiot przedmioty publikacje seminarium specjalność staże zagraniczne studenci studia studia magisterskie studia za granicą stypendia Texas Instruments współpraca wykład

x x Tags

x x Month list