Name
Abstract | ||
|---|---|---|
Extending the work of Belnap [3], we continue our research on ESP structures, consisting of information sources and a processor which collects information from the sources, and develops it further using certain coherent rules. We examine the case of reasonable sources which provide coherent information, characterize the logic of a single reasonable source, and prove that the logics generated by ESP structures with reasonable sources coincide with the general source-processor logics described in our previous work. However, we show that, unlike the case of arbitrary sources, there are processor valuations in general ESP structures which cannot be obtained from any finite number of valuations defined by reasonable sources. |
Year | DOI | Venue |
|---|---|---|
2010 | 10.1109/ISMVL.2010.19 | ISMVL |
Keywords | Field | DocType |
previous work,many-valued logics,general source-processor,reasonable information sources,reasonable source,proof systems,information sources,general esp structure,esp structure,single reasonable source,coherent information,information source,certain coherent rule,processor valuation,non-deterministic matrices,many valued logic,formal logic,knowledge based systems,calculus,coherence,law,limiting,cost accounting,logic,relational databases | Discrete mathematics,Finite set,Relational database,Matrix algebra,Computer science,Knowledge-based systems,Coherence (physics),Cost accounting,Limiting,Coherent information | Conference |
ISSN | ISBN | Citations |
0195-623X | 978-1-4244-6752-5 | 1 |
PageRank | References | Authors |
0.37 | 1 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Arnon Avron | 1 | 1292 | 147.65 |
| Jonathan Ben-Naim | 2 | 135 | 11.69 |
| Beata Konikowska | 3 | 222 | 22.99 |