Accumulative Knowledge under Bounded Resources

Jamroga, Wojciech; Tabatabaei, Masoud

doi:10.1007/978-3-642-40624-9_13

Cited by 6 publications

(2 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Alechina, Logan, Nguyen, and Rakib [2011] incorporated resource requirements into Coalition logic and gave a sound and complete axiomatization of the resulting system. Another logical system for reasoning about knowledge under bounded resources was proposed by Jamroga and Tabatabaei [2013]. Their paper focuses on the expressive power of the language of the system and the model checking algorithm.…”

Section: Other Related Literaturementioning

confidence: 99%

Information Flow under Budget Constraints

Naumov

Jia

2017

ACM Trans. Comput. Logic

View full text Add to dashboard Cite

Although first proposed in the database theory as properties of functional dependencies between attributes, Armstrong's axioms capture general principles of information flow by describing properties of dependencies between sets of pieces of information. This article generalizes Armstrong's axioms to a setting in which there is a cost associated with information. The proposed logical system captures general principles of dependencies between pieces of information constrained by a given budget.

show abstract

Section: Other Related Literaturementioning

confidence: 99%

Information Flow under Budget Constraints

Naumov

Jia

2017

ACM Trans. Comput. Logic

View full text Add to dashboard Cite

show abstract

“…Alechina et al [2011] incorporated resource requirements into Coalition logic and gave a sound and complete axiomatization of the resulting system. Another logical system for reasoning about knowledge under bounded resources was proposed by Jamroga and Tabatabaei [2013]. Their article focuses on the expressive power of the language of the system and the model checking algorithm.…”

Section: Introductionmentioning

confidence: 99%

The Budget-Constrained Functional Dependency

Naumov,

Tao

2015

Preprint

View full text Add to dashboard Cite

Armstrong's axioms of functional dependency form a well-known logical system that captures properties of functional dependencies between sets of database attributes. This article assumes that there are costs associated with attributes and proposes an extension of Armstrong's system for reasoning about budget-constrained functional dependencies in such a setting.The main technical result of this article is the completeness theorem for the proposed logical system. Although the proposed axioms are obtained by just adding cost subscript to the original Armstrong's axioms, the proof of the completeness for the proposed system is significantly more complicated than that for the Armstrong's system.

show abstract

Epistemic Planning with Attention as a Bounded Resource

Belardinelli

Rendsvig

2021

Logic, Rationality, and Interaction

View full text Add to dashboard Cite

Accumulative Knowledge under Bounded Resources

Cited by 6 publications

References 18 publications

Information Flow under Budget Constraints

Information Flow under Budget Constraints

The Budget-Constrained Functional Dependency

Epistemic Planning with Attention as a Bounded Resource

Contact Info

Product

Resources

About