Previous ...

more...

Blocking mechanisms in description logics, a general approach

Dmitry Tishkovsky - 11.6.2008

We will take a close look on various standard mechanism of blocking in tableaux for various description logics and attemt to simulate these mechanisms by a general blocking rule - the unrestricted blocking rule. In particular, we will consider static and dynamic, subset and equality, and successor and anywhere blocking mechanisms.


more...

A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments

Dmitry Tishkovsky - 11.6.2008

A general method for proving termination of tableaux-based procedures for modal-type logics and related first-order fragments will be presented. The method is based on connections between filtration arguments and a general blocking technique. The method provides a general framework for developing tableau-based decision procedures for a large class of logics. In particular, the method can be applied to many well-known description and modal logics. The class includes traditional modal logics such as S4 and modal logics with the universal modality, as well as description logics such as ALC with nominals and general TBoxes. Also contained in the class are harder and less well-studied modal logics with complex modalities and description logics with complex role operators such as Boolean modal logic, and the description logic ALBO. In addition, the techniques allow us to specify tableau-based decision procedures for related solvable fragments of first-order logic, including the two-variable fragment of first-order logic. This solves a long-standing open problem.


more...

Reasoning about actions and knowlege: Multi-agent dynamic logics with informational test

Dmitry Tishkovsky - 9.6.2008

