Interpretation of chance discovery in temporal logic, admissible inference rules

Authors:
Vladimir Rybakov
Affiliations:
Department of Computing and Mathematics, Manchester Metropolitan University, Manchester, UK
Venue:
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part III
Year:
2010

Citing 10
Cited 2

Temporal logic (vol. 1): mathematical foundations and computational aspects

Temporal logic (vol. 1): mathematical foundations and computational aspects
Foreword: Logics of Uncertainty

Journal of Logic, Language and Information
Chance Discovery

Chance Discovery
Chance Discovery: Data-based Decision for Systems Design

ISDA '06 Proceedings of the Sixth International Conference on Intelligent Systems Design and Applications - Volume 01
Abduction and chance discovery in science

International Journal of Knowledge-based and Intelligent Engineering Systems - Chance discovery
Gap between advertisers and designers: Results of visualizing messages

International Journal of Knowledge-based and Intelligent Engineering Systems - Chance discovery
Special issue on chance discovery

International Journal of Knowledge-based and Intelligent Engineering Systems - Chance discovery
Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms

LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
Exceptions as Chance for Computational Chance Discovery

KES '08 Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part II
Linear temporal logic with until and before on integer numbers, deciding algorithms

CSR'06 Proceedings of the First international computer science conference on Theory and Applications

Agents' logics with common knowledge and uncertainty: unification problem, algorithm for construction solutions

KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part I
Chance discovery and unification in linear modal logic

KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part II

Quantified Score

Hi-index	0.00

Visualization

Abstract

Our paper suggests a possible treatment of Chance Discovery (CD) via interpretation in temporal logic. We propose a sematic definition for computation CD-operations and consider the resulting logic. The main result of the paper is a necessary condition for rules to be admissible in considered logics.