Rule-Based Reasoning with Belief Structures
| Autor: | Andrzej Szałas, Lukasz Bialek, Barbara Dunin-Keplicz |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
Deductive reasoning
business.industry Computer science 010102 general mathematics Paraconsistent logic Rule-based system 02 engineering and technology 01 natural sciences Abductive reasoning 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing Artificial intelligence 0101 mathematics Non-monotonic logic business Finite set |
| Zdroj: | Lecture Notes in Computer Science ISBN: 9783319604374 ISMIS |
| DOI: | 10.1007/978-3-319-60438-1_23 |
| Popis: | This paper introduces \(\text {4QL}^{\!\text {Bel}}\), a four-valued rule language designed for reasoning with paraconsistent and paracomplete belief bases as well as belief structures. Belief bases consist of finite sets of ground literals providing (partial and possibly inconsistent) complementary or alternative views of the world. As introduced earlier, belief structures consist of constituents, epistemic profiles and consequents. Constituents and consequents are belief bases playing different roles. Agents perceive the world forming their constituents, which are further transformed into consequents via the agents’ or groups’ epistemic profile. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|