[PDF] Top 20 PP 2015 03: Natural Language and Logic of Agency

... of language goes back to a strand that has been present in semantics since the 1970s: the idea that ‘the inferences are part of the ...a language is not just a grammar generating (interpreted) expressions ... See full document

... modal language of [4] with fixed-point ...modal language extended with a least fixed-point operator over MKH- ...a natural candidate to study topological semantics of fixed-point ... See full document

... various language extensions make ...dynamic logic version of our language with a family of atomic neighborhood relations and complex operations over ...a natural extension of current work on ... See full document

... psychology, witness the chapter by Steedman in van Benthem & ter Meulen, eds., 1997 a handbook on Logic and Natural Language which borders on psychology at many places, or the work on 'n[r] ... See full document

... rational agency, also in the philosophy of action. Infinity and temporal logic While the above games are finite, as is true of many rational activities, populations of rational agents also engage in ... See full document

... classical logic, linguistic distinctions may come to the fore that call for separate ...linear logic has two non-equivalent conjunctions: one of 'choice' and one of 'product', and modal dependence logics ... See full document

... formal language, we are able to compare the expressive power required to formulate different results in social choice ...the language required to express it. For instance, it is natural to ask ... See full document

... update logic to formalize nat- ural language imperatives of the form FIAT ϕ, which can be used in describing the search for solutions of planning ...for language users to the ...dynamic logic ... See full document

... Traditional logic courses emphasize the study of correct inference patterns as the core business of logic, with propositional and predicate logic as paradigms of the methodology for doing ... See full document

... human agency then enter our understanding of computation: one it the knowledge of agents (perhaps also other attitudes, such as their beliefs and preferences), and the other their social ... See full document

... intelligence). Logic traditionally has close connections with linguistics and computer science; however, it has not been as active as those two ...epistemic logic since the 1960s, there is no cognitive ... See full document

... in language use: making statements and drawing ...interpreting language with inference exists, and they have been noticed by other authors, notably, by Hans Kamp in his ongoing program of dis-­‐ course ... See full document

... which natural language processing is used to make the data of the Atmospheric Radiation Measurement Data Center ...and Natural language ... See full document

... how logic arose as a scientific discipline around 500 BC, and various hypotheses have been put ...of logic and philosophy, prominent with Plato and Aristotle in Greece, and in other forms, also to be found ... See full document

... real agency, we are not left with empty ...of logic of agency in this style – or for specific network examples, ...connecting logic and game theory ... See full document

... Proceedings of the 2007 Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning, pp.. c©2007 Association for Computational Lingui[r] ... See full document

... Default Logic, Natural Language and Generalized Quantifiers Default Logic, Natural Language and Generalized Quantifiers P a t r i c k S a i n t D i z i e r 1RISA INRIA, CAMPUS de BEAULIEU, 35042 RENNE[.] ... See full document

... Dislog is an extension to Prolog; its procedural and declarative semantics are given in Saint-Dizier 1988b, computer applications like compiler writing and planning are given in Saint-Di[r] ... See full document

... Language Processing EMNLP, Philadelphia, July 2002, pp.. Proceedings of the Conference on Empirical Methods in Natural.[r] ... See full document

... of natural language ...for Natural Logic, a logic whose terms resemble natural lan- guage ...of Natural Logic from linguistic expressions, results in a proof system ... See full document