Decision-support systems for situation management and communication through the language of algebraic systems

The tools for situation description and decision making are considered. We demonstrate how to relate the typical collection of similar systems and situations with algebraic systems. The procedures for transforming the statements in the so-called compressed or constraint language into corresponding algebraic system theory formula are described. The inferring of formulas for decision making is also considered.

[1]  G. Frege.  Grundgesetze der Arithmetik , 1893 .

[2]  Lotfi A. Zadeh,et al.  Outline of a New Approach to the Analysis of Complex Systems and Decision Processes , 1973, IEEE Trans. Syst. Man Cybern..

[3]  Peeter Lorents,et al.  Digital solutions for inference rules in decision-supporting systems , 2010, 2010 Fifth International Conference on Digital Information Management (ICDIM).

[4]  Theo M. V. Janssen,et al.  Frege, Contextuality and Compositionality , 2001, J. Log. Lang. Inf..

[5]  Margus Kruus,et al.  Discovering Logical Constructs from Estonian Children Language , 2010 .

[6]  S. Carey,et al.  Standardizing Battle Management Language – Facilitating Coalition Interoperability , 2002 .

[7]  Xian Zhang,et al.  Developing and Exploiting a Multilingual Grammar for Human-Computer Interaction , 2011, HCI.

[8]  José Sanmartín.  Introduction to model theory and to the metamathematics of algebra , 1971 .

[9]  Erika Matsak.  Improved Version of the Natural Language Dialog System DST and Its Application for Discovery of Logical Constructions in Children's Speech , 2008, IC-AI.

[10]  John Zeleznikow,et al.  Building intelligent legal information systems : representation and reasoning in law , 1994 .

[11]  Chris Mellish,et al.  Natural Language Processing in Pop-11: An Introduction to Computational Linguistics , 1989 .

[12]  Rain Ottis,et al.  KNOWLEDGE BASED FRAMEWORK FOR CYBER WEAPONS AND CONFLICT , 2010 .

[13]  Eta S. Berner,et al.  Clinical Decision Support Systems , 1999, Health Informatics.

[14]  Simon A. Dobson,et al.  Representing and Manipulating Situation Hierarchies using Situation Lattices , 2008, Rev. d'Intelligence Artif..

[15]  R. Sikorski,et al.  The mathematics of metamathematics , 1963 .

[16]  Hyungsuk Ji,et al.  A Model for Matching Semantic Maps between Languages (French/English, English/French) , 2003, CL.

[17]  Antske Fokkens,et al.  Grammar Customization , 2010 .

[18]  Hubert Lehmann,et al.  Automatic construction of discourse representation structures , 1984 .

[19]  Gerald Gazdar,et al.  Natural Language Processing in PROLOG: An Introduction to Computational Linguistics , 1989 .

[20]  Hubert Lehmann,et al.  The LEX Project - Concept and Results , 1988, Natural Language at the Computer.

[21]  S. Read,et al.  A taxonomy of situations from Chinese idioms , 2006 .

[22]  Hyungsuk Ji,et al.  The Semantic Atlas: an Interactive Model of Lexical Representation , 2010, LREC.

[23]  G. Gentzen.  Untersuchungen über das logische Schließen. I , 1935 .

[24]  Peeter Lorents.  Knowledge and Information , 2010, IC-AI.

[25]  Ė. Kh. Tyugu,et al.  Knowledge-Based Programming , 2004 .

[26]  Peeter Lorents,et al.  Knowledge in Digital Decision Support System , 2011, HCI.

[27]  E. Berner,et al.  Clinical Decision Support Systems: Theory and Practice , 1998 .

[28]  Michael Gelfond,et al.  Theory of deductive systems and its applications , 1987 .

[29]  Joseph R. Shoenfield,et al.  Mathematical logic , 1967 .

[30]  Gabriel Jakobson,et al.  Extending situation modeling with inference of plausible future cyber situations , 2011, 2011 IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support (CogSIMA).

[31]  Peeter Lorents.  Knowledge and Taxonomy of Intellect , 2008, IC-AI.

[32]  John Zeleznikow,et al.  Reasoning paradigms in legal decision support systems , 1995, Artificial Intelligence Review.

[33]  K. Jon Barwise,et al.  The situation in logic , 1989, CSLI lecture notes series.