A proposal for reasoning in agents: restricted entailment

Lee Flax*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

Abstract

Johnson-Laird proposes a semantic theory of human reasoning taking into account finite human capacities. We cast this into logical formalism and define a notion of restricted semantic entailment. Corresponding to any set of logical structures, R, there is a restricted entailment with parameter R. The family of restricted entailments, generated as R varies over sets of structures, is shown to be a complete lattice and to approximate ordinary entailment in the sense of domain theory. A given restricted entailment, R say, can be modelled in a modal language with an operator ↓r. The modal language is sound and complete and there is a correspondence result: X R φ iff ↓ RX ↓, where X is a set of first-order sentences and φ is first-order. This forms the basis for the proposal that R be identified with agent reasoning and that ↓R encapsulate an agent. The existence of the lattice structure mentioned above means that several agents can be integrated into a super-agent or else distilled into a sub-agent by taking joins or meets.

Original languageEnglish
Title of host publicationDeclarative Agent Languages and Technologies - First International Workshop, DALT 2003
EditorsJoão Leite, Andrea Omicini, Leon Sterling, Paolo Torroni
Place of PublicationBerlin; Heidelberg
PublisherSpringer, Springer Nature
Pages173-190
Number of pages18
Volume2990
ISBN (Electronic)9783540221241
Publication statusPublished - 2004
Event1st International Workshop on Declarative Agent Languages and Technologies, DALT 2003 held in conjunction with 2nd International Joint Conference on Autonomous Agents and Multi-Agent Systems, AAMAS 2003 - Melbourne, Australia
Duration: 15 Jul 200315 Jul 2003

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2990
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other1st International Workshop on Declarative Agent Languages and Technologies, DALT 2003 held in conjunction with 2nd International Joint Conference on Autonomous Agents and Multi-Agent Systems, AAMAS 2003
CountryAustralia
CityMelbourne
Period15/07/0315/07/03

Fingerprint Dive into the research topics of 'A proposal for reasoning in agents: restricted entailment'. Together they form a unique fingerprint.

Cite this