The logics are based on a new formalisation and semantics of the test operator of propositional dynamic logic and a representation of actions which distinguishes abstract actions from concrete actions. The new test operator, called informational test, can be used to formalise the beliefs and knowledge of particular agents as dynamic modalities. This approach is consistent with the formalisation of the agents` beliefs and knowledge as K(D)45 and S5 modalities. Properties concerning informativeness, truthfulness and preservation of beliefs were proved for a derivative of the informational test operator. It was shown that common belief and common knowledge can be expressed in the considered logics. This means, the logics are more expressive than propositional dynamic logic with an extra modality for belief or knowledge. The logics remain decidable and belong to 2EXPTIME. Versions of the considered logics express natural additional properties of beliefs or knowledge and interaction of beliefs or knowledge with actions. It was shown that a simulation of PDL can be constructed in one of these extensions.


Seminars

11.09.2008 10:00
UI 318
Prof. Katia P. Sycara
Agent Technology: the Future of Web Services
11.06.2008 14:00
UI 318
Dmitry Tishkovsky
Blocking mechanisms in description logics, a general approach
11.06.2008 09:15
UI 318
Dmitry Tishkovsky
A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments
09.06.2008 14:15
UI 318
Dmitry Tishkovsky
Reasoning about actions and knowlege: Multi-agent dynamic logics with informational test
12.05.2008 14:00
MFF KSI S4
Alex Borgida
Vision of Data Semantics: Another (and another) Look
12.05.2008 09:15
UI 318
Alex Borgida
Reflection on Description Logics
05.05.2008 14:15
UI 318
A. A. Frolov
Physiological basis of the perception of fundamental properties of the world: approach of Henri Poincaré
11.02.2008 14:15
UI 318
Pavel Zezula
Metrické podobnostní hledání v teorii a praxi
19.11.2007 14:15
UI 318
Stanislav Slušný
Evoluční a zpětnovazebné učení
05.11.2007 14:15
UI 318
Leo Galamboš
Webový index a úložiště
10.07.2007 14:00
UI 318
Michael Berry
Using Non-negative Matrix and Tensor Factorizations for Email Surveillance
16.04.2007 14:15
UI 318
Patrick Hanks
Computing Natural-Language Meaning for the Semantic Web
24.04.2006 14:15
UI 318
Stanislav Slušný
Evoluční učící algoritmy pro dopředné neuronové sítě
12.12.2005 14:15
UI 318
Stanislav Bartoň
Designing a Path-oriented Indexing Structure for a Graph Structured Data
23.05.2005 14:15
UI 318
Vlastislav Dohnal
Podobnostní hledání v multimediálních datech
16.05.2005 14:15
UI 318
Roman Vaculín
Řídící mechanismy autonomních agentů
02.05.2005 14:15
UI 318
Roman Neruda
Autonomní chování výpočetních agentů
18.04.2005 14:15
UI 318
Zuzana Nevěřilová 
Petr Sojka
Visualizace sémantického webu na příkladu doménově vymezené digitální matematické knihovny
21.03.2005 14:15
UI 318
Jaroslav Pokorný
XML - technologická základna pro Sémantický web
14.03.2005 14:15
UI 318
Vojtěch Svátek
Výsledky VŠE Praha v oblasti sémantického webu
28.02.2005 14:15
UI 318
Karel Pala
Ontologie a sémantický web
10.01.2005 14:15
UI 318
Július Štuller
Martin Řimnáč
Radim Nedbal
Ontologie v kontextu sémantického webu
10.01.2005 13:30
UI 318
Július Štuller
Informativní schůzka
Zhodnocení prvního roku projektu a plány do roku druhého
20.12.2004 14:15
UI 318
Guido Governatori
Practical Non-monotinic Reasoning
18.10.2004 14:15
UI 318
Roman Neruda
Bang: A Computational Multi-Agent System
11.10.2004 14:15
UI 318
Jiří Wiedermann
Softwaroví agenti, vyhledávací stroje a sémantický web
29.09.-01.10.2004
Paseky nad Jizerou
Zdeňka Linková
Pavel Krušina
Radim Nedbal
Martin Řimnáč
Roman Špánek
Ph.D. Student's work presentations
12.07.2004 13:00
UI 318
Omar Bouchelma
Geographic Information System Integration
24.06.2004 13:00
UI 318
Július Štuller
Informativní schůzka

 

Web Services have been hailed as the latest silver bullet for enabling business process representation and integration. In recent years, industry has developed a variety of standards, e.g. SOAP, WSDL, UDDI, BPEL for web services discovery, description, and distributed execution over the Web. These industry standards have emphasized description of service interfaces. However, they have many limitations with respect to flexible interaction and interoperability among heterogeneous services. On the other hand, Multi-Agents Systems research over the years has developed techniques for autonomous and goal-directed agent interactions, agent communication languages that support extended conversations, flexible automated agent discovery in open environments, agent negotiation and methods for peer to peer reactive and proactive agent behaviors in dynamic environments. In this talk, I will present requirements and extensions on web services functionality for supporting business processes. Some of these extensions include peer to peer and multi-party interactions, dynamic on the fly-composition of web services, message patterns that go beyond request-response, contracts and service level agreements. In addition, I will present characteristics of agents and web services that encourage fruitful application of techniques from agents to services and vice versa. In particular, I will articulate the importance of formally specified, unambiguous semantics for increasing service interoperability and flexibility of interactions, thus bringing the services and agents paradigms and technologies closer to one another. A first step towards this rapprochement is the development of formal languages and inference mechanisms for representing and reasoning with core concepts of Web Services. In closing, I present my vision of Web services as autonomous goal-directed agents which select other agents to interact with, and flexibly negotiate their interaction model, acting in peer to peer fashion. The resulting Web services, that I call Autonomous Semantic Web services, utilize ontologies and semantically annotated Web pages to automate the fulfillment of tasks and transactions with other Web agents. In cross-fertilizing each other, both agent technology and web services technology can discover new synergies that will make the combination and subsequent adoption much stronger, vital and useful than either of the two technologies separately.
11.6.2008
14:00
UI 318
more...

Dmitry Tishkovsky: Blocking mechanisms in description logics, a general approach
We will take a close look on various standard mechanism of blocking in tableaux for various description logics and attemt to simulate these mechanisms by a general blocking rule - the unrestricted blocking rule. In particular, we will consider static and dynamic, subset and equality, and successor and anywhere blocking mechanisms.
11.6.2008
9:15
UI 318
more...

Dmitry Tishkovsky: A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments
A general method for proving termination of tableaux-based procedures for modal-type logics and related first-order fragments will be presented. The method is based on connections between filtration arguments and a general blocking technique. The method provides a general framework for developing tableau-based decision procedures for a large class of logics. In particular, the method can be applied to many well-known description and modal logics. The class includes traditional modal logics such as S4 and modal logics with the universal modality, as well as description logics such as ALC with nominals and general TBoxes. Also contained in the class are harder and less well-studied modal logics with complex modalities and description logics with complex role operators such as Boolean modal logic, and the description logic ALBO. In addition, the techniques allow us to specify tableau-based decision procedures for related solvable fragments of first-order logic, including the two-variable fragment of first-order logic. This solves a long-standing open problem.
9.6.2008
14:15
UI 318
more...

Dmitry Tishkovsky: Reasoning about actions and knowlege: Multi-agent dynamic logics with informational test
The logics are based on a new formalisation and semantics of the test operator of propositional dynamic logic and a representation of actions which distinguishes abstract actions from concrete actions. The new test operator, called informational test, can be used to formalise the beliefs and knowledge of particular agents as dynamic modalities. This approach is consistent with the formalisation of the agents` beliefs and knowledge as K(D)45 and S5 modalities. Properties concerning informativeness, truthfulness and preservation of beliefs were proved for a derivative of the informational test operator. It was shown that common belief and common knowledge can be expressed in the considered logics. This means, the logics are more expressive than propositional dynamic logic with an extra modality for belief or knowledge. The logics remain decidable and belong to 2EXPTIME. Versions of the considered logics express natural additional properties of beliefs or knowledge and interaction of beliefs or knowledge with actions. It was shown that a simulation of PDL can be constructed in one of these extensions.
12.5.2008
14:00
MFF KSI S4
more...

