loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock
Theoretical Basis of Language System with State Constraints

Topics: AI-based Computing, AI-based Analysis; Complexity Theory; Formal Methods and System Verification; Information Systems; Linguistic and Cognitive Systems; Mathematical Models; Multi-Agent Systems; Ontology Engineering; Simulation and Modeling; System Specification and Modeling; Usability of Complex Information Systems

Author: Susumu Yamasaki

Affiliation: HCI Group, Department of Computer Science, Okayama University, Tsushima-Naka, Okayama, Japan

Keyword(s): Programming Language, Algebraic Expression, State Constraint System.

Abstract: This paper presents theoretical basis of a language system whose program is described as algebraic expressions and implemented as abstract state machine. The behaviors of the described expressions may be captured (with their models) as causing sequences for state transitions, where composition and alternation for state transitions are mechanized in algebraic structure. Monitoring facilities to the language system may be described with state concepts, as well. With respect to intuitionistic logic and logical program containing negatives, Heyting algebra expressions are taken rather than already established nonmonotonic reasoning programs with negations, where 3-valued domain may be of use for the undefined to be allowable such that positives and negatives may be consistently evaluated, instead of rigid 2-valued settlements. We may have a standard form of Heyting algebra expressions in accordance to logical and AI programming, where the expressions are constrained with states. The stat es may be regarded as environmental conditions or objects as in object-oriented programming. As regards 3-valued models of given expressions, monotonic mapping cannot be in general associated with, but some ways are presented to approximate fixed points of a mapping for the given expression. Then the formal description of programs may be given with reference to state transitions, which is thought of as proposing a language system structure. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.87.133.69

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Yamasaki, S. (2020). Theoretical Basis of Language System with State Constraints. In Proceedings of the 5th International Conference on Complexity, Future Information Systems and Risk - COMPLEXIS; ISBN 978-989-758-427-5; ISSN 2184-5034, SciTePress, pages 80-87. DOI: 10.5220/0009385100800087

@conference{complexis20,
author={Susumu Yamasaki.},
title={Theoretical Basis of Language System with State Constraints},
booktitle={Proceedings of the 5th International Conference on Complexity, Future Information Systems and Risk - COMPLEXIS},
year={2020},
pages={80-87},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0009385100800087},
isbn={978-989-758-427-5},
issn={2184-5034},
}

TY - CONF

JO - Proceedings of the 5th International Conference on Complexity, Future Information Systems and Risk - COMPLEXIS
TI - Theoretical Basis of Language System with State Constraints
SN - 978-989-758-427-5
IS - 2184-5034
AU - Yamasaki, S.
PY - 2020
SP - 80
EP - 87
DO - 10.5220/0009385100800087
PB - SciTePress