Agent-Based Proof Design via Lemma Flow Diagram

02/03/2020
by   Keehang Kwon, et al.
0

We discuss an agent-based approach to proof design and implementation, which we call Lemma Flow Diagram (LFD). This approach is based on the multicut rule with shared cuts. This approach is modular and easy to use, read and automate. Thus, we consider LFD an appealing alternative to `flow proof' which is popular in mathematical education. Some examples are provided.

READ FULL TEXT
research
11/19/2019

Uncertainty and Sensitivity Analyses Methods for Agent-Based Mathematical Models: An Introductory Review

Multiscale, agent-based mathematical models of biological systems are of...
research
04/07/2012

A new approach of designing Multi-Agent Systems

Agent technology is a software paradigm that permits to implement large ...
research
05/18/2022

Agent-Based modeling in Medical Research. Example in Health Economics

This chapter presents the main lines of agent based modeling in the fiel...
research
09/13/2023

Geospatial Tessellation in the Agent-In-Cell Model: A Framework for Agent-Based Modeling of Pandemic

Agent-based simulation is a versatile and potent computational modeling ...
research
03/07/2017

On time and consistency in multi-level agent-based simulations

The integration of multiple viewpoints became an increasingly popular ap...
research
03/13/2018

An Agent-Based Simulation of Residential Location Choice of Tenants in Tehran, Iran

Residential location choice modeling is one of the substantial component...
research
06/18/2020

Towards Auditability Requirements Specification Using an Agent-Based Approach

Transparency is an important factor in democratic societies composed of ...

Please sign up or login with your details

Forgot password? Click here to reset