Dynamic Logic With Possible World
نویسنده
چکیده
This paper introduces a semantic theo-semantics can interpret the temporal and modal sense and anaphora. At present there are three main aspects in semantical field: 1. Transformation of' sentences or discourses into formulas in high order logic. 2. Semantic interpretation of the logical formulas. 3. Semantic ambiguity. This paper presents the semantics, dynamic logic with possible world, which combines DPIJ 3~ with Indices semantics r'~ and extends the theories, the theory can be used to interpret the temporal and modal sense and anaphoric connection. For the limitation of space we only give the definitions and examples concerned rather than present a formalization which should include the axioms and rules concerned like u I)pL TM Following Montague semantics, the discussion on meaning of a sentence started with predicate formula, high order logical formual with lambda terms, which is translated from a sentence S by means of a set of rules and reduced to a frst order predicate formula A finally. Problem= given an expression A, meani-ngEA~=? Assume that a model M is an ordered pair (D, F) where D is a domain, a non-empty set and F an interpretation function assigning a semantic value to each non-logical constant of the language. A value assignment g is a function assigning a member of D to each variable of the lan
منابع مشابه
A Logical Analysis of the Relationship between Commitment and Obligation
In this paper, we analyze the relationship between commitment and obligation from a logical viewpoint. The principle of commitment implying obligation is proven in a specific logic of action preference which is a generalization of Meyer’s dynamic deontic logic. In the proposed formalism, an agent’s commitment to goals is considered as a special kind of actions which can change her deontic prefe...
متن کاملAn Adaptive Learning Game for Autistic Children using Reinforcement Learning and Fuzzy Logic
This paper, presents an adapted serious game for rating social ability in children with autism spectrum disorder (ASD). The required measurements are obtained by challenges of the proposed serious game. The proposed serious game uses reinforcement learning concepts for being adaptive. It is based on fuzzy logic to evaluate the social ability level of the children with ASD. The game adapts itsel...
متن کاملCoverage Improvement In Wireless Sensor Networks Based On Fuzzy-Logic And Genetic Algorithm
Wireless sensor networks have been widely considered as one of the most important 21th century technologies and are used in so many applications such as environmental monitoring, security and surveillance. Wireless sensor networks are used when it is not possible or convenient to supply signaling or power supply wires to a wireless sensor node. The wireless sensor node must be battery powered.C...
متن کاملA Logic for Reasoning about Action, Preference, and Commitment
In this paper, we study the logical semantics of actions, preference, and commitment. The semantics is based on the possible world models for dynamic logic of actions. A binary preference relation between possible worlds is associated with the model. Then the preference between actions are determined by comparing that of their consequences. While the preference will influence the agent’s choice...
متن کاملA Dynamic Logic for Configuration
We define the new dynamic logic PIDL+ that extends our previously developed logic PIDL (Propositional Interactive Dynamic Logic) with arithmetic constraints. The language of PIDL+ is motivated by real world configuration systems, in particular, configuration systems for power plants. A PIDL+ specification consists of the description of an initial state, global constraints, and actions. Its sema...
متن کاملALX, an Action Logic for Agents with Bounded Rationality
We propose a modal action logic that combines ideas from H.A. Simon’s bounded rationality, S. Kripke’s possible world semantics, G.H. von Wright’s preference logic, Pratt’s dynamic logic, Stalnaker’s minimal change and more recent approaches to update semantics. ALX (the xth action logic) is sound, complete and decidable, making it the first complete logic for two-place preference operators. AL...
متن کامل