loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Alexander Birch Jensen 1 ; Koen V. Hindriks 2 and Jørgen Villadsen 1

Affiliations: 1 DTU Compute, Department of Applied Mathematics and Computer Science, Technical University of Denmark, Richard Petersens Plads, Building 324, DK-2800 Kongens Lyngby, Denmark ; 2 Social AI Group, Boelelaan 1111, Vrije Universiteit (VU) Amsterdam, 1081 HV Amsterdam, The Netherlands

Keyword(s): Agent-oriented Programming, Cognitive Multi-Agent Systems, Software Reliability, Proof Assistants.

Abstract: Demonstrating reliability of cognitive multi-agent systems is of key importance. There has been an extensive amount of work on logics for verifying cognitive agents but it has remained mostly theoretical. Cognitive agent-oriented programming languages provide the tools for compact representation of complex decision making mechanisms, which offers an opportunity for applying a theorem proving approach. We base our work on the belief that theorem proving can add to the currently available approaches for providing assurance for cognitive multi-agent systems. However, a practical approach using theorem proving is missing. We explore the use of proof assistants to make verifying cognitive multi-agent systems more practical.

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

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:
Jensen, A.; Hindriks, K. and Villadsen, J. (2021). On using Theorem Proving for Cognitive Agent-oriented Programming. In Proceedings of the 13th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART; ISBN 978-989-758-484-8; ISSN 2184-433X, SciTePress, pages 446-453. DOI: 10.5220/0010349504460453

@conference{icaart21,
author={Alexander Birch Jensen. and Koen V. Hindriks. and Jørgen Villadsen.},
title={On using Theorem Proving for Cognitive Agent-oriented Programming},
booktitle={Proceedings of the 13th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART},
year={2021},
pages={446-453},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010349504460453},
isbn={978-989-758-484-8},
issn={2184-433X},
}

TY - CONF

JO - Proceedings of the 13th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART
TI - On using Theorem Proving for Cognitive Agent-oriented Programming
SN - 978-989-758-484-8
IS - 2184-433X
AU - Jensen, A.
AU - Hindriks, K.
AU - Villadsen, J.
PY - 2021
SP - 446
EP - 453
DO - 10.5220/0010349504460453
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic