An emergence of formal logic induced by an internal agent.

Koji Sawa Yukio-Pegio Gunji

Published in: Biosyst. (2014)

Keyphrases

formal logic
predicate logic
multi agent systems
agent societies
multi agent
multiagent systems
multiple agents
artificial intelligence
formal methods
design theory
general purpose
description logics
autonomous agents
information systems
logic programming