Matches in SemOpenAlex for { <https://semopenalex.org/work/W2360281659> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2360281659 abstract "Formal frameworks for the specification of rational agents are commonly based on logic of belief, desire and intention. In order to eliminate the problems with existing logic of belief, desire and intention, and to provide a proper semantic representation for non-normal modal operator, the problems with existing logic of belief, desire and intention are addressed, the true-false subset semantics, which is developed by the authors, and its application in the formalization of agent are introduced. The proposed framework invalidates the problematic properties of intention, and by imposing certain constraints on the algebraic structure of the models, it is showed that many desirable properties can be obtained. Finally the true-false subset semantics is analyzed. Thus the true-false subset semantics provides a proper semantic representation for non-normal modal operator. It is an important development of classical possible worlds semantics for normal modal operators, and is proved to be a powerful tool for the logical specification of rational agent behavior. It can be applied to establish a new proper agent logic system." @default.
- W2360281659 created "2016-06-24" @default.
- W2360281659 creator A5036093843 @default.
- W2360281659 date "2002-01-01" @default.
- W2360281659 modified "2023-09-25" @default.
- W2360281659 title "Agent Logic and the True-False Subset Semantics" @default.
- W2360281659 hasPublicationYear "2002" @default.
- W2360281659 type Work @default.
- W2360281659 sameAs 2360281659 @default.
- W2360281659 citedByCount "5" @default.
- W2360281659 crossrefType "journal-article" @default.
- W2360281659 hasAuthorship W2360281659A5036093843 @default.
- W2360281659 hasConcept C102993220 @default.
- W2360281659 hasConcept C104317684 @default.
- W2360281659 hasConcept C107247716 @default.
- W2360281659 hasConcept C11413529 @default.
- W2360281659 hasConcept C146499914 @default.
- W2360281659 hasConcept C154945302 @default.
- W2360281659 hasConcept C158448853 @default.
- W2360281659 hasConcept C161301231 @default.
- W2360281659 hasConcept C17020691 @default.
- W2360281659 hasConcept C17744445 @default.
- W2360281659 hasConcept C184337299 @default.
- W2360281659 hasConcept C185592680 @default.
- W2360281659 hasConcept C188027245 @default.
- W2360281659 hasConcept C199360897 @default.
- W2360281659 hasConcept C199539241 @default.
- W2360281659 hasConcept C203659156 @default.
- W2360281659 hasConcept C27508121 @default.
- W2360281659 hasConcept C2776359362 @default.
- W2360281659 hasConcept C41008148 @default.
- W2360281659 hasConcept C55493867 @default.
- W2360281659 hasConcept C71139939 @default.
- W2360281659 hasConcept C78344899 @default.
- W2360281659 hasConcept C80444323 @default.
- W2360281659 hasConcept C86339819 @default.
- W2360281659 hasConcept C94625758 @default.
- W2360281659 hasConceptScore W2360281659C102993220 @default.
- W2360281659 hasConceptScore W2360281659C104317684 @default.
- W2360281659 hasConceptScore W2360281659C107247716 @default.
- W2360281659 hasConceptScore W2360281659C11413529 @default.
- W2360281659 hasConceptScore W2360281659C146499914 @default.
- W2360281659 hasConceptScore W2360281659C154945302 @default.
- W2360281659 hasConceptScore W2360281659C158448853 @default.
- W2360281659 hasConceptScore W2360281659C161301231 @default.
- W2360281659 hasConceptScore W2360281659C17020691 @default.
- W2360281659 hasConceptScore W2360281659C17744445 @default.
- W2360281659 hasConceptScore W2360281659C184337299 @default.
- W2360281659 hasConceptScore W2360281659C185592680 @default.
- W2360281659 hasConceptScore W2360281659C188027245 @default.
- W2360281659 hasConceptScore W2360281659C199360897 @default.
- W2360281659 hasConceptScore W2360281659C199539241 @default.
- W2360281659 hasConceptScore W2360281659C203659156 @default.
- W2360281659 hasConceptScore W2360281659C27508121 @default.
- W2360281659 hasConceptScore W2360281659C2776359362 @default.
- W2360281659 hasConceptScore W2360281659C41008148 @default.
- W2360281659 hasConceptScore W2360281659C55493867 @default.
- W2360281659 hasConceptScore W2360281659C71139939 @default.
- W2360281659 hasConceptScore W2360281659C78344899 @default.
- W2360281659 hasConceptScore W2360281659C80444323 @default.
- W2360281659 hasConceptScore W2360281659C86339819 @default.
- W2360281659 hasConceptScore W2360281659C94625758 @default.
- W2360281659 hasLocation W23602816591 @default.
- W2360281659 hasOpenAccess W2360281659 @default.
- W2360281659 hasPrimaryLocation W23602816591 @default.
- W2360281659 hasRelatedWork W1504850170 @default.
- W2360281659 hasRelatedWork W1506199548 @default.
- W2360281659 hasRelatedWork W1507198272 @default.
- W2360281659 hasRelatedWork W1601068644 @default.
- W2360281659 hasRelatedWork W1877676982 @default.
- W2360281659 hasRelatedWork W1996046523 @default.
- W2360281659 hasRelatedWork W2019917492 @default.
- W2360281659 hasRelatedWork W2048355345 @default.
- W2360281659 hasRelatedWork W2082757085 @default.
- W2360281659 hasRelatedWork W2140198764 @default.
- W2360281659 hasRelatedWork W2140484344 @default.
- W2360281659 hasRelatedWork W2152620454 @default.
- W2360281659 hasRelatedWork W2431139695 @default.
- W2360281659 hasRelatedWork W2526534700 @default.
- W2360281659 hasRelatedWork W2528304591 @default.
- W2360281659 hasRelatedWork W2534408717 @default.
- W2360281659 hasRelatedWork W2569803740 @default.
- W2360281659 hasRelatedWork W2610599811 @default.
- W2360281659 hasRelatedWork W43731716 @default.
- W2360281659 hasRelatedWork W71635199 @default.
- W2360281659 isParatext "false" @default.
- W2360281659 isRetracted "false" @default.
- W2360281659 magId "2360281659" @default.
- W2360281659 workType "article" @default.