Logic of knowledge and discovery via interacting agents - Decision algorithm for true and satisfiable statements

In this paper we study logical properties of the operation chance discovery (CD) via structures based on special Kripke/Hintikka models. These models use as bases partially ordered sets of indexes (indexes of steps in a computation, or ones indicating time points in a time flow), and clusters of states associated to each index. The language chosen to build the logical formulas includes modal/temporal operations, operations for the agents' knowledge, local and global operations for CD, operation of local common knowledge, and an operation for chance of discovery via agents' interactions. We introduce and study a logic (of knowledge and discovery via interaction of agents), LDK"a, which is defined by semantics, as the set of all formulas that are valid in all suggested models. The paper provides an algorithm to recognize logical laws (and satisfiable formulas) of LDK"a. The algorithm replaces a formula with a rule in a special, so-called reduced normal form, and, then it verifies the validity of this rule in specific models of exponential size in the size of the rule. We show that the problem of computing the true logical laws of LDK"a is decidable.

[1]  Edward P. K. Tsang,et al.  Detection of stock price movements using chance discovery and genetic programming , 2007, Int. J. Knowl. Based Intell. Eng. Syst..

[2]  C. J. van Rijsbergen,et al.  A Non-Classical Logic for Information Retrieval , 1997, Comput. J..

[3]  Akinori Abe,et al.  E-Nightingale: Crisis Detection in Nursing Activities , 2006, Chance Discoveries in Real World Decision Making.

[4]  Norihiro Hagita,et al.  Exceptions as Chance for Computational Chance Discovery , 2008, KES.

[5]  Vladimir V. Rybakov,et al.  Linear temporal logic with until and next, logical consecutions , 2008, Ann. Pure Appl. Log..

[6]  Sergei N. Artëmov,et al.  Topological Semantics of Justification Logic , 2008, CSR.

[7]  Yukio Ohsawa,et al.  Special issue on chance discovery , 2007, Int. J. Knowl. Based Intell. Eng. Syst..

[8]  Lorenzo Magnani,et al.  Abduction and chance discovery in science , 2007, Int. J. Knowl. Based Intell. Eng. Syst..

[9]  Vladimir V. Rybakov,et al.  Logical consecutions in discrete linear temporal logic , 2005, Journal of Symbolic Logic.

[10]  Yukio Ohsawa,et al.  Chance Discovery in Credit Risk Management: Estimation of Chain Reaction Bankruptcy Structure by Directed KeyGraph , 2007, International Conference on Computational Science.

[11]  Vladimir V. Rybakov,et al.  Branching Time Logics $\mathcal {BTL}^{\mathrm {U,S}}_{\mathrm {N},\mathrm {N}^{-1}}(\mathcal {Z})_{\alpha }$ with Operations Until and Since Based on Bundles of Integer Numbers, Logical Consecutions, Deciding Algorithms , 2008, Theory of Computing Systems.

[12]  Sergei N. Artëmov,et al.  Introducing Justification into Epistemic Logic , 2005, J. Log. Comput..

[13]  Shusaku Tsumoto,et al.  Chance Discoveries in Real World Decision Making , 2006 .

[14]  Vladimir V. Rybakov.  Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals , 2005, J. Log. Comput..

[15]  Steven K. Thomason,et al.  Semantic analysis of tense logics , 1972, Journal of Symbolic Logic.

[16]  Vladimir V. Rybakov.  Construction of an Explicit Basis for Rules Admissible in Modal System S4 , 2001, Math. Log. Q..

[17]  Vladimir V. Rybakov,et al.  A criterion for admissibility of rules in the model system S4 and the intuitionistic logic , 1984 .

[18]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[19]  Torben Amtoft,et al.  A logic for information flow analysis with an application to forward slicing of simple imperative programs , 2007, Sci. Comput. Program..

[20]  Johan van Benthem,et al.  The Logic of Time , 1983 .

[21]  Torben Amtoft,et al.  A logic for information flow in object-oriented programs , 2006, POPL '06.

[22]  Yukio Ohsawa.  Chance Discovery: Data-based Decision for Systems Design , 2006, Sixth International Conference on Intelligent Systems Design and Applications.

[23]  Alberto H. F. Laender,et al.  Logic of Time , 2009, Encyclopedia of Database Systems.

[24]  Yukio Ohsawa,et al.  Gap between advertisers and designers: Results of visualizing messages , 2007, Int. J. Knowl. Based Intell. Eng. Syst..

[25]  Nahum S. Kipnis.  The Window of Opportunity: Logic and Chance in Becquerel's Discovery of Radioactivity , 2000 .

[26]  Yukio Ohsawa.  Chance Discovery with Emergence of Future Scenarios , 2004, KES.

[27]  Peter McBurney,et al.  Chance Discovery , 2003, Advanced Information Processing.

[28]  Vladimir V. Rybakov,et al.  Logic of Discovery in Uncertain Situations- Deciding Algorithms , 2007, KES.

[29]  Vladimir V. Rybakov,et al.  Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms , 2006, CSR.

[30]  Jaakko Hintikka,et al.  Logic of Discovery and Logic of Discourse , 1985 .