Alex Borgida: Vision of Data Semantics: Another (and another) Look

The problem of data semantics is establishing and maintaining a correspondence between a data source (e.g., a database, an XML document) and its intended subject matter. We review the (relatively minor) role data semantics has played in Databases under the term "semantic data models", its more prominent place in ontology-based information integration, and then outline two new views:

  • Semantics as a composition of mappings between models, and
  • Attaching intentional aspects (stakeholder goals) to Information Systems.

(Joint work with John Mylopoulos and others at Univ. of Toronto)

12.5.2008
9:15
UI 318
more...

Alex Borgida: Reflections on Description Logics

For better or worse, Description Logics have become highly visible as "ontology representation languages" in the tsunami of papers on Information Integration, the Semantic Web, etc. The first part of this talk provides an (opinionated) survey of what the strenghts (and weaknesses) of Description Logics in representing and reasoning with knowledge about the natural world, including: a variable-free syntax based on "concept constructors"; expressive power intermediate between propositional and full predicate logic, often leading to decideable reasoning; support for non-standard inferences such as concept difference and matching; explanation. An example of using DLs to partially describe the semantics of an e-service will be presented.

It is widely agreed that there will be no single definitive ontology, and that small ontologies should be built by taking parts of existing ones. A more technical part of the talk will concern my research on Distributed Description Logics, and the Logic of Importing Knowledge, which address these issues in different ways.

Alexander Borgida holds a PhD degree from the University of Toronto, and is a Professor of Computer Science at Rutgers University, New Brunswick, NJ. His research generally concerns knowledge representation and its applications. He has published in a variety of areas including Artificial Intelligence (description logics, explanation), Databases (exceptions, data semantics, data mapping, data quality), and Software Engineering (requirements modeling, software specification). One unifying thread of this work is a belief in the importance of languages, which shape the way we think about a problem, and the need to be precise and logical about the semantics of such languages. Alex is co-recipient of the most influential paper award of the 1994 International Conference on Software Engineering, and is proud to have contributed to the design and implementation of the Classic language/logic, which was used at AT&T as part of a system that configured "billions of dollars" worth of equipment

Henri Poincaré is well known as a great mathematician and physicist, but his fundamental contribution to the physiology is much less understood and discussed. It can be explained by two reasons. First, his physiological ideas are formulated in terms of mathematics and physics, and, as a consequence, are more natural and clear for mathematicians and physicists then for professional physiologists. Second, these ideas being cross-disciplinary concern at the same time science and philosophy. However, namely philosophical ideas of Poincaré were strongly criticized at the beginning of XX century by V.I.Lenin in his book “Materialism and empiriocriticism” (1909). As a consequence, philosophical works of Poincaré translated in Russian just after their have been published in France became the rare books in the Soviet Union. Full versions of ”Science and hypothesis”, “Importance of Science”, “Science and Method”, “Last ideas” have been published in 1983 only, in the book entitled “About science” (L.S.Pontriagin ed.). This book provoked the vivid discussions of Russian mathematicians and physicists. These discussions concerned the properties of the world that form the fundamental physiological aspects of its perception:

i) the perception of the world as a continuous reality in time and space;

ii) the perception of 3-dimensionality of the world.

The ideas of Poincaré concerning these fundamental aspects and their recent development in Russian physiology are discussed.

