FRINK Linked Data Fragments server

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

• W150779072 abstract "Our model is intended to provide a means of specifying and reasoning about the behavior of systems consisting of active, autonomous and interacting components, as well as those of the constituting components while abstracting the detailed mechanisms involved. We also provide mechanisms to describe object classes and inheritance within our model.Unlike previous models of reactive systems, we would like ours to capture both the data and the process views of objects, on the same lines as the objectcharts of S. Bear et al (BACH90), or L. Lamport's (L89) transition axiom method. Objects are thus viewed as reactive systems with some intelligence and a decision mechanism or the organ of will of J. McCarthy and P. J. Hayes (MH69). To capture the intelligence of objects, we introduce and reason about objects' knowledge within our framework. We also introduce the notions of objects' procedural knowledge and learning in distributed object-based systems. It will then be possible to provide a knowledge-based characterization of object similarity, inheritance and rational behavior.An object's knowledge corresponds to facts about its task-domain situations that it should be said to know according to its behavior specifications or protocol. It is static and does not depend on system computations. It is introduced in a modal and dynamic logics framework, and leads to a logic of knowledge and actions. An object's procedural knowledge corresponds to the notion of laws of in (MH69), and expresses the ability of an object to use and transform its knowledge of facts about its task-domain situations. It is specified in terms of objects' knowledge and actions.Our approach to learning corresponds to the knowledge obtained and transferred in distributed object-based systems. It also corresponds to object instances' awareness of their own knowledge or properties of computations in distributed object-based systems, and is closely related to the intuitive notion of learning by experience. We introduce a modal logic of knowledge and learning/awareness, and also prove some properties of learning/awareness and forgetting in distributed object-based systems. This approach to knowledge and learning/awareness also gives us a semantical basis to the distinction and relationship between these two aspects of knowledge in distributed object-based systems that we refer to as static/local knowledge and dynamic knowledge. (Abstract shortened by UMI.)" @default.
• W150779072 created "2016-06-24" @default.
• W150779072 creator A5078527724 @default.
• W150779072 date "1993-01-01" @default.
• W150779072 modified "2023-09-23" @default.
• W150779072 title "Modelling objects, knowledge and learning in distributed object-based systems" @default.
• W150779072 hasPublicationYear "1993" @default.
• W150779072 type Work @default.
• W150779072 sameAs 150779072 @default.
• W150779072 citedByCount "1" @default.
• W150779072 crossrefType "journal-article" @default.
• W150779072 hasAuthorship W150779072A5078527724 @default.
• W150779072 hasConcept C104317684 @default.
• W150779072 hasConcept C154945302 @default.
• W150779072 hasConcept C161301231 @default.
• W150779072 hasConcept C167729594 @default.
• W150779072 hasConcept C185592680 @default.
• W150779072 hasConcept C2524010 @default.
• W150779072 hasConcept C2780902518 @default.
• W150779072 hasConcept C2781238097 @default.
• W150779072 hasConcept C33923547 @default.
• W150779072 hasConcept C41008148 @default.
• W150779072 hasConcept C55493867 @default.
• W150779072 hasConcept C80444323 @default.
• W150779072 hasConceptScore W150779072C104317684 @default.
• W150779072 hasConceptScore W150779072C154945302 @default.
• W150779072 hasConceptScore W150779072C161301231 @default.
• W150779072 hasConceptScore W150779072C167729594 @default.
• W150779072 hasConceptScore W150779072C185592680 @default.
• W150779072 hasConceptScore W150779072C2524010 @default.
• W150779072 hasConceptScore W150779072C2780902518 @default.
• W150779072 hasConceptScore W150779072C2781238097 @default.
• W150779072 hasConceptScore W150779072C33923547 @default.
• W150779072 hasConceptScore W150779072C41008148 @default.
• W150779072 hasConceptScore W150779072C55493867 @default.
• W150779072 hasConceptScore W150779072C80444323 @default.
• W150779072 hasLocation W1507790721 @default.
• W150779072 hasOpenAccess W150779072 @default.
• W150779072 hasPrimaryLocation W1507790721 @default.
• W150779072 hasRelatedWork W119667521 @default.
• W150779072 hasRelatedWork W1494572628 @default.
• W150779072 hasRelatedWork W1509947398 @default.
• W150779072 hasRelatedWork W1593053027 @default.
• W150779072 hasRelatedWork W178051119 @default.
• W150779072 hasRelatedWork W186221112 @default.
• W150779072 hasRelatedWork W1974178029 @default.
• W150779072 hasRelatedWork W2003749638 @default.
• W150779072 hasRelatedWork W2004652576 @default.
• W150779072 hasRelatedWork W2029366374 @default.
• W150779072 hasRelatedWork W20659422 @default.
• W150779072 hasRelatedWork W2188143888 @default.
• W150779072 hasRelatedWork W2382295262 @default.
• W150779072 hasRelatedWork W247144926 @default.
• W150779072 hasRelatedWork W2489627022 @default.
• W150779072 hasRelatedWork W2531626890 @default.
• W150779072 hasRelatedWork W3091277723 @default.
• W150779072 hasRelatedWork W3104851248 @default.
• W150779072 hasRelatedWork W86244390 @default.
• W150779072 hasRelatedWork W88331384 @default.
• W150779072 isParatext "false" @default.
• W150779072 isRetracted "false" @default.
• W150779072 magId "150779072" @default.
• W150779072 workType "article" @default.