Naposledy ...

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.


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.


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.


Valid XHTML 1.0!

Výsledky - Publikace

Rok 2008 Rok 2007 Rok 2006 Rok 2005 Rok 2004 Roky 2004-2008
 
The list of publications in RDF format

 
 
2008
0
0
1
1 / 0
1
2
1
4 / 0
17
32
12
59 / 12
4
0
2
6 / 0
1
0
0
1 / 1
celkem
24
35
20
77 / 14


Paper in pdf format
See abstract
Daniel Milan
Comments on Josang's Normal Coarsening and Consensus Operator
In: IJICIC, Volume: 4, No: 5, 2008, pp. 1079-1088.
See abstract
Daniel Milan
Contribution of DSm Approach to the Belief Function Theory
In: IPMU 2008, 2008, pp. 417-424.
Presented at: IPMU 2008, 22.-27.06.2008, Malaga - Torremolinos, Spain.
Daniel Milan
Relations of DSm Belief Conditioning Rules to Dempster-Shafer Approach
In: Proceedings of Czech-Japan Seminar on Data Analysis and Decision-Making under Uncertainty, (Ed. T. Itoh, A. Shioura), 2008, pp. 63-68.
Presented at: 11th Czech-Japan Seminar on Data Analysis and Decision-Making under Uncertainty, 15.-17.9.2008, Sendai - Tohoku University, Japan.
See abstract
Daniel Milan
Mathematical Structure and Formulas for the minC Combination of Belief Functions
In: Fusion 2008, 2008, pp. 760-767.
Presented at: Fusion 2008, 30.06-03.07.2008, Cologne, Germany.
Paper in pdf format
See abstract
Dědek Jan, Vojtáš Peter
Extrakce informací z textově orientovaných zdrojů webu
In: Znalosti 2008, (Ed. V. Snášel), Vydavatelstvo STU, Bratislava, 2008.
Presented at: Znalosti 2008, 13.-15.2.2008, Bratislava, Slovakia.
Dědek Jan, Eckhardt Alan, Galamboš Leo, Vojtáš Peter
Sémantický web
In: DATAKON 2008, (Ed. Řepa V., Svatoš O.), Masaryk university, 2008, pp. 12-30.
Presented at: DATAKON 2008, 18.-21.10.2008, Brno, Czech Republic.
Hájek Petr, Mesiar R.
On copulas, quasicopulas and fuzzy logic
In: Soft Computing, Volume: 12, No: 12, Springer, 2008, pp. 1239-1243.
Hliněná Dana, Vojtáš Peter
A Note on an Example of Use of Fuzzy Preference Structures
In: Acta Universitatis Matthiae Belii, Volume: 14, 2008, pp. 29-39.
Paper in pdf format
See abstract
Linková Zdeňka
Integrace dat na sémantickém webu
In: Doktorandské dny '08, (Ed. F. Hakl), MATFYZPRESS, 2008, pp. 61-68. ISBN: 978-80-7378-054-8
Presented at: Doktorandské dny 2008, 29.9.-1.10.2008, Jizerka, Czech Republic.
Paper in pdf format
See abstract
Linková Zdeňka, Řimnáč Martin
Automatizovaný návrh pravidel pro integraci dat a sémantický web
In: Znalosti 2008, (Ed. V. Snášel), Vydavatelstvo STU, Bratislava, 2008.
Presented at: Znalosti 2008, 13.-15.2.2008, Bratislava, Slovakia.
Paper in pdf format
See abstract
Nedbal Radim
User Preference and Optimization of Relational Queries
In: Doktorandské dny '08, (Ed. F. Hakl), MATFYZPRESS, 2008, pp. 82-87. ISBN: 978-80-7378-054-8
Presented at: Doktorandské dny 2008, 29.9.-1.10.2008, Jizerka, Czech Republic.
Paper in pdf format
Nedbal Radim
Algebraic optimization of relational queries with various kinds of preferences
In: SOFSEM 2008: Theory and Practice of Computer Science, LNCS 4910, Springer, 2008, pp. 388-399.
Presented at: 34th International Conference on Current Trends in Theory and Practice of Computer Science, 19.-25.1.2008, Nový Smokovec, High Tatras, Slovakia.
Paper in pdf format
See abstract
Neruda Roman, Beuster Gerd
Toward Dynamic Generation of Computational Agents by Means of Logical Descriptions
In: International Transactions on Systems Science and Applications, Volume: 4, No: 1, 2008.
Paper in pdf format
See abstract
Neruda Roman
Ontology-based and Evolutionary Search for Computational Agents Schemes
In: Proceedings of The Twentieth International Conference on Software Engineering and Knowledge Engineering SEKE 2008, Knowledge Systems Institute, Skokie, 2008.
Presented at: SEKE 2008, 1.-3.7.2008, Redwood City, California, USA.
Paper in pdf format
See abstract
Petrů Lukáš, Wiedermann Jiří
On the universal computing power of amorphous computing systems
In: Theory of Computing Systems, Springer, 2008. (in_print)
Paper in pdf format
See abstract
Řimnáč Martin, Tyl Pavel
Kombinace metod pro srovnání ontologií
In: Proc. of Information Technologies - Application and Theory, (Ed. P. Vojtáš), PONT, Seňa, 2008, pp. 113-117. ISBN: 978-80-969184-8-5
Presented at: Konferencia o informačných (inteligentných) technológiách - aplikácie a teória 2008, 22.-26.9.2008, High Tatras, Slovakia.
Paper in pdf format
See abstract
Řimnáč Martin
Nevyužité možnosti sémantického webu
In: Doktorandské dny '08, (Ed. F. Hakl), MATFYZPRESS, 2008, pp. 106-111. ISBN: 978-80-7378-054-8
Presented at: Doktorandské dny 2008, 29.9.-1.10.2008, Jizerka, Czech Republic.
Paper in pdf format
See abstract
Slušný Stanislav, Neruda Roman, Vidnerová Petra
Rule-based Analysis of Behaviour Learned by Evolutionary and Reinforcement Algorithms
In: Advanced Intelligent Computing Technology and Applications-ICIC2008, LNAI, Springer Verlag, 2008.
Presented at: ICIC 2008, 15.-18.09.2008, Shanghai, China.
Snášel Václav, Moravec Pavel, Húsek Dušan, Frolov A., Řezanková Hana, Polyakov P. Y.
Pattern Discovery for High-Dimensional Binary Datasets
In: ICONIP 2007: International Conference on Neural Information Processing, (Ed. M. Ishikawa, K. Doya, H. Miyamoto, T. Yamakawa), LNCS 4984, Springer, Berlin, 2008, pp. 861-872. ISBN: 978-3-540-69154-9
Presented at: 14th International Conference on Neural Information Processing, 13.-16.11.2007, Kitakyushu, Japan.
Paper in pdf format
See abstract
Špánek Roman
Self-organizing and Self-monitoring Security Model for Dynamic Distributed Environments
In: Diploma Thesis, Technical University of Liberec, Faculty of Mechatronics and Interdisciplinary Engineering Studies, Liberec, 2008, pp. 130 p..
Paper in pdf format
See abstract
Špánek Roman, Řimnáč Martin, Linková Zdeňka
On creating a trusted and distributed data source environment
In: SOFSEM 2008: Theory and Practice of Computer Science, P. J. Šafárik University, Košice, 2008, pp. 112-123.
Presented at: 34th International Conference on Current Trends in Theory and Practice of Computer Science, 19.-25.1.2008, Nový Smokovec, High Tatras, Slovakia.
Paper in pdf format
See abstract
Tyl Pavel
Combination of Methods for Ontology Matching
In: Doktorandské dny '08, (Ed. F. Hakl), MATFYZPRESS, 2008, pp. 125-132. ISBN: 978-80-7378-054-8
Presented at: Doktorandské dny 2008, 29.9.-1.10.2008, Jizerka, Czech Republic.
Paper in pdf format
See abstract
Wiedermann Jiří, Petrů Lukáš
Communicating Mobile Nano-Machines and Their Computational Power
Technical Report: V-1024, ICS AS CR, Prague, 2008, 9 p.
Paper in pdf format
See abstract
Wiedermann Jiří
An Architecture of an Embodied Cognitive Agent with Two Cooperating Internal World Models
In: Cybernetics and Systems Research, (Ed. R. Trappl), Austrian Society of Cybernetics Studies, Vienna, 2008, pp. 561-566.
Presented at: EMCSR 2008, 25.-28.03.2008, Vienna, Austria.
Paper in pdf format
See abstract
Wiedermann Jiří
Specifikace výpočetního modelu mysli vědomého vtěleného agenta
In: Modely mysle, (Ed. V. Kvasnicka, J. Kelemen, J. Pospichal a E. Gal), Europa, Bratislava, 2008.
Paper in pdf format
See abstract
Wiedermann Jiří
How we think of computing today
In: Logic and Theory of Algorithms, LNCS 5028, Springer, 2008, pp. 579-593.
Presented as an invited talk: Conference on Computability in Europe, CiE 2008, 15.-20.06.2008, Athens, Greece.
This page was last modified 08.11.2005 19:54. For any comments, please, contact webmaster.