Skip to main content

Emprothep - Computing and Electronics Research

Search This Blog

TIMELINES

Get link
Facebook
X
Pinterest
Email
Other Apps

Conduct of Research Timeline/years

1. Enactprover Interpreter 1

2. Graphical User Interface 1

3. Documentation 2

4. Final Dissemination 1

Final Development 5

Get link
Facebook
X
Pinterest
Email
Other Apps

Comments

Post a Comment

King's College London

Organisation

Enact. Interpret. Build.

Enactprover

Royal Academy

Sponsor

Twitter

@RAEngNews @uclengex @UCLEngineering @kcl_engineering @kclinformatics
This is a spoken report by Prof Frank Appiah on engineering for development research fellowship 2020 for 5years running. Listen to
Speech: https://t.co/thcZYYTSfG
— Prof. Frank Appiah 🇬🇭 in 🇬🇧 (@frankappiah) September 30, 2020

Popular Posts

Research Grant on Software Systems

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 in...

ENACTPROVER

Electron ic M achine Progr am on Theorem Proving. ( EMPROTHEP ) This research poster is on provable forms based on syntactic theorem using Kleene Axiom schema. Enact model I and II of propositional formulas from enactment logic are proven in terms of theorems based on deductive rules. Work proves by deduction rules that Enact Model I and II are model theorems in machine- level interpretation. Enactprover is a machine program for reading and writing Kleene theorem proving axioms based on enactment logic. Accepted: ScienceOpen Poster Keyw ords . model , com posites , enactment , logic , proof , synt actic , theor em . enactpr over , mac hine-inter pretation , progr am . Listen: Listen to "FRANK APPIAH-Engineering For Development" on Spreaker.

Multi-agent Cogency : History of Agent Computing

Multi-agent Cogency : What is the nature of agent in computer? In this work, several agents are discussed in terms of their Cogency. The nature of agent involves fairness, safety and liveness. Presentation : Watch

Powered by Blogger