2009 | OriginalPaper | Buchkapitel
Mono-Agent Dynamics
verfasst von : Sebastian Sequoiah-Grayson
Erschienen in: Logic, Rationality, and Interaction
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
We model the information flow between different states of a single agent as that agent reasons deductively. K–axiom–based epistemic closure for explicit knowledge is rejected for even the most trivial cases of inferential reasoning on account of the fact that the closure axiom does not extend beyond a raw consequence relation.
The resource management of the database of agent states for the deductive reasoning fragment in question is covered by the logic corresponding to the
non–associative Lambek Calculus with permutation, bottom, and identity
:
NLP
0 , 1
.