Representing knowledge within the situation calculus using interval-valued epistemic fluents

DOI10.1023/A:1026441624550zbMath0938.68844OpenAlexW1530027892MaRDI QIDQ1300085

John Funge

Publication date: 21 June 2000

Published in: Reliable Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1026441624550

zbMATH Keywords

autonomous agents

Mathematics Subject Classification ID

Knowledge representation (68T30) Interval and finite arithmetic (65G30)

Related Items

Hierarchical and Heterogenous Reactive Agents for Real-Time Applications ⋮ Knowledge, action, and the frame problem