Problems in Logical Form
نویسنده
چکیده
(P Xl ... X.) <-> (SOME E (EVENT E) ((gVABS F) E xl . . . xn)) In simple cases we can use the more straightforward f o r m . The l o g i c a l f o r m o f " J o h n i s k i s s i n g Mary" w o u l d s i m p l y be (KISS JOHN MARY). The l o g i c a l f o r m o f " J o h n i s g e n t l y k i s s i n g M a r y , " h o w e v e r , w o u l d be (SOME Z (EVENT E) (AND ((EWSS KZSS) Z JoHN ~ Y ) (GENTLE E))))
منابع مشابه
Automated Theorem Proving by Translation to Description Logic
of a dissertation at the University of Miami. Thesis supervised by Professor Geoff Suttcliffe. No. of pages in text. (132) Many Automated Theorem Proving (ATP) systems for different logical forms, and translators for translating different logical forms from one to another, have been developed and are now available. Some logical forms are more expressive than others, and it is easier to express ...
متن کاملThe Model of Achieving a Balanced Balance between Economic Efficiency and Ecological-Social Responsibility of Digitalized Enterprise
The application of the latest digital technologies changes the ways of thinking of entrepreneurial behaviour and motivation of decision-making, principles of organization of their functioning, so the purpose of work is to form a model of achieving a balanced balance between economic efficiency and environmental and social responsibility of the digitized enterprise, determining the scientific ba...
متن کاملLogical Hidden Markov Models
Logical hidden Markov models (LOHMMs) upgrade traditional hidden Markov models to deal with sequences of structured symbols in the form of logical atoms, rather than flat characters. This note formally introduces LOHMMs and presents solutions to the three central inference problems for LOHMMs: evaluation, most likely hidden state sequence and parameter estimation. The resulting representation a...
متن کاملExtending the Qualitative Trajectory Calculus Based on the Concept of Accessibility of Moving Objects in the Paths
Qualitative spatial representation and reasoning are among the important capabilities in intelligent geospatial information system development. Although a large contribution to the study of moving objects has been attributed to the quantitative use and analysis of data, such calculations are ineffective when there is little inaccurate data on position and geometry or when explicitly explaining ...
متن کاملLogical Form and Agency*
A good deal of Donald Davidson's important and widely influential paper, `The Logical Form of Action Sentences',1 is taken up with demonstrating the failure of the Kenny-Chisholm-von Wright style 2 account of the syntax of agency to adequately cope with a varied collection of problems. The approach repudiated by Davidson enjoins partitioning an action-sentence into an agent, a state of affairs,...
متن کاملMulti-sorted Logic and Logical Geometry: Some Problems
The paper has a form of a survey on basics of logical geometry and consists of three parts. It is focused on the relationship between many-sorted theory, which leads to logical geometry and one-sorted theory, which is based on important model-theoretic concepts. Our aim is to show that both approaches go in parallel and there are bridges which allow to transfer results, notions and problems bac...
متن کامل