Metody podobnostního hledání založené na principu metrických postulátů dosáhly v posledních desíti letech nebývalého rozmachu. Hlavním důvodem je fakt, že počet datových množin objektů pouze porovnatelných na základě podobnosti roste - nárůst objemu těchto dat je exponenciální. Cílem přednášky je představit základní koncepty metrického hledání a nastínit metody škálovatelných indexových struktur, schopných zpracovaní velkých objemů dat. Možnosti této technologie budou demonstrovány pomocí systému MUFIN (Multi Feature Indexing Network) na vyhledávání v kolekci 10 milionů obrázků indexovaných pěti základními MPEG7 deskriptory barev, kontur a textury.
Evolucni algoritmy jsou casto uvazovany jako nahrada tradicnych ucicich algoritmu, napriklad pro neuronove site. Jejich vyhodou je robustnost a moznost paralelizace. Dulezitou oblasti aplikace evolucnich algoritmu jsou problemy, kde nezname chybovou funkci pro uceni s ucitelem, ale dokazeme ohodnotit celkovou uspesnost reseni. Prikladem mohou byt nektere klasifikacni a ridici ulohy. Problem ilustrujeme na nekolika prikladech a porovname se zpetnovazebnim ucenim.
Dynamizace fulltextoveho indexu je schopna zajistit efektivnejsi spravu indexovych struktur vyhledavacu. V tomto prispevku budou zhodnoceny nektere ze zakladnich strategii, ktere jsou vhodne pro vyhledavac rozprostreny na nekolika vypocetnich uzlech. Ukazeme, ze nektere z techto strategii napomahaji v usporach I/O operaci a vedou tak k vykonnejsimu reseni spravy indexu. Dale bude prezentovano nove budovane webove uloziste, RUDP protokol a jeho vyuziti v ramci naseho systemu pro semanticky web.
Automated approaches for the identification and clustering of semantic features or topics are highly desired for text mining applications. Using a low rank non-negative matrix factorization (NNMF) algorithm to retain natural data non-negativity, we eliminate the need to use subtractive basis vector and encoding calculations present in techniques such as principal component analysis for semantic feature abstraction. Using non-negative tensor factorization (NNTF), temporal proximity can be exploited to enable tracking of focused discussions. Demonstrations of NNMF and NNTF algorithms for topic (or discussion) detection and tracking using the Enron Email Collection is presented.
16.04.2007
14:15
UI 318
more...

Patrick Hanks: Computing Natural-Language Meaning for the Semantic Web

The Semantic Web aims to enable computers to manipulate data meaningfully, not merely to do pattern matching for document retrieval. It does not process everyday natural language, but only precisely defined technical terms in specific domains. Its RDF (Resource Description Framework) claims to be “a lightweight ontology ... intended to express propositions using precise formal vocabularies... [It] is not an inference system” . [Hayes 2004] RDF is thus the latest in a long line of attempts to create “the perfect language” [Eco 1997] without vagueness and without ambiguity, which have been going on since the European Enlightenment, from Wilkins (1668) and Leibniz to Bertrand Russell. If RDF has greater viability than the failed attempts of those great thinkers, this is only because it is intended to be read and processed by computers rather than people.

Sooner or later, however, the Semantic Web will have to come to terms with the challenge of processing natural language as it is used by real people. The vagueness and ambiguity that Wilkins, Leibniz, and Russell perceived as imperfections are now seen by some theorists as essential design features of a flexible system. Be that as it may, it is inconceivable that “all those intelligent people on the Internet” will be persuaded to abandon natural language and start to use a language consisting of a precisely defined formal vocabulary, so we had better continue to work on the problem of meaning in natural language for computational processing.

In this talk, I present a resource currently being developed at the Masaryk University, Brno, which deals with many (though not all – there are no magic bullet in lexical semantics) problems of vagueness and ambiguity in real texts. The resource is “The Pattern Dictionary of English Verbs”. First, all uses of a given verb in a large sample of actual uses are analysed, distinguishing normal, conventional uses from ad-hoc metaphors, ellipses, and other exploitations of norms. Rarely do the exploitations account for more than about 10% of all uses, but in the past they have proved an insuperable distraction for those linguists who had set themselves the goal of accounting for all possible uses of a word. Our target is all normal uses. This goes a long way towards resolving the problem of vagueness. Full resolution will depend on the creation of a set of empirically well founded exploitation rules, which have yet to be written. Our current goals are to get the norms right for the verbs and to see how many of the nouns fall into place as a result.

