Reasoning about Computational Agents in FOL

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F10%3A00345160" target="_blank" >RIV/67985807:_____/10:00345160 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Reasoning about Computational Agents in FOL

Original language description

A Multi-Agent System platform focusing on computational intelligence modeling is being developed. In order to describe the properties of individual agents and modes of their connections to multi-agent systems, an ontological description is utilized. In this paper, we describe how an automatic theorem proofer for first order logics can be used to allow reasoning about multi-agent systems, and eventually an automated design under given constrains.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

IN - Informatics

OECD FORD branch

—

Project

<a href="/en/project/OC10047" target="_blank" >OC10047: Analysis of Intelligent Computational Distributed Systems</a><br>

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2010

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

Proceedings of the Third International Conference on Modelling and Simulation

ISBN

978-1-84626-155-8

ISSN

—

e-ISSN

—

Number of pages

6

Pages from-to

—

Publisher name

World Academic Union

Place of publication

Mill Lane

Event location

Wuxi

Event date

Jun 4, 2010

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

000282085200001