Erika Matsak

Applying time-dependent algebraic systems for describing situations

Situation management requires means for describing various things, both situation states and developments. For this reason we turn to algebraic systems. We define time as a system, as well as systems that are time-dependent. We consider the application of the DST dialogue system as one possible way to reliably represent descriptions in the form of formulas.

Digital solutions for inference rules in decision-supporting systems

In this paper, we discuss the use of digital circuits in decision support systems. For this, it is first necessary to translate the descriptions of situations and conclusions which are discovered step by step into a suitable Predicate Calculus. Then, a digital implementation for the constructs of Predicate Calculus must be found. So, the main issue is the realization of logically correct inference rules. In this paper, the following inference rules have been studied in a detailed fashion: Contrapository rule, the Modus Ponens and Modus Tollens.

Knowledge in digital decision support system

Digital circuits have been studied, which can support the decisionmaking process. The circuits allow realizing two types of inference rules: modus ponens and modus tollens. Inference process uses knowledge that comes from a description of situations, and axioms, which comes from the experts.

Kuidas uurida esimese ja teise keele omandamist

Artikli eesmark on tutvustada esimese ja teise keele omandamist kasitleva uurimuse ideed. Esiplaanil on Eesti vajadused ning uurimitulemuste rakendatavus eesti keele oppes, tahelepanu keskmes esimese ja teise keele omandamise protsessi puudutavad kusimused: kuidas keeleoskus areneb, missugused keeleuksused (morfosuntaktilised konstruktsioonid, kollokatsioonid, idiomaatika jm) iseloomustavad keeleoskuse tasemeid. Kuna eesti keele pohjal ei ole esimese ja teise keele omandamist korpuslingvistiliselt ja vordlevalt seni kasitletud, siis pohjendatakse vajadust taolise uurimuse jarele, samuti selgitatakse, missugustest teoreetilistest ja metodoloogilistest alustest oleks seejuures mottekas lahtuda, missuguseid analuusimeetodeid kasutada. Artiklis kirjeldatava uurimissuuna arendamisega on alustatud Tallinna Ulikooli eesti keele ja kultuuri instituudis. http://dx.doi.org/10.5128/LV20.01

SyLAR—The System for Logic and Automated Reasoning for Situation Management Decision Support Systems

This paper presents a modified version of forward chaining method of reasoning and a prototype implementation called Sylar – System for Logic and Automated reasoning, which can be used for situation management. The method, presented by the authors, implements Modus Ponens and Modus Tollens by Truth tables and a SAT solver to discover hidden knowledge and suggest decisions. Also, it gives the opportunity to use multi-step inferences. Proposed method is suitable for this specific kind of decision making process.

Veracity and Convincingness: Sources of Plausibility for Decision Making and Situation Management

This paper explores the options for calculating the measures of veracity of statements and convincingness of reasoning. This is one approach for handling plausibility and it is important in systems that support or (autonomously) execute decision making for situation management. An unexpected and peculiar non-unity was discovered between the measure of correctness of inference steps and the measure of veracity of the statements used in the implementation of those inference steps, which shows that the convincingness of reasoning may not in itself guarantee veracious results.