|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 3 van 14 gevonden artikelen
| Titel: |
Deductive efficiency, belief revision and acting |
| Auteur: |
Kumar, Deepak Shapiro, Stuart C. |
| Verschenen in: |
Journal of experimental & theoretical artificial intelligence |
| Paginering: | Jaargang 5 (1993) nr. 2-3 pagina's 167-177 |
| Jaar: |
1993-04-01 |
| Inhoud: |
The SNePS inference engine is optimized for deductive efficiency, i.e. all beliefs acquired via inference are added to the agent's beliefs so that future queries may be answered by a retrieval rather than rederivation. An assumption-based truth maintenance system keeps track of the derivation histories of derived beliefs. We show how such an architecture simplifies the ontology of prepositional representations of plans; acts; preconditions, and effects of actions. In addition, the deductive efficiency of the basic system automatically extends itself to efficient search of plans, and hierarchical plan decompositions. |
| Uitgever: |
Taylor & Francis |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 3 van 14 gevonden artikelen
| << vorige | volgende >> |