Self-Explaining Agents

2013 ◽  
Vol 63 (3) ◽  
Author(s):  
Johannes Fähndrich ◽  
Sebastian Ahrndt ◽  
Sahin Albayrak
Keyword(s):  
State Of The Art ◽  
System Development ◽  
Special Kind ◽  
Research Area ◽  
System Component ◽  
Software Systems ◽  
Design Decisions ◽  
Learning Agents ◽  
Additional Information ◽  
Definition Of

This work advocate self-explanation as one foundation of self-* properties. Arguing that for system component to become more self-explanatory the underlining foundation is an awareness of themselves and their environment. In the research area of adaptive software, self-* properties have shifted into focus caused by the tendency to push ever more design decisions to the applications runtime. Thus fostering new paradigms for system development like intelligent and learning agents. This work surveys the state-of-the-art methods of self-explanation in software systems and distills a definition of self-explanation. Additionally, we introduce a measure to compare explanations and propose an approach for the first steps towards extending descriptions to become more explanatory. The conclusion shows that explanation is a special kind of description. The kind of description that provides additional information about a subject of interest and is understandable for the audience of the explanation. Further the explanation is dependent on the context it is used in, which brings about that one explanation can transport different information in different contexts. The proposed measure reflects those requirements.

Measuring the Progress of a System Development

2014 ◽  
pp. 1415-1439
Author(s):  
Marta (Plaska) Olszewska ◽  
Marina Waldén
Keyword(s):  
Formal Methods ◽  
Design Process ◽  
Formal Specification ◽  
System Development ◽  
Structural Complexity ◽  
Software Systems ◽  
System Construction ◽  
Design Decisions ◽  
And Control

For most of the developers and managers, the structure and the behaviour of software systems represented in a graphical manner is more understandable than a formal specification of a system or than plain code. Our previous work combined the intuitiveness of UML with the development rigour brought by formal methods and created progress diagrams. In progress diagrams, the design decisions within a system refinement chain are assisted by the application of patterns and illustrated in a comprehensible and compact manner. In order to rigorously assess and control the design process, we need to thoroughly monitor it. In this chapter we show how the application of generic refinement patterns is reflected in measurements. We establish measures for the evaluation of the design progress of the system, where the progress diagrams are assessed from the size and structural complexity perspective. Our motivation is to support the system developers and managers in making the design decisions that regard the system construction.

Measuring the Progress of a System Development

2012 ◽  
pp. 417-441 ◽  
Author(s):  
Marta (Plaska) Olszewska ◽  
Marina Waldén
Keyword(s):  
Formal Methods ◽  
Design Process ◽  
Formal Specification ◽  
System Development ◽  
Structural Complexity ◽  
Software Systems ◽  
System Construction ◽  
Design Decisions ◽  
And Control

For most of the developers and managers, the structure and the behaviour of software systems represented in a graphical manner is more understandable than a formal specification of a system or than plain code. Our previous work combined the intuitiveness of UML with the development rigour brought by formal methods and created progress diagrams. In progress diagrams, the design decisions within a system refinement chain are assisted by the application of patterns and illustrated in a comprehensible and compact manner. In order to rigorously assess and control the design process, we need to thoroughly monitor it. In this chapter we show how the application of generic refinement patterns is reflected in measurements. We establish measures for the evaluation of the design progress of the system, where the progress diagrams are assessed from the size and structural complexity perspective. Our motivation is to support the system developers and managers in making the design decisions that regard the system construction.

scholarly journals Two flavors of DRAT

10.29007/lt8r ◽  
2019 ◽  
Author(s):  
Adrian Rebola Pardo ◽  
Armin Biere
Keyword(s):  
State Of The Art ◽  
Operational Definition ◽  
Design Decisions ◽  
Sat Solvers ◽  
Original Definition ◽  
Definition Of ◽  
Unit Propagation ◽  
Practical Implications

DRAT proofs have become the de facto standard for certifying SAT solvers’ results. State-of-the-art DRAT checkers are able to efficiently establish the unsatisfiability of a formula. However, DRAT checking requires unit propagation, and so it is computationally non-trivial. Due to design decisions in the development of early DRAT checkers, the class of proofs accepted by state-of-the-art DRAT checkers differs from the class of proofs accepted by the original definition. In this paper, we formalize the operational definition of DRAT proofs, and discuss practical implications of this difference for generating as well as checking DRAT proofs. We also show that these theoretical differences have the potential to affect whether some proofs generated in practice by SAT solvers are correct or not.

scholarly journals Perspectives to Definition of Big Data: A Mapping Study and Discussion

2016 ◽  
Vol 4 (1) ◽  
pp. 69-91 ◽  
Author(s):  
Ossi Ylijoki ◽  
Jari Porras
Keyword(s):  
Big Data ◽  
State Of The Art ◽  
Research Area ◽  
Theory And Practice ◽  
Current Status ◽  
Systematic Mapping Study ◽  
Mapping Study ◽  
Common Definition ◽  
Definition Of ◽  
New Research

Big data is an emerging research area where common terminology is still evolving. Different perspectives to the research area and terminology exist, but a common definition for big data does not exist. We have performed a systematic mapping study in order to identify different big data definitions and their perspectives. As a result, we present a state-of-the-art review of the current status in big data definitions, discuss the shortcomings of the current definitions, and propose possible solutions for the shortcomings. The paper contributes to the emerging big data research by analyzing current definitions of big data from different perspectives, suggesting enhancement to the terminology as well as pointing out new research avenues. In addition, the article helps new researchers and practitioners to understand what big data is, and bridges the knowledge between theory and practice.

