Attributes | Values |
---|
rdf:type
| |
Description
| - In this paper we discuss two formal models apt for a search and communication in a ?multi-agent world?, namely TIL and EL@. Specifying their intersection, we are able to translate and switch between them. Using their union, we extend their functionalities. The main asset of using TIL is a fine-grained rigorous analysis and specification close to natural language. The additional contribution of EL@ consists in modelling multi-criterion aspects of user preferences. Using a simple example throughout the paper, we illustrate the aspects of a multi-criterion search and communication by their analysis and specification in both the systems. The paper is an introductory study aiming at a universal logical approach to the ?multi-agent world?, which at the same time opens new research problems and trends.
- In this paper we discuss two formal models apt for a search and communication in a ?multi-agent world?, namely TIL and EL@. Specifying their intersection, we are able to translate and switch between them. Using their union, we extend their functionalities. The main asset of using TIL is a fine-grained rigorous analysis and specification close to natural language. The additional contribution of EL@ consists in modelling multi-criterion aspects of user preferences. Using a simple example throughout the paper, we illustrate the aspects of a multi-criterion search and communication by their analysis and specification in both the systems. The paper is an introductory study aiming at a universal logical approach to the ?multi-agent world?, which at the same time opens new research problems and trends. (en)
- V tomto článku zkoumáme dva formální modely vhodné pro vyhledávání a komunikaci v multiagentovém světě, a to TIL a EL@. Za účelem překladu a využívání obou specifikujeme jejich průnik. Na druhé straně, použijeme-li jejich sjednocení, můžeme rozšířit funkčnost obou modelů. Hlavní výhodou použití TIL systému je velice přesná, rigorósní analýza a specifikace, která je blízká přirozenému jazyku. Navíc přispívá systém EL@ tím, že modeluje multi-kriteriální vyhledávání a podporuje uživatelské preference. Za pomoci jednoduchého příkladu ilustrujeme jednotlivé aspekty multi-kriteriálního vyhledávání a komunikace tak, že je analyzujeme a specifikujeme v obou systémech. Článek je úvodní studií, jejímž cílem je universální logický přístup k multiagentovému světu, který zároveň otevírá nové výzkumné perspektivy a trendy. (cs)
|
Title
| - Multi-Criterion Search from the Semantic Point of View
- Multi-Criterion Search from the Semantic Point of View (en)
- Multikriteriální vyhledávání z pohledu sémantiky (cs)
|
skos:prefLabel
| - Multi-Criterion Search from the Semantic Point of View
- Multi-Criterion Search from the Semantic Point of View (en)
- Multikriteriální vyhledávání z pohledu sémantiky (cs)
|
skos:notation
| - RIV/61989100:27240/08:00018853!RIV09-AV0-27240___
|
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| - P(1ET100300419), P(1ET101940420), Z(MSM0021620838)
|
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/61989100:27240/08:00018853
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - multi-criterion search; fuzzy criteria; TIL; EL@; procedural semantics (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...v/mistoKonaniAkce
| |
http://linked.open...i/riv/mistoVydani
| |
http://linked.open...i/riv/nazevZdroje
| - Information Modelling and Knowledge Bases XIX
|
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...vavai/riv/projekt
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...iv/tvurceVysledku
| - Duží, Marie
- Vojtáš, Peter
|
http://linked.open...vavai/riv/typAkce
| |
http://linked.open.../riv/zahajeniAkce
| |
http://linked.open...n/vavai/riv/zamer
| |
number of pages
| |
http://purl.org/ne...btex#hasPublisher
| |
https://schema.org/isbn
| |
http://localhost/t...ganizacniJednotka
| |
is http://linked.open...avai/riv/vysledek
of | |