FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2019917492> ?p ?o ?g. }

• W2019917492 endingPage "51" @default.
• W2019917492 startingPage "35" @default.
• W2019917492 abstract "Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated reasoning techniques to be used on, and by, the agents themselves. The possible worlds semantics offered by modal logic has proved to be a successful framework in which to model mental attitudes of agents such as beliefs, desires and intentions. The most popular choices for modeling the informational attitudes involves annotating the agent with an S5-like logic for knowledge, or a KD45-like logic for belief. However, using these logics in their standard form, an agent cannot distinguish situations in which the evidence for a certain fact is ‘equally distributed’ over its alternatives, from situations in which there is only one, almost negligible, counterexample to a ‘fact’. Probabilistic modal logics are a way to address this, but they easily end up being both computationally and conceptually complex, for example often lacking the property of compactness. In this paper, we propose a probabilistic modal logic PFKD45, in which the probabilities of the possible worlds range over a finite domain of values, while still allowing the agent to reason about infinitely many options. In this way, the logic remains compact, implying that the agent still has to consider only finitely many possibilities for probability distributions during a reasoning task. We demonstrate a sound, compact and complete axiomatization for PFKD45 and show that it has several appealing features. Then, we discuss an implemented decision procedure for the logic, and provide a small example." @default.
• W2019917492 created "2016-06-24" @default.
• W2019917492 creator A5001487424 @default.
• W2019917492 creator A5044690391 @default.
• W2019917492 creator A5061257841 @default.
• W2019917492 date "2008-09-01" @default.
• W2019917492 modified "2023-09-26" @default.
• W2019917492 title "Specifying and reasoning about uncertain agents" @default.
• W2019917492 cites W1518446053 @default.
• W2019917492 cites W1815825293 @default.
• W2019917492 cites W1974554384 @default.
• W2019917492 cites W1999325584 @default.
• W2019917492 cites W2000928325 @default.
• W2019917492 cites W2003823975 @default.
• W2019917492 cites W2012741612 @default.
• W2019917492 cites W2035353139 @default.
• W2019917492 cites W2054726834 @default.
• W2019917492 cites W2062125000 @default.
• W2019917492 cites W2062285040 @default.
• W2019917492 cites W2069197944 @default.
• W2019917492 cites W2166806646 @default.
• W2019917492 cites W2169250070 @default.
• W2019917492 cites W2914728526 @default.
• W2019917492 doi "https://doi.org/10.1016/j.ijar.2007.08.003" @default.
• W2019917492 hasPublicationYear "2008" @default.
• W2019917492 type Work @default.
• W2019917492 sameAs 2019917492 @default.
• W2019917492 citedByCount "10" @default.
• W2019917492 countsByYear W20199174922013 @default.
• W2019917492 countsByYear W20199174922014 @default.
• W2019917492 countsByYear W20199174922015 @default.
• W2019917492 countsByYear W20199174922018 @default.
• W2019917492 crossrefType "journal-article" @default.
• W2019917492 hasAuthorship W2019917492A5001487424 @default.
• W2019917492 hasAuthorship W2019917492A5044690391 @default.
• W2019917492 hasAuthorship W2019917492A5061257841 @default.
• W2019917492 hasBestOaLocation W20199174922 @default.
• W2019917492 hasConcept C102993220 @default.
• W2019917492 hasConcept C107247716 @default.
• W2019917492 hasConcept C111472728 @default.
• W2019917492 hasConcept C118615104 @default.
• W2019917492 hasConcept C128828806 @default.
• W2019917492 hasConcept C136172866 @default.
• W2019917492 hasConcept C138885662 @default.
• W2019917492 hasConcept C154945302 @default.
• W2019917492 hasConcept C159032336 @default.
• W2019917492 hasConcept C159985019 @default.
• W2019917492 hasConcept C162838799 @default.
• W2019917492 hasConcept C184337299 @default.
• W2019917492 hasConcept C185592680 @default.
• W2019917492 hasConcept C188027245 @default.
• W2019917492 hasConcept C189950617 @default.
• W2019917492 hasConcept C18998212 @default.
• W2019917492 hasConcept C192562407 @default.
• W2019917492 hasConcept C199360897 @default.
• W2019917492 hasConcept C203659156 @default.
• W2019917492 hasConcept C204323151 @default.
• W2019917492 hasConcept C27508121 @default.
• W2019917492 hasConcept C33923547 @default.
• W2019917492 hasConcept C3845977 @default.
• W2019917492 hasConcept C41008148 @default.
• W2019917492 hasConcept C49937458 @default.
• W2019917492 hasConcept C71139939 @default.
• W2019917492 hasConcept C80444323 @default.
• W2019917492 hasConceptScore W2019917492C102993220 @default.
• W2019917492 hasConceptScore W2019917492C107247716 @default.
• W2019917492 hasConceptScore W2019917492C111472728 @default.
• W2019917492 hasConceptScore W2019917492C118615104 @default.
• W2019917492 hasConceptScore W2019917492C128828806 @default.
• W2019917492 hasConceptScore W2019917492C136172866 @default.
• W2019917492 hasConceptScore W2019917492C138885662 @default.
• W2019917492 hasConceptScore W2019917492C154945302 @default.
• W2019917492 hasConceptScore W2019917492C159032336 @default.
• W2019917492 hasConceptScore W2019917492C159985019 @default.
• W2019917492 hasConceptScore W2019917492C162838799 @default.
• W2019917492 hasConceptScore W2019917492C184337299 @default.
• W2019917492 hasConceptScore W2019917492C185592680 @default.
• W2019917492 hasConceptScore W2019917492C188027245 @default.
• W2019917492 hasConceptScore W2019917492C189950617 @default.
• W2019917492 hasConceptScore W2019917492C18998212 @default.
• W2019917492 hasConceptScore W2019917492C192562407 @default.
• W2019917492 hasConceptScore W2019917492C199360897 @default.
• W2019917492 hasConceptScore W2019917492C203659156 @default.
• W2019917492 hasConceptScore W2019917492C204323151 @default.
• W2019917492 hasConceptScore W2019917492C27508121 @default.
• W2019917492 hasConceptScore W2019917492C33923547 @default.
• W2019917492 hasConceptScore W2019917492C3845977 @default.
• W2019917492 hasConceptScore W2019917492C41008148 @default.
• W2019917492 hasConceptScore W2019917492C49937458 @default.
• W2019917492 hasConceptScore W2019917492C71139939 @default.
• W2019917492 hasConceptScore W2019917492C80444323 @default.
• W2019917492 hasIssue "1" @default.
• W2019917492 hasLocation W20199174921 @default.
• W2019917492 hasLocation W20199174922 @default.
• W2019917492 hasOpenAccess W2019917492 @default.
• W2019917492 hasPrimaryLocation W20199174921 @default.
• W2019917492 hasRelatedWork W1523108613 @default.
• W2019917492 hasRelatedWork W1788106506 @default.

• next