scholarly journals Rehabilitation Counseling for Older Disabled Persons: The State of the Art

1983 ◽  
Vol 14 (3) ◽  
pp. 48-53 ◽  
Author(s):  
Jane E. Myers
Keyword(s):  
Independent Living ◽  
Older Persons ◽  
State Of The Art ◽  
Disabled Persons ◽  
The State ◽  
Mandatory Retirement ◽  
Average Life Span ◽  
Gainful Employment ◽  
Additional Information ◽  
Definition Of

Disabled older persons are a population traditionally excluded from rehabilitation services because they were considered unfeasible for substantial gainful employment. The emerging focus on independent living services, along with increases in the average life span and changes in policies such as mandatory retirement age, has forced a reexamination of the potential for rehabilitation of this population. This article examines what is known about disabled older people, including both medical and psychosocial aspects, and discusses the implications of these conditions for rehabilitation planning. The definition of the state of the art in working with older persons includes attention to counseling practices and concludes with resources for additional information.

The Evolution of Psychoanalytic Practice with Psychotic Patients

2002 ◽  
Vol 4 (1) ◽  
pp. 31-43
Author(s):  
Sophie de Mijolla-Mellor
Keyword(s):  
Special Kind ◽  
Main Hypothesis ◽  
Actual Case ◽  
Definition Of ◽  
Psychoanalytic Method

This paper deals with the evolution of the psychoanalytic practice with psychotic patients beginning with Freud's scepticism about the transference capacities of those patients to a new definition of a special kind of psychotic transference. The main hypothesis is that the actual case of psychotics within a psychoanalytic cure has modified the psychoanalytic method itself, even in the field of neuroses. Within the framework and, more specifically, in the case of schizophrenics, this paper develops some reflections on the evolution of the three following concepts: transference/countertransference, communication and interpretation, and reality.

Application of information and communication technologies in modern Russian cadastral system

2019 ◽  
Vol 944 (2) ◽  
pp. 57-63
Author(s):  
V.A. Pavlova ◽  
E.L. Uvarova
Keyword(s):  
Real Estate ◽  
Information And Communication Technologies ◽  
Communication Technologies ◽  
Software Systems ◽  
Electronic Interaction ◽  
Online Services ◽  
Global Trends ◽  
Additional Information ◽  
Information And Communication ◽  
Cadastral System

The authors describe modern trends in development of the cadastral system. The main features of the procedure of cadastral registration and software systems that act as accounting and registration of automated databases are highlighted. The technological process of maintaining the unified state register of real estate is analyzed in detail. The modern system of information electronic interaction in the real estate register is designated. The role of information and communication technologies in the Russian cadastral system is shown. The authors propose a classification of online services of Rosreestr in a number of ways. The fourth group of online services is allocated as the most promising as it provides opportunities to obtain additional information at the common activity fields of different Executive authorities. The authors conclude that changes in the cadastral system of the Russian Federation are greatly influenced by global trends which in turn are aimed at expanding the functions of the cadastre as an information basis of land management.

An Analysis of the Demand for Reporting on Internal Control

2000 ◽  
Vol 14 (3) ◽  
pp. 325-341 ◽  
Author(s):  
Heather M. Hermanson
Keyword(s):  
Decision Making ◽  
Financial Reporting ◽  
Internal Control ◽  
Operational Definition ◽  
Financial Statement ◽  
Individual Investors ◽  
Internal Auditors ◽  
Additional Information ◽  
User Groups ◽  
Definition Of

The purpose of this study is to analyze the demand for reporting on internal control. Nine financial statement user groups were identified and surveyed to determine whether they agree that: (1) management reports on internal control (MRIC) are useful, (2) MRICs influence decisions, and (3) financial reporting is improved by adding MRICs. In addition, the paper examined whether responses varied based on: (1) the definition of internal control used (manipulated as broad, operational definition vs. narrow, financial-reporting definition) and (2) user group. The results indicate that financial statement users agree that internal controls are important. Respondents agreed that voluntary MRICs improved controls and provided additional information for decision making. Respondents also agreed that mandatory MRICs improved controls, but did not agree about their value for decision making. Using a broad definition of controls, respondents strongly agreed that MRICs improved controls and provided a better indicator of a company's long-term viability. Executive respondents were less likely to agree about the value of MRICs than individual investors and internal auditors.

Systematic Literature Review on Smart Mobility: A Framework for Future “Quantitative” Developments

2021 ◽  
pp. 088541222199424
Author(s):  
Mauro Francini ◽  
Lucia Chieffallo ◽  
Annunziata Palermo ◽  
Maria Francesca Viapiana
Keyword(s):  
Cluster Analysis ◽  
Literature Review ◽  
Systematic Literature Review ◽  
Performance Indicators ◽  
State Of The Art ◽  
Measurement Model ◽  
Broader Impacts ◽  
Research Goal ◽  
Smart Mobility ◽  
Definition Of

This work aims to reorganize theoretical and empirical research on smart mobility through the systematic literature review approach. The research goal is to reach an extended and shared definition of smart mobility using the cluster analysis. The article provides a summary of the state of the art that can have broader impacts in determining new angles for approaching research. In particular, the results will be a reference for future quantitative developments for the authors who are working on the construction of a territorial measurement model of the smartness degree, helping them in identifying performance indicators consistent with the definition proposed.

Sign in / Sign up

Export Citation Format

Share Document