Project title
– Theory of Enactment Logic.
Investigation on System of Enactment Logic.
Investigator : Frank Appiah
Proposed mentor and host department
– Prof. Maribel Fernandez : Software Systems / Software Modelling and Logic Group,
Department of Informatics.
Abstract
This reseach is about work on the fitness of logically mapping an enact structure to an engagement structure. In this mapping, a language of logical(L) engage(E) enactment(E) is described in the context of both logic and structures, LEE.
Details of current and past research
– Past Research:
The past research is a maturity of agents running an engagement program via enact function. Agents ranks their actions in any engagement function of enact. Agents behave in relation to their agent interest. Agents will find dominance in their
behavior relationship. Agents has an art to act in accords with other actors. Agent's action is linearly processed. Actors in agency with less interest value will have less attention in relationship.
Grant Years: 1 - 6 years. Started on 2022.
Grant Value: GBP 7.5+M
Keywords : automated reasoning, software systems, agent processing system, agent Programming, editor, interpreter, c++, Java, object-oriented modules, object-oriented programming, class structures, goal-oriented system, interprocess communication, imperative language, compositional language, stored program, computations, automated software engineering, program execution, planning and Reasoning.
Screenshots
Software System
Agent Processing System : Editor for AGENT Goal-oriented System. Development is done in Java.
Application Software : Interpreter is done in C++.
Comments
Post a Comment