The normal uses of verb are classified into semantically motivated syntagmatic patterns, in which the arguments (together with some subargumental cues) are correlated. Meanings are associated, not with a target word in isolation, but with a pattern: a target word in any of its normal contexts. This simple reformulation (“First find the pattern, then assign the meaning”) goes a very long way to solving the word sense disambiguation problem. In most cases, the syntagmatic patterns in which a given verb is used, when correctly formulated, are mutually exclusive. For many verbs, different patterns are associated with the same meaning, but it is rare for one pattern to be associated with two or more meanings. In the rare cases when this does happen, either the domain or the wider context (or both) can provide a disambiguating clue. In the extremely rare cases (when neither the pattern nor the context disambiguate), there is a genuine ambiguity in the language—not merely a function of a combinatorial explosion in processing.

The talk will focus on showing sample entries from the Pattern Dictionary and discuss some of the issue that arise.

Spojenie evolučných algoritmov a neurónových sietí prinieslo nové metódy hľadania optimálnej konfigurácie neurónových sietí. Genetické algoritmy je možné použiť nielen ako náhradu algoritmu spätného šírenia, ale aj na riešenie zložitejších problémov - pri hľadaní optimálnej topológie a architektúry neurónových sietí.

V prednáške bude podaný prehľad a porovnanie možných prístupov, spolu s výsledkami experimentov vykonaných na dátach z lekárskeho prostredia.

12.12.2005
14:15
UI 318
more...

Stanislav Bartoň: Designing a Path-oriented Indexing Structure for a Graph Structured Data

In the context of the Semantic Web, rho-operators were proposed as a mean to explore complex relationships between entities. The problem of searching for the complex relationships can be modeled as the process of searching paths in a directed graph where the entities form vertices and the edges are represented by the relationships between the entities.

Our effort introduces an indexing structure for path-oriented queries in the graph structured data called rho-index. The design of the rho-index is based on a graph partitioning technique called graph segmentation. Which is meant to represent the indexed graph in a simpler manner yet having similar properties as the original graph had.

This presentation will discuss the theoretical design of the rho-index. It will also describe the transformation used to simplify the indexed graph and the structures used to represent the rho-index. Finally, the preliminary experimental results of the use of the indexing structure will be demonstrated.

23.05.2005
14:15
UI 318
more...
(in Czech)

Vlastislav Dohnal: Podobnostní hledání v multimediálních datech

Vyhledávání založené na konceptu podobnosti se stává v poslední době velmi důležité v prostředích, kde vyhledávání na přesnou shodu má malý význam nebo dokonce nemá vůbec žádný. S rychle rostoucím množstvím dat, ve kterých je potřeba vyhledávat, je úzce spojen vývoj nových indexačních struktur pro urychlení operace hledání. Koncept podobnosti je často formalizován pomocí pojmu metrického prostoru. Existují dva základní přístupy pro indexování metrických prostorů. První indexuje objekty prostoru pomocí vzdálenostní funkce, druhý přístup je založen na principu mapování metrického prostoru do vektorového. My se zabýváme prvním modelem, tj. indexováním na vzdálenosti, a nastíníme základní principy v těchto metodách použité.

Budeme se zabývat architekturami pro podporu rozhodování softwarových agentů. Naším cílem je větší míra autonomie chování výpočetních agentů, kteří typicky zapouzdřují metody výpočetní inteligence a řeší problémy v prostředí multiagentního systému. Předvedeme návrh a realizaci konkrétní architektury založené na principech vertikální vrstevnaté architektury a BDI architektury.
02.05.2005
14:15
UI 318
more...

Roman Neruda: Autonomní chování výpočetních agentů
Budeme se zabývat několika způsoby, jak dodat softwarovým agentům reprezentujícím metody vypočetní inteligence mechanismy, které umožní určitou míru jejich autonomie. Zaměříme se na oblasti volby partnerů a spojování agentů do multi-agentních systémů. Metody zahrnují ontologické popisy agentů, logické programování a evoluční techniky. Po úvodních experimentech se některé z těchto cest nejeví jako slepé.
18.04.2005
14:15
UI 318
more...
(in Czech)

Zuzana Nevěřilová, Petr Sojka: Visualizace sémantického webu na příkladu doménově vymezené digitální matematické knihovny

Přednáška se bude zabývat vizuálním rozhraním k vnímání složitých struktur obecně. Sémantické sítě a speciálně sémantický web patří právě k takovým složitě uchopitelným strukturám.

Budou prezentována východiska návrhu aplikace Visual Browser a její možné využití. Aplikace Visual Browser vznikla jako diplomová práce na Fakultě informatiky MU v Brně, původně pro potřeby vizualizace WordNetu. Dvouvrstvé schéma, které aplikace využívá však umožňuje mnohem univerzálnější použití.

Vysoká míra obecnosti a parametrizovatelnosti tohoto programu bude demonstrována na příkladové studii digitální matematické knihovny NUMDAM. Závěrem bude zmíněn návrh sémantického webu projektu digitální matematické knihovny DML-CZ.

Budování Sémantického webu řeší zejména problém strojového porozumění metadatům, popisujícím webové zdroje. Prostředky, které je třeba pro tento účel vyvinout, musí být dostatečně silné jak pro reprezentaci metadat, tak pro dotazovaní nad metadaty. Jazyk XML, sloužící původně pro značkování dokumentů, má široké možnosti pro zakodování metadat. Lze k tomu využít jak jeho možnosti reprezentace (vlastní syntaxe XML, popis tříd XML dat pomocí schemat v jazyku DTD nebo jazyku XSchema), tak specializované dotazovací jazyky, jako jsou XPath a XQuery. V přednášce budou ukázány základy XML spolu s některými teoretickými výsledky týkajícími se vyjadřovací síly zmíněných reprezentačních a dotazovacích XML jazyků. Přednáška též poskytne informace o aktivitách KSI MFF UK v dané problematice.
14.03.2005
14:15
UI 318
more...
(in Czech)

Vojtěch Svátek: Výsledky VŠE Praha v oblasti sémantického webu

Přednáška  poskytne  základní  přehled  o  aktivitách  VŠE  Praha v oblasti sémantického  webu,  s  důrazem  na problematiku automatizovaného získávání znalostí  z  běžného  WWW.  Formou  otevřené  diskuse se dotkne i některých dalších  aspektů  sémantického webu, které autor považuje za klíčové, např. kvality  v  současnosti  dostupných ontologií a přidané hodnoty vzhledem ke "konkurenčním"   (např.  objektovým)  technologiím.  Pokusíme  se  společně zmapovat   aktuální   stav  výzkumu  a  praxe  sémantického  webu  v  ČR  a identifikovat perspektivní oblasti pro další spolupráci různých institucí.

Viz také KEG (přednáška 10.03.2005).

28.02.2005
14:15
UI 318
more...
(in Czech)

Karel Pala: Ontologie a sémantický web

Presentace výsledků pracoviště FI MU.

V oblasti návrhu ontologického popisu jsme se soustředili na propojení informací z ontologií s existujícími jazykovými zdroji – tezaury, sémantickými sítěmi typu wordnet, terminologickými databázemi atd. Bylo navrženo XML schéma umožňující propojení znalostí z takových zdrojů. Současně byla do tohoto formátu transformována databáze RussNet, obsahující jak taxonomii vybraných pojmů v ruštině, tak morfologickou a částečně i syntaktickou informaci (valenční rámce). Pro daný formát byly implementovány XML transformace umožňující zobrazování ontologických i jazykových dat pomocí nástroje DEB.

Ve spolupráci s kolegy z Tübingenské university byly započaty práce na převodu jejich sémantické sítě GermaNet do našeho formátu s cílem získat kompatibilní zdroje pro další jazyky. Vzhledem k postupnému doplňování valenčních rámců do českého wordnetu plánujeme také převod tohoto poměrně rozsáhlého zdroje do nového formátu.

V souvislosti s cílem projektu zkoumání modularity, integrace a opakovaného použití ontologií byla pozornost věnována i dalším zdrojům sémantických dat, konkrétně asociačním tezaurům (výsledky slovních asociací), které poskytují cenné informace o vztazích mezi pojmy a jejich „uložení“ v lidské paměti. Jako velmi nadějná oblast se jeví porovnávání vazeb získaných z asociačních tezaurů se vztahy získanými ze sémantických sítí, případně automatickou analýzou z korpusových textů. Existuje těsný vztah mezi porovnáváním takových dat z různých zdrojů a mapováním ontologií Sémantického Webu. Získané výsledky jsou tedy relevantní pro srovnávání a kombinování ontologií, integraci dat, případně služeb Sémantického Webu, popsaných různými ontologiemi.

10.01.2005
14:15
UI 318
more...
(in Czech)

Július Štuller, Martin Řimnáč, Radim Nedbal: Ontologie v kontextu sémantického webu
V prednaske sa podrobnejsie pozrieme na rolu ontologii pre realizaciu idei semantickeho webu, na ich teoreticke zaklady, navaznost na dalsie stavebne kamene semantickeho webu, dalej na ich suvislost s logikou a v tomto kontexte na dolezitost logiky, najma deskripcnej. V zavere uvedieme najznamejsie jazyky na vytvaranie ontologii a strucne predvedieme softwarovy produkt PROTÉGÉ 2000 pre pracu s ontologiami.
Zhodnocení prvního roku projektu a plány do roku druhého.
20.12.2004
14:15
UI 318
more...

Guido Governatori: Practical Non-monotinic Reasoning

Non-monotonic logics are a form of formal reasoning aimed at the representation of common-sense reasoning; unfortunately, non-monotonic logics typically suffer from very high computational complexity and thus are practically intractable.

In this talk first will be presented the defeasible logic, a family of non-monotonic logics designed to be easily implementable and tractable. After the introduction of the basic principles of defeasible logic will follow a discussion of some extension of the logic and some applications.

18.10.2004
14:15
UI 318
more...

Roman Neruda: Bang: A Computational Multi-Agent System

V prehledove prednasce popiseme multiagentni system tvorici distribuovane vypocetni prostredi s durazem na metody vypocetni inteligence, zejmena neuronove site a geneticke algoritmy. Budeme se venovat hlavne otazkam komunikace a spojovnani agentu, formalniho popisu typu a hierarchii, ontologiim, moznostem popisu a sledovani efektivity vypoctu, a snaham o vyvoj autonomnich a proaktivnich agentu.

11.10.2004
14:15
UI 318
more...
(in Czech)

Jiří Wiedermann: Softwaroví agenti, vyhledávací stroje a sémantický web

Po softwarových agentech chceme, aby byli "inteligentní", aby "žili" v prostředí internetu, interagovali s lidmi a aby v internetu prováděli úkony, které po nich chceme. Kvůli tomu by měli znát sémantiku dat, např. těch na webových stránkách. Ta je však srozumitelná pouze lidem, nikoliv počítačům, a cílem sémantického webu je učinit tuto sémantiku přístupnou i počítačům. Lze toho vůbec dosáhnout? Jak se dívá současná teorie umělé inteligence na tento problém? Jaká je budoucnost sémantického webu? Odpovědi na tyto a podobné otázky budeme společně hledat v tomto semináři.

29.09.-01.10.2004
 
ICS Ph.D. Student's Days 2004, Paseky nad Jizerou, Czech Republic

Zdenka Linkova, Pavel Krusina, Radim Nedbal, Martin Rimnac, Roman Spanek: Ph.D. Student's work presentations
5 students involved in the project will present their results at Institute of Computer Science Ph.D. Student's Days:

Zdenka Linkova: Integrace dat a semanticky web (in Czech)

Pavel Krusina: Models of Multi-Agent Systems

Radim Nedbal: Relational Databases with Ordered Relations

Martin Rimnac: Rekonstrukce databazoveho modelu na zaklade dat (studie proveditelnosti) (in Czech)

Roman Spanek: Security in Mobile Enviroment

12.07.2004
13:00
UI 318
more...

Omar Bouchelma: Geographic Information System Integration
Virtual GIS integration method description

Dovolte mi srdecne Vas vsetkych pozvat na uvodnu schodzku Projektu Programu "Informacni spolecnost" Inteligentni modely, algoritmy, metody a nastroje pro vytvareni semantickeho webu. (Viem, ze opat nebudeme kompletni, ale asi je minimalna pravdepodobnost, ze sa v dohladnej dobe podari najst datum, kedy by sme boli pritomni vsetci ... Projekt ma zacat 1. 7. a preto by som velmi rad tuto schodzku zorganizoval este pred tym, nez zacnu letne "dovolenkove" mesiace)

This page was last modified 08.09.2008 14:41.