Previous ...

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!

Results - Publications

Year 2008 Year 2007 Year 2006 Year 2005 Year 2004 Years 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
total
24
35
20
77 / 14
 
2007
4
2
0
5 / 0
3
2
0
5 / 1
37
30
21
82 / 27
1
2
2
5 / 3
0
1
0
1 / 1
total
45
38
23
98 / 33
 
2006
0
0
1
1 / 0
4
2
1
6 / 0
5
5
0
8 / 1
34
28
17
74 / 36
0
0
0
6 / 0
7
3
1
11 / 5
0
0
1
1 / 1
total
57
41
24
111 / 45
 
2005
3
2
0
5 / 1
21
14
5
36 / 12
1
1
0
1 / 0
5
0
0
5 / 4
total
30
17
5
47 / 17
 
2004
14
2
5
21 / 15
total
14
2
5
21 / 15
 
2004-2008
 
 
0
0
1
1 / 0
8
6
2
13 / 0
16
10
2
26 / 3
130
121
73
307 / 107
5
4
4
9 / 1
14
6
3
23 / 13
0
0
1
1 / 1
total
175
149
91
389 / 128


Bartoň Stanislav, Zezula Pavel
Indexing Structure for Graph-Structured Data
In: Studies in Computational Intelligence, Volume: 165, Springer Berlin/Heidelberg, Berlin, 2008, pp. 167-188.
Paper in pdf format
Daniel Milan
A Comparison of the Generalized minC combination and the Hybrid DSm combination Rules
In: Advances and Applications od DSmT for Information Fusion, (Ed. Smarandache F.), Volume: II, American Research Press, 2006, pp. 113-129. ISBN: 1-59973-000-6
Paper in pdf format
Daniel Milan
Classical Combination Rules Generalized to DMs Hyper-Power Sets and their Comparison with the Hybrid DSm rule
In: Advances and Applications od DSmT for Information Fusion, (Ed. Smarandache F.), Volume: II, American Research Press, 2006, pp. 89-112. ISBN: 1-59973-000-6
See abstract
Dohnal Vlastislav, Gennaro Claudio, Zezula Pavel
Efficiency and Scalability Issues in Metric Access Methods
In: Computational Intelligence in Medical Informatics, Springer Verlag, Berlin, Germany, 2008. ISBN: 978-3-540-75766-5
Feuerlicht George, Pokorný Jaroslav, Richta Karel
Object-Relational Database Design: Can your application benefit from SQL:2003?
In: The Inter-Networked World: ISD Theory, Practice, and Education, (Ed. Barry C., Lang M., Wojtkowski W., Wojtkowski G., Wrycza S., Zupancic J.), Springer-Verlag, New York, 2008. ISBN: 978-0387304038
Paper in pdf format
See abstract
Hájek Petr
What does Mathematical Fuzzy Logic Offer to Description Logic?
In: Fuzzy Logic and the Semantic Web, (Ed. Sanchez E.), Elsevier, 2006. ISBN: 0-444-51948-3
Paper in html format
See abstract
Húsek Dušan, Pokorný Jaroslav, Řezanková Hana, Snášel Václav
Data clustering: From documents to the Web
In: Web Data Management Practices: Emerging Techniques and Technologies, (Ed. Vakali A., Pallis G.), Idea Group Inc., 2007, pp. 1-33.
Pokorný Jaroslav, Richta Karel, Valenta Michal
Cellstore: Educational and Experimental XML-Native DBMS
In: The Inter-Networked World: ISD Theory, Practice, and Education, (Ed. Barry C., Lang M., Wojtkowski W., Wojtkowski G., Wrycza S., Zupancic J.), Springer-Verlag, New York, 2008. ISBN: 978-0387304038
Paper in pdf format
Pokorný Jaroslav, Reschke J.
Exporting relational data into a native XML store
In: Advances in Information Systems Development - Bridging the Gap between Academia and Industry, (Ed. A.G. Nilsson et al), Volume: 2, Springer Verlag, 2006, pp. 807-818. ISBN: 0-387-30834-2
Vojtáš Peter
Fuzzy Logic Aggregation for Semantic Web Search for the Best Answer
In: Fuzzy Logic and the Semantic Web, (Ed. Sanchez E.), Elsevier, 2006. ISBN: 0-444-51948-3
Vojtáš Peter
EL description logic with aggregation of user preference concepts
In: Frontiers in Artificial Intelligence and applications 154, Information modelling and Knowledge Bases XVIII, IOS Press, Amsterdam, 2007, pp. 154-165.
Paper in pdf format
See abstract
Wiedermann Jiří
Spojení samoorganizace s výpočty: minimální život v moři umělých molekul
In: Myseľ, inteligencia a život, (Ed. Kvasnička V., Trebanický P., Pospíchal J., Kelemen J.), Slovenská technická univerzita, Bratislava, 2007, pp. 497-512.
Paper in pdf format
See abstract
Wiedermann Jiří
Výpočetní meze kognitivních a inteligentních systémů
In: Umělá inteligence, (Ed. Mařík V., Štěpánková O., Lažanský J.), Academia, 2007, pp. 75-90. ISBN: 978-80-200-1470-2
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.
See abstract
Zezula Pavel, Dohnal Vlastislav, Novák David
Towards Scalability of Similarity Searching
In: Global Data Management, (Ed. Baldoni R., Cortese G., Davide F., Melpignano A.), Volume: 8 of Emerging Communication: Studies in New Technologies and Practices in Communication, IOS Press, Amsterdam, The Netherlands, 2006. ISBN: 1-58603-629-7
Zezula Pavel, Dohnal Vlastislav, Batko Michal
File Organizations
In: Wiley Encyclopedia of Computer Science and Engineering, Wiley-Interscience, San Francisco, CA, USA, 2008, pp. 1-11.
Zezula Pavel, Batko Michal, Dohnal Vlastislav
Indexing Metric Spaces
In: Database Management and Information Retrieval, Springer-Verlag, New York, 2008, pp. 1-4.
This page was last modified 08.11.2005 19:54. For any comments, please, contact